tpdb-2.1.1: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Data.Xml

Contents

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 #

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 #

(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 #