Idris2Doc : Node.Internal.Elab

Node.Internal.Elab

(source)
Reexports
import public Language.Reflection
Definitions
field : String -> Name
  Totality: total
  Visibility: export
basic : String -> Name
  Totality: total
  Visibility: export
nodeFieldDecl : Name -> String -> TTImp -> List Decl
  Totality: total
  Visibility: export
mkNodeField : Name -> String -> TTImp -> Elab ()
  Totality: total
  Visibility: export
nodeFieldIODecl : Name -> String -> TTImp -> List Decl
  Totality: total
  Visibility: export
mkNodeFieldIO : Name -> String -> TTImp -> Elab ()
  Totality: total
  Visibility: export