Text.XML.Monad.Core
- newtype XmlT e s m a = XmlT {}
- type Xml e s a = XmlT e s Identity a
- runXmlT :: XmlT e s m a -> s -> m (Either e a)
- runXml :: Xml e s a -> s -> Either e a
- inList :: (MonadCompose m n s t, MonadReader [s] n) => m a -> n [a]
- 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)
XML monad (transformer) types
Standard Xml reader + exception transformer type.
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 |
Monad functions
inList :: (MonadCompose m n s t, MonadReader [s] n) => m a -> n [a]Source
Run a reader inside a list.
XML access.
elName :: MonadReader Element m => m QNameSource
elAttribs :: MonadReader Element m => m [Attr]Source
elContent :: MonadReader Element m => m [Content]Source
attrKey :: MonadReader Attr m => m QNameSource
attrVal :: MonadReader Attr m => m StringSource
cdVerbatim :: MonadReader CData m => m CDataKindSource
cdData :: MonadReader CData m => m StringSource
qName :: MonadReader QName m => m StringSource