term-rewriting-0.1: Term Rewriting Library

Safe HaskellNone

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