Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Comonad.Trans.Env.Lazy
Description
The environment comonad transformer (aka coreader). This adds an extra value that can be accessed in the environment.
Left adjoint to the reader comonad.
The environment comonad
The environment comonad transformer
Constructors
EnvT e (w a) |
Instances
ComonadTrans (EnvT e) | |
ComonadHoist (EnvT e) | |
Functor w => Functor (EnvT e w) | |
(Typeable s, Typeable1 w) => Typeable1 (EnvT s w) | |
Foldable w => Foldable (EnvT e w) | |
Traversable w => Traversable (EnvT e w) | |
Comonad w => Comonad (EnvT e w) | |
(Monoid e, ComonadApply w) => ComonadApply (EnvT e w) | |
(Monoid e, FunctorApply w) => FunctorApply (EnvT e w) | |
(Data e, Typeable1 w, Data (w a), Data a) => Data (EnvT e w a) | |
(Typeable s, Typeable1 w, Typeable a) => Typeable (EnvT s w a) |