tpdb-1.3.3: Data Type for Rewriting Systems

Safe HaskellNone
LanguageHaskell98

TPDB.Xml

Contents

Documentation

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

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

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

data CParser a Source #

Constructors

CParser 

Fields

Instances

Monad CParser Source # 

Methods

(>>=) :: CParser a -> (a -> CParser b) -> CParser b #

(>>) :: CParser a -> CParser b -> CParser b #

return :: a -> CParser a #

fail :: String -> CParser a #

Functor CParser Source # 

Methods

fmap :: (a -> b) -> CParser a -> CParser b #

(<$) :: a -> CParser b -> CParser a #

Applicative CParser Source # 

Methods

pure :: a -> CParser a #

(<*>) :: CParser (a -> b) -> CParser a -> CParser b #

(*>) :: CParser a -> CParser b -> CParser b #

(<*) :: CParser a -> CParser b -> CParser a #

class Typeable a => XRead a where Source #

Minimal complete definition

xread

Methods

xread :: CParser a Source #

Instances

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

Methods

xread :: CParser a Source #

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

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

Orphan instances

Typeable * t => HTypeable t Source # 

Methods

toHType :: t -> HType #