tpdb-2.7.3: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
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 #