Documentation

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

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) XmlTreeSource

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

getType :: Arrow t => t [Char] TypeSource

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) IdentifierSource

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