tpdb-1.2.0: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

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 a Source

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

errmsg :: [Content i] -> String Source

orelse :: CParser a -> CParser a -> CParser a Source

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

element :: Name -> CParser a -> CParser a Source

element0 :: QName -> CParser a -> CParser a Source

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

xfromstring :: Read a => CParser a Source

complain :: String -> CParser a Source

info :: Contents -> String Source