tpdb-2.7.3: Data Type for Rewriting Systems
Safe HaskellSafe-Inferred
LanguageHaskell2010

TPDB.Data.Xml

Documentation

no_sharp_name_HACK :: p -> p Source #

Orphan instances

XmlContent Identifier Source #

FIXME: move to separate module

Instance details

Methods

toContents :: Identifier -> [Node] Source #

parseContents :: Cursor -> [Identifier] Source #

(TermC v c, XmlContent (Term v c)) => XmlContent (Rule (Term v c)) Source # 
Instance details

Methods

toContents :: Rule (Term v c) -> [Node] Source #

parseContents :: Cursor -> [Rule (Term v c)] Source #

(TermC v c, Show v, XmlContent v, XmlContent c) => XmlContent (Term v c) Source # 
Instance details

Methods

toContents :: Term v c -> [Node] Source #

parseContents :: Cursor -> [Term v c] Source #