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