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.Abstract, Agda.Syntax.Internal |
4 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qname | |
1 (Function) | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
2 (Function) | Agda.Compiler.JS.Compiler |
QNamed | |
1 (Type/Class) | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
2 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnamed | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameFromList | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameModule | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameName | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameParts | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
qnameToConcrete | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameToList | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameToMName | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
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.Abstract, Agda.Syntax.Internal |
qualifyM | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qualifyQ | Agda.Syntax.Abstract.Name, Agda.Syntax.Abstract, Agda.Syntax.Internal |
QuestionMark | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quickCheck | Agda.Utils.QuickCheck |
quickCheck' | Agda.Utils.QuickCheck |
quickCheckAll | 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 |
quoteConName | Agda.TypeChecking.Quote |
QuoteContext | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
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 |