Agda-2.3.2: A dependently typed functional programming language and proof assistant

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- :
- !
- $
- &
- +
- .
- /
- <
- =
- >
- |
- -
- All

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