term-rewriting-0.3: 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
Show ProblemParseError Source # 
Instance details

Defined in Data.Rewriting.Problem.Parse

Methods

showsPrec :: Int -> ProblemParseError -> ShowS #

show :: ProblemParseError -> String #

showList :: [ProblemParseError] -> ShowS #

Error ProblemParseError Source # 
Instance details

Defined in Data.Rewriting.Problem.Parse

Methods

noMsg :: ProblemParseError #

strMsg :: String -> ProblemParseError #