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 |
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 |
qualify_ | 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 |
QuotableName | Agda.Syntax.Scope.Base |
Quote | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quote | Agda.Utils.String |
quoteClauseWithKit | Agda.TypeChecking.Quote |
quoteConName | Agda.TypeChecking.Quote |
QuoteContext | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quoted | Agda.Compiler.JS.Parser |
quoteDomWithKit | Agda.TypeChecking.Quote |
QuoteGoal | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quoteName | Agda.TypeChecking.Quote |
QuoteP | Agda.Syntax.Concrete |
quotes | Agda.Utils.Pretty |
QuoteTerm | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quoteTerm | Agda.TypeChecking.Quote |
quoteTermWithKit | Agda.TypeChecking.Quote |
quoteType | Agda.TypeChecking.Quote |
quoteTypeWithKit | Agda.TypeChecking.Quote |
QuotingKit | |
1 (Type/Class) | Agda.TypeChecking.Quote |
2 (Data Constructor) | Agda.TypeChecking.Quote |
quotingKit | Agda.TypeChecking.Quote |