tpdb-1.2.0: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

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