MonadTrans IdentityT | |
ComonadTrans IdentityT | |
ComonadHoist IdentityT | |
Monad m => Monad (IdentityT m) | |
Functor m => Functor (IdentityT m) | |
(Monad (IdentityT m), MonadFix m) => MonadFix (IdentityT m) | |
(Monad (IdentityT m), MonadPlus m) => MonadPlus (IdentityT m) | |
(Functor (IdentityT m), Applicative m) => Applicative (IdentityT m) | |
Foldable f => Foldable (IdentityT f) | |
(Functor (IdentityT f), Foldable (IdentityT f), Traversable f) => Traversable (IdentityT f) | |
(Applicative (IdentityT m), Alternative m) => Alternative (IdentityT m) | |
(Functor (IdentityT w), Comonad w) => Comonad (IdentityT w) | |
(Comonad (IdentityT w), ComonadApply w) => ComonadApply (IdentityT w) | |
(Functor (IdentityT g), Distributive g) => Distributive (IdentityT g) | |
(Foldable1 (IdentityT f), Traversable (IdentityT f), Traversable1 f) => Traversable1 (IdentityT f) | |
(Foldable (IdentityT m), Foldable1 m) => Foldable1 (IdentityT m) | |
(Functor (IdentityT w), Apply w) => Apply (IdentityT w) | |
(Apply (IdentityT m), Bind m) => Bind (IdentityT m) | |
(Functor (IdentityT w), Extend w) => Extend (IdentityT w) | |
(Monad (IdentityT m), MonadIO m) => MonadIO (IdentityT m) | |