tpdb-1.3.2: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Data.Xml

Contents

Synopsis

Documentation

sharp_name_HACK :: Monad m => [Content ()] -> m (Content ()) Source #

Orphan instances

XmlContent Identifier Source #

FIXME: move to separate module

(HTypeable (Rule (Term v c)), XmlContent (Term v c)) => XmlContent (Rule (Term v c)) Source # 

Methods

parseContents :: XMLParser (Rule (Term v c)) #

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

xToChar :: Rule (Term v c) -> Char #

xFromChar :: Char -> Rule (Term v c) #

HTypeable (Rule (Term v c)) Source # 

Methods

toHType :: Rule (Term v c) -> HType #

(Typeable * (Term v c), XmlContent v, XmlContent c) => XmlContent (Term v c) Source # 

Methods

parseContents :: XMLParser (Term v c) #

toContents :: Term v c -> [Content ()] #

xToChar :: Term v c -> Char #

xFromChar :: Char -> Term v c #