| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
TPDB.XTC.Read
Description
construct data object from XML tree.
Documentation
readProblemF :: FilePath -> IO (Problem Identifier Identifier) Source #
tpdb-2.1.1: Data Type for Rewriting Systems
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
TPDB.XTC.Read
Description
construct data object from XML tree.
readProblemF :: FilePath -> IO (Problem Identifier Identifier) Source #