Q | Agda.Interaction.GhciTop |
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, Agda.Interaction.GhciTop |
4 (Data Constructor) | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameFromList | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameModule | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameName | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameParts | Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete |
qnameToConcrete | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameToList | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qnameToMName | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
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.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qualifyM | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
qualifyQ | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
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 |
QuoteGoal | |
1 (Data Constructor) | Agda.Syntax.Concrete |
2 (Data Constructor) | Agda.Syntax.Abstract |
quoteName | Agda.TypeChecking.Quote |
quotes | Agda.Utils.Pretty |
quoteTerm | Agda.TypeChecking.Quote |
quoteType | Agda.TypeChecking.Quote |