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 #
getHOSignature :: Arrow t => t t1 Signature Source #
readProblems :: FilePath -> IO [Problem Identifier Identifier] Source #
readProblemsBS :: ByteString -> IO [Problem Identifier Identifier] Source #