Safe Haskell | Safe-Infered |
---|
Termlib.Problem.Parser
Documentation
problemFromFile :: String -> IO (Either ParseError (Problem, [(Rule, Bool)], [ParseWarning]))
problemFromString :: String -> Maybe Problem
termlib-0.9: Term Rewriting Library
Safe Haskell | Safe-Infered |
---|
Termlib.Problem.Parser
problemFromFile :: String -> IO (Either ParseError (Problem, [(Rule, Bool)], [ParseWarning]))
problemFromString :: String -> Maybe Problem