TPDB.Xml

Documentation

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

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

escape :: [Char] -> [Char]

type Contents = [Content Posn]

data CParser a

Constructors

CParser

Fields

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

Instances

Monad CParser

Functor CParser

must_succeed :: CParser a -> CParser a

class Typeable a => XRead a where

Methods

xread :: CParser a

Instances

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

XRead Identifier

XRead Proof

XRead Simple_Projection

XRead Red_Ord

XRead Matrix_Int

(Typeable * a, XmlContent a) => XRead (Marked a)

XRead a => XRead (Mi_Fun a)

XRead a => XRead (Matrix a)

XRead a => XRead (Vector a)

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

errmsg :: [Content i] -> String

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

many :: CParser a -> CParser [a]

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

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

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

xfromstring :: Read a => CParser a

complain :: String -> CParser a

info :: Contents -> String