Index - Q
| Q0 | FreeC.Backend.Agda.Syntax |
| Q0Erased | FreeC.Backend.Agda.Syntax |
| Q0Inferred | FreeC.Backend.Agda.Syntax |
| Q0Origin | FreeC.Backend.Agda.Syntax |
| Q1 | FreeC.Backend.Agda.Syntax |
| Q1Inferred | FreeC.Backend.Agda.Syntax |
| Q1Linear | FreeC.Backend.Agda.Syntax |
| Q1Origin | FreeC.Backend.Agda.Syntax |
| QName | |
| 1 (Type/Class) | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 3 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| qname | FreeC.Backend.Agda.Syntax |
| qname' | FreeC.Backend.Agda.Syntax |
| qnameParts | FreeC.Backend.Agda.Syntax |
| Qual | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| Qualid | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| QualidPat | FreeC.Backend.Coq.Syntax |
| Qualified | FreeC.Backend.Coq.Syntax |
| qualified | FreeC.Backend.Coq.Syntax |
| qualifiedSmartConstructorModule | FreeC.Backend.Coq.Base |
| qualifierPass | FreeC.Pass.QualifierPass |
| qualify | FreeC.Backend.Agda.Syntax |
| Quantity | FreeC.Backend.Agda.Syntax |
| Quantity0 | FreeC.Backend.Agda.Syntax |
| Quantity1 | FreeC.Backend.Agda.Syntax |
| Quantityω | FreeC.Backend.Agda.Syntax |
| QuestionMark | FreeC.Backend.Agda.Syntax |
| Quote | FreeC.Backend.Agda.Syntax |
| QuoteP | FreeC.Backend.Agda.Syntax |
| QuoteTerm | FreeC.Backend.Agda.Syntax |
| Qω | FreeC.Backend.Agda.Syntax |
| QωInferred | FreeC.Backend.Agda.Syntax |
| QωOrigin | FreeC.Backend.Agda.Syntax |
| QωPlenty | FreeC.Backend.Agda.Syntax |