tpdb-0.9.8: Data Type for Rewriting Systems

Safe HaskellNone

TPDB.Xml

Documentation

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

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

nospaceString :: String -> Content ()Source

escape :: [Char] -> [Char]Source

type Contents = [Content Posn]Source

data CParser a Source

Constructors

CParser 

Fields

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

Instances

must_succeed :: CParser a -> CParser aSource

class Typeable a => XRead a whereSource

Methods

xread :: CParser aSource

Instances

(Typeable a, XmlContent a) => XRead a 

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

errmsg :: [Content i] -> StringSource

orelse :: CParser a -> CParser a -> CParser aSource

many :: CParser a -> CParser [a]Source

element :: Name -> CParser a -> CParser aSource

element0 :: QName -> CParser a -> CParser aSource

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

xfromstring :: Read a => CParser aSource

complain :: String -> CParser aSource

info :: Contents -> StringSource