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.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
4 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qname | |
1 (Function) | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
2 (Function) | Agda.Compiler.JS.Compiler |
qnameC | Agda.TypeChecking.Serialise.Base |
QNamed | |
1 (Type/Class) | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
2 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameD | Agda.TypeChecking.Serialise.Base |
qnamed | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameFromList | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
QNameId | Agda.TypeChecking.Serialise.Base |
qnameId | Agda.TypeChecking.Serialise.Base |
qnameModule | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameName | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameParts | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
qnameToConcrete | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameToList | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qnameToMName | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qNameType | Agda.TypeChecking.Unquote |
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.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qualifyM | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qualifyQ | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, Agda.Syntax.Abstract, Agda.Syntax.Internal |
qualify_ | Agda.Syntax.Abstract.Name, Agda.Syntax.Treeless, 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 |
quoteContext | Agda.TypeChecking.Rules.Term |
quoted | Agda.Compiler.JS.Parser |
quoteDefn | Agda.TypeChecking.Quote |
quoteDefnWithKit | Agda.TypeChecking.Quote |
quoteDom | Agda.TypeChecking.Quote |
quoteDomWithKit | Agda.TypeChecking.Quote |
QuoteGoal | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quoteGoal | Agda.TypeChecking.Rules.Term |
quoteList | Agda.TypeChecking.Quote |
quoteListWithKit | Agda.TypeChecking.Quote |
quoteMeta | Agda.TypeChecking.Quote |
quoteName | Agda.TypeChecking.Quote |
quoteNat | Agda.TypeChecking.Quote |
QuoteP | Agda.Syntax.Concrete |
quotes | Agda.Utils.Pretty |
quoteString | Agda.TypeChecking.Quote |
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 |