Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (Q)
Q
QName
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
4 (Data Constructor)
qnameFromList
qnameModule
qnameName
qnameParts
qnameToConcrete
qnameToList
qnameToMName
qNameType
QPB
QPBlocked
QPDoubleBlocked
Qual
qualify
1 (Function)
2 (Function)
qualifyM
qualifyQ
QuestionMark
1 (Data Constructor)
2 (Data Constructor)
quickCheck
quickCheck'
quickCheckResult
quickCheckWith
quickCheckWith'
quickCheckWithResult
Quote
1 (Data Constructor)
2 (Data Constructor)
quote
QuoteGoal
1 (Data Constructor)
2 (Data Constructor)
quoteName
quotes
quoteTerm
quoteType