tpdb-1.3.2: Data Type for Rewriting Systems
TPDB.Xml
Contents
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
Fields
Instances
Methods
(>>=) :: CParser a -> (a -> CParser b) -> CParser b #
(>>) :: CParser a -> CParser b -> CParser b #
return :: a -> CParser a #
fail :: String -> CParser a #
fmap :: (a -> b) -> CParser a -> CParser b #
(<$) :: a -> CParser b -> CParser a #
pure :: a -> CParser a #
(<*>) :: CParser (a -> b) -> CParser a -> CParser b #
(*>) :: CParser a -> CParser b -> CParser b #
(<*) :: CParser a -> CParser b -> CParser a #
must_succeed :: CParser a -> CParser a Source #
class Typeable a => XRead a where Source #
Minimal complete definition
xread
xread :: CParser a Source #
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 #
toHType :: t -> HType #