Data.Rewriting.Problem.Parse

Documentation

parseIO :: String -> IO (Problem String String)

parseFileIO :: FilePath -> IO (Problem String String)

fromString :: String -> Either ProblemParseError (Problem String String)

fromFile :: FilePath -> IO (Either ProblemParseError (Problem String String))

fromCharStream :: Stream s (Either ProblemParseError) Char => SourceName -> s -> Either ProblemParseError (Problem String String)

data ProblemParseError

Constructors

UnknownParseError String

UnsupportedStrategy String

FileReadError IOError

UnsupportedDeclaration String

SomeParseError ParseError

Instances

Show ProblemParseError

Error ProblemParseError