Idris2Doc : TTImp.Parser

TTImp.Parser

(source)
Reexports
import public Libraries.Text.Parser
Definitions
collectDefs : List ImpDecl -> List ImpDecl
  Visibility: export
expr : OriginDesc -> IndentInfo -> Rule RawImp
  Visibility: export
prog : OriginDesc -> Rule (List ImpDecl)
  Visibility: export
command : Rule ImpREPL
  Visibility: export