tpdb-2.2.2: Data Type for Rewriting Systems
Safe HaskellNone
LanguageHaskell2010

TPDB.XTC.Read

Description

construct data object from XML tree.

Documentation

readProblemF :: FilePath -> IO (Problem Identifier Identifier) Source #

readProblemT :: Text -> Either SomeException (Problem Identifier Identifier) Source #