Text.XML.Monad.Core

XML monad (transformer) types

newtype XmlT e s m a

Standard Xml reader + exception transformer type.

Constructors

XmlT

Fields

fromXmlT :: ExceptionT e (ReaderT s m) a

Instances

MonadT (XmlT e s)

Monad m => Monad (XmlT e s m)

Monad m => Functor (XmlT e s m)

Monad m => Applicative (XmlT e s m)

BaseM m n => BaseM (XmlT e s m) n

Monad m => ReaderM (XmlT e s m) s

Monad m => ExceptionM (XmlT e s m) e

Monad m => RunExceptionM (XmlT e s m) e

RunM m (Either e a) r => RunM (XmlT e s m) a (s -> r)

Monad m => ComposeM (XmlT e s m) (XmlT e t m) s t

type Xml e s a = XmlT e s Id a

Standard Xml reader + exception monadic type.

runXmlT :: s -> XmlT e s m a -> m (Either e a)

Run an XmlT.

runXml :: s -> Xml e s a -> Either e a

Run an Xml.

XML access.

elName :: ReaderM m Element => m QName

elAttribs :: ReaderM m Element => m [Attr]

elContent :: ReaderM m Element => m [Content]

elLine :: ReaderM m Element => m (Maybe Line)

attrKey :: ReaderM m Attr => m QName

attrVal :: ReaderM m Attr => m String

cdVerbatim :: ReaderM m CData => m CDataKind

cdLine :: ReaderM m CData => m (Maybe Line)

cdData :: ReaderM m CData => m String

qName :: ReaderM m QName => m String

qURI :: ReaderM m QName => m (Maybe String)

qPrefix :: ReaderM m QName => m (Maybe String)