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 {} | |
data AttributeType (IdentityT m) = IAttr {} | |