HSP.IdentityT

Documentation

evalIdentityT :: (Functor m, Monad m) => XMLGenT (IdentityT m) XML -> m XML

type IdentT m = XMLGenT (IdentityT m) XML

newtype IdentityT m a

Constructors

IdentityT

Fields

runIdentityT :: m a

Instances

MonadTrans IdentityT

MonadRWS r w s m => MonadRWS r w s (IdentityT m)

MonadReader r m => MonadReader r (IdentityT m)

MonadState s m => MonadState s (IdentityT m)

MonadWriter w m => MonadWriter w (IdentityT m)

Monad m => Monad (IdentityT m)

Functor m => Functor (IdentityT m)

MonadPlus m => MonadPlus (IdentityT m)

Applicative f => Applicative (IdentityT f)

(Monad m, Functor m) => XMLGenerator (IdentityT m)

(Functor m, Monad m) => XMLGen (IdentityT m)

MonadIO m => MonadIO (IdentityT m)

(Monad m, Functor m) => AppendChild (IdentityT m) XML

(Monad m, Functor m) => SetAttr (IdentityT m) XML

(Monad m, Functor m) => EmbedAsAttr (IdentityT m) Attribute

(Monad m, Functor m) => EmbedAsChild (IdentityT m) ()

(Monad m, Functor m) => EmbedAsChild (IdentityT m) XML

(Monad m, Functor m) => EmbedAsChild (IdentityT m) Text

(Monad m, Functor m) => EmbedAsChild (IdentityT m) Text

(Monad m, Functor m) => EmbedAsChild (IdentityT m) String

(Monad m, Functor m) => EmbedAsChild (IdentityT m) Char

(Monad m, Functor m) => IsAttrValue (IdentityT m) Text

(Monad m, Functor m) => IsAttrValue (IdentityT m) Text

(Monad m, Functor m, IsName n) => EmbedAsAttr (IdentityT m) (Attr n Text)

(Monad m, Functor m, IsName n) => EmbedAsAttr (IdentityT m) (Attr n Text)

(Monad m, Functor m) => EmbedAsAttr (IdentityT m) (Attr String Int)

(Monad m, Functor m) => EmbedAsAttr (IdentityT m) (Attr String Bool)

(Monad m, Functor m) => EmbedAsAttr (IdentityT m) (Attr String String)

(Monad m, Functor m) => EmbedAsAttr (IdentityT m) (Attr String Char)

(Monad m, Functor m) => EmbedAsChild (IdentityT m) (IdentityT m String)

type XMLType (IdentityT m) = XML

data ChildType (IdentityT m) = IChild {

• unIChild :: XML

}

data AttributeType (IdentityT m) = IAttr {

• unIAttr :: Attribute

}