Idris2Doc : Idris.Syntax.Builtin

Idris.Syntax.Builtin

(source)

Definitions

pairname : Name
Totality: total
Visibility: export
mkpairname : Name
Totality: total
Visibility: export
dpairname : Name
Totality: total
Visibility: export
mkdpairname : Name
Totality: total
Visibility: export
nilName : Name
Totality: total
Visibility: export
consName : Name
Totality: total
Visibility: export
interpolateName : Name
Totality: total
Visibility: export
eqName : Name
Totality: total
Visibility: export
heqName : Name
Totality: total
Visibility: export