tpdb-1.1.1: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Xml

Documentation

mkel :: Name -> [Content ()] -> Content () Source

rmkel :: Monad m => Name -> [Content ()] -> m (Content ()) Source

data CParser a Source

Constructors

CParser 

Fields

unCParser :: Contents -> Maybe (a, Contents)
 

class Typeable a => XRead a where Source

Methods

xread :: CParser a Source

Instances

(Typeable * a, XmlContent a) => XRead a 

wrap :: forall a. Typeable a => CParser a -> Parser (Content Posn) a Source

strip :: [Content t] -> [Content t] Source