Idris2Doc : Parser.Source

Parser.Source

(source)
Reexports
import public Parser.Lexer.Source
import public Parser.Rule.Source
import public Parser.Unlit
Definitions
runParserTo : OriginDesc -> Maybe LiterateStyle -> Lexer -> String -> Grammar ParsingState Token e ty -> Either Error (List Warning, (State, ty))
  Totality: total
  Visibility: export
runParser : OriginDesc -> Maybe LiterateStyle -> String -> Grammar ParsingState Token e ty -> Either Error (List Warning, (State, ty))
  Totality: total
  Visibility: export
parseFile : String -> OriginDesc -> Rule ty -> IO (Either Error (List Warning, (State, ty)))
  Visibility: export