term-rewriting-0.5: Term Rewriting Library
Safe HaskellNone
LanguageHaskell2010

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

Instances details
Show ProblemParseError Source # 
Instance details

Defined in Data.Rewriting.Problem.Parse

Methods

showsPrec :: Int -> ProblemParseError -> ShowS #

show :: ProblemParseError -> String #

showList :: [ProblemParseError] -> ShowS #