term-rewriting-0.1.2.2: Term Rewriting Library

Safe HaskellNone
LanguageHaskell98

Data.Rewriting.Problem.Parse

Documentation

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

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

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

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

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

data ProblemParseError Source

Constructors

UnknownParseError String 
UnsupportedStrategy String 
FileReadError IOError 
UnsupportedDeclaration String 
SomeParseError ParseError 

Instances