Idris2Doc : Parser.Package

Parser.Package

(source)
Reexports
import public Parser.Lexer.Package
import public Parser.Rule.Package
import public Libraries.Text.Lexer
import public Libraries.Text.Parser
import public Parser.Support
Definitions
runParser : String -> String -> Rule ty -> Either Error ty
  Totality: total
  Visibility: export
parseFile : String -> Rule ty -> IO (Either Error ty)
  Visibility: export