termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.Problem.Parser

Documentation

problemFromFile :: String -> IO (Either ParseError (Problem, [(Rule, Bool)], [ParseWarning]))

problemFromString :: String -> Maybe Problem