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

Defined in Data.Rewriting.Problem.Parse

Methods

showsPrec :: Int -> ProblemParseError -> ShowS

show :: ProblemParseError -> String

showList :: [ProblemParseError] -> ShowS

Error ProblemParseError

Defined in Data.Rewriting.Problem.Parse

Methods

noMsg :: ProblemParseError

strMsg :: String -> ProblemParseError