tpdb-0.9.8: Data Type for Rewriting Systems

Safe Haskell	None

TPDB.XTC.Read

Description

construct data object from XML tree.

Documentation

atTag :: ArrowXml a => String -> a (NTree XNode) XmlTree Source

getTerm :: ArrowXml a => a XmlTree (Term Identifier Identifier)Source

getVar :: ArrowXml t => t XmlTree (Term Identifier s)Source

getFunApp :: ArrowXml a => a XmlTree (Term Identifier Identifier)Source

gotoChild :: ArrowXml t => String -> t (NTree XNode) (NTree XNode)Source

getChild :: ArrowXml t => String -> t (NTree XNode) XmlTree Source

getProblem :: ArrowXml cat => cat (NTree XNode) (Problem Identifier Identifier)Source

getType :: Arrow t => t [Char] Type Source

getStrategy :: ArrowXml t => t (NTree XNode) (Maybe Strategy)Source

getStartterm :: ArrowXml a => a (NTree XNode) (Maybe Startterm)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