Index - Q
| Q | Agda.Interaction.EmacsCommand |
| QName | |
| 1 (Type/Class) | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
| 2 (Data Constructor) | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
| 3 (Type/Class) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| 4 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qname | |
| 1 (Function) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| 2 (Function) | Agda.Compiler.JS.Compiler |
| QNamed | |
| 1 (Type/Class) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| 2 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnamed | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameFromList | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameModule | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameName | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameParts | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
| qnameToConcrete | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameToList | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qnameToMName | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qNameType | Agda.TypeChecking.Quote |
| QPB | Agda.Auto.NarrowingSearch |
| QPBlocked | Agda.Auto.NarrowingSearch |
| QPDoubleBlocked | Agda.Auto.NarrowingSearch |
| Qual | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
| qualifierModules | Agda.Syntax.Concrete.Operators |
| qualify | |
| 1 (Function) | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
| 2 (Function) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qualifyM | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| qualifyQ | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract |
| QuestionMark | |
| 1 (Data Constructor) | Agda.Syntax.Concrete |
| 2 (Data Constructor) | Agda.Syntax.Abstract |
| quickCheck | Agda.Utils.QuickCheck |
| quickCheck' | Agda.Utils.QuickCheck |
| quickCheckResult | Agda.Utils.QuickCheck |
| quickCheckWith | Agda.Utils.QuickCheck |
| quickCheckWith' | Agda.Utils.QuickCheck |
| quickCheckWithResult | Agda.Utils.QuickCheck |
| Quote | |
| 1 (Data Constructor) | Agda.Syntax.Concrete |
| 2 (Data Constructor) | Agda.Syntax.Abstract |
| quote | Agda.Utils.String |
| quoted | Agda.Compiler.JS.Parser |
| QuoteGoal | |
| 1 (Data Constructor) | Agda.Syntax.Concrete |
| 2 (Data Constructor) | Agda.Syntax.Abstract |
| quoteName | Agda.TypeChecking.Quote |
| quotes | Agda.Utils.Pretty |
| QuoteTerm | |
| 1 (Data Constructor) | Agda.Syntax.Concrete |
| 2 (Data Constructor) | Agda.Syntax.Abstract |
| quoteTerm | Agda.TypeChecking.Quote |
| quoteType | Agda.TypeChecking.Quote |
| quotingKit | Agda.TypeChecking.Quote |