Agda-2.2.10: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ:!$&+./<=>|-
Index (D)
Data
dataAbstr
dataArgOccurrences
dataClause
dataCons
dataDecls
DataDef
1 (Data Constructor)
2 (Data Constructor)
dataHsType
dataInduction
DataInfo
dataIxs
DataMustEndInSort
dataOrRecordType
dataParameters
dataPars
dataPolarity
dataSort
Datatype
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
DatatypeInfo
datatypeIxs
datatypeIxTel
datatypeName
datatypePars
datatypeParTel
deBruijnIndex
DeBruijnPat
debug
decDigit
Declaration
1 (Type/Class)
2 (Type/Class)
DeclarationException
DeclarationPanic
DeclCont
DeclInfo
1 (Type/Class)
2 (Data Constructor)
declName
declRange
declsForPrim
decode
DecodedModules
decodeFile
decompress
decr
decrConf
decreasing
Def
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
defAbstract
1 (Function)
2 (Function)
defAccess
DefArg
Default
defaultArg
defaultDisplayForm
defaultFixity
defaultFixity'
defaultFrequencies
defaultImportDir
defaultNotation
defaultOptions
defaultParseFlags
defaultVerbosity
defClauses
defCompiled
defDelayed
1 (Function)
2 (Function)
defDisplay
defFixity
defFreq
DefinedName
DefInfo
1 (Type/Class)
2 (Data Constructor)
defInfo
Definition
1 (Type/Class)
2 (Data Constructor)
3 (Type/Class)
definition
DefinitionIsIrrelevant
Definitions
definitions
1 (Function)
2 (Function)
definitionSite
defIsRecord
defMutual
Defn
1 (Type/Class)
2 (Data Constructor)
DefName
1 (Data Constructor)
2 (Type/Class)
3 (Data Constructor)
defName
DefNode
DefP
defRelevance
defType
Delayed
1 (Type/Class)
2 (Data Constructor)
Dependent
depthofvar
deref
detecteliminand
detectsemiflex
diagonal
1 (Function)
2 (Function)
DifferentArities
disableDisplayForms
Display
displayErrorAndExit
DisplayForm
displayForm
displayFormsEnabled
displayStatus
DisplayTerm
display_info
display_info'
display_infoD
Dist
Distance
distinct
divConf
DLub
dLub
Doc
1 (Type/Class)
2 (Type/Class)
doclos
DoesNotConstructAnElementOf
doEtaContractImplicit
DomainFree
1 (Data Constructor)
2 (Data Constructor)
DomainFull
1 (Data Constructor)
2 (Data Constructor)
Done
DontCare
1 (Data Constructor)
2 (Data Constructor)
dontCare
dontEtaContractImplicit
DontExpandLast
DontKnow
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
DontOpen
dontReifyInteractionPoints
DontTouchMe
DoOpen
Dot
DotP
1 (Data Constructor)
2 (Data Constructor)
3 (Data Constructor)
DotPatternCtx
DotPatternInst
dotPatternInsts
DottedPattern
DotVars
dotVars
double
doubleblock
doubleQuotes
DPI
dropDecodedModule
drophid
dropI
dryInstantiate
dsubname
DTerm
dummy
DuplicateBuiltinBinding
DuplicateConstructors
DuplicateFields
DuplicateImports
DWithApp