comonad-4.2.7.2: Comonads

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe

Control.Comonad.Trans.Identity

Description

 

Documentation

newtype IdentityT m a

Constructors

IdentityT 

Fields

runIdentityT :: m a
 

Instances

MonadTrans IdentityT 
ComonadTrans IdentityT 
ComonadHoist IdentityT 
ComonadEnv e w => ComonadEnv e (IdentityT w) 
ComonadStore s w => ComonadStore s (IdentityT w) 
ComonadTraced m w => ComonadTraced m (IdentityT w) 
Monad m => Monad (IdentityT m) 
Functor m => Functor (IdentityT m) 
MonadFix m => MonadFix (IdentityT m) 
MonadPlus m => MonadPlus (IdentityT m) 
Applicative m => Applicative (IdentityT m) 
Foldable f => Foldable (IdentityT f) 
Traversable f => Traversable (IdentityT f) 
Alternative m => Alternative (IdentityT m) 
MonadIO m => MonadIO (IdentityT m) 
ComonadApply w => ComonadApply (IdentityT w) 
Comonad w => Comonad (IdentityT w) 
Distributive g => Distributive (IdentityT g) 
Show1 f => Show1 (IdentityT f) 
Read1 f => Read1 (IdentityT f) 
Ord1 f => Ord1 (IdentityT f) 
Eq1 f => Eq1 (IdentityT f) 
(Eq1 f, Eq a) => Eq (IdentityT f a) 
(Ord1 f, Ord a) => Ord (IdentityT f a) 
(Read1 f, Read a) => Read (IdentityT f a) 
(Show1 f, Show a) => Show (IdentityT f a)