Safe Haskell | None |
---|---|
Language | Haskell98 |
construct data object from XML tree.
Documentation
getTerm :: ArrowXml a => a XmlTree (Term Identifier Identifier) Source
getFunApp :: ArrowXml a => a XmlTree (Term Identifier Identifier) Source
getProblem :: ArrowXml cat => cat (NTree XNode) (Problem Identifier Identifier) Source
getTRS :: ArrowXml t => t (NTree XNode) (RS Identifier (Term Identifier Identifier)) Source
getSignature :: ArrowXml t => t (NTree XNode) [Identifier] Source
getFuncsym :: ArrowXml t => t (NTree XNode) Identifier Source
getRules :: ArrowXml t => Relation -> t (NTree XNode) [Rule (Term Identifier Identifier)] Source
getRule :: ArrowXml t => Relation -> t (NTree XNode) (Rule (Term Identifier Identifier)) Source
readProblems :: FilePath -> IO [Problem Identifier Identifier] Source