tpdb-0.8.2: Data Type for Rewriting Systems
TPDB.Xml
mkel :: Name -> [Content ()] -> Content ()Source
rmkel :: Monad m => Name -> [Content ()] -> m (Content ())Source
escape :: [Char] -> [Char]Source
type Contents = [Content Posn]Source
data CParser a Source
Constructors
Fields
Instances
must_succeed :: CParser a -> CParser aSource
class Typeable a => XRead a whereSource
Methods
xread :: CParser aSource
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