Text.XML.Monad.Core

XML monad (transformer) types

newtype XmlT e s m a

Standard Xml reader + exception transformer type.

Constructors

XmlT

Fields

fromXmlT :: ErrorT e (ReaderT s m) a

Instances

(Monad m, Error e) => MonadError e (XmlT e s m)

(Monad m, Error e) => MonadReader s (XmlT e s m)

Error e => MonadTrans (XmlT e s)

(Monad m, Error e) => Monad (XmlT e s m)

Functor m => Functor (XmlT e s m)

(Monad m, Error e) => MonadPlus (XmlT e s m)

(Monad m, Functor m) => Applicative (XmlT e s m)

(Monad m, Functor m, Error e) => Alternative (XmlT e s m)

(MonadIO m, Error e) => MonadIO (XmlT e s m)

(Monad m, Error e) => MonadCompose (XmlT e s m) (XmlT e t m) s t

type Xml e s a = XmlT e s Identity a

Standard Xml reader + exception monadic type.

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

Run an XmlT.

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

Run an Xml.

Monad functions

inList :: (MonadCompose m n s t, MonadReader [s] n) => m a -> n [a]

Run a reader inside a list.

XML access.

elName :: MonadReader Element m => m QName

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

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

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

attrKey :: MonadReader Attr m => m QName

attrVal :: MonadReader Attr m => m String

cdVerbatim :: MonadReader CData m => m CDataKind

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

cdData :: MonadReader CData m => m String

qName :: MonadReader QName m => m String

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

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