Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Control.Comonad.Trans.Env
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 strict environment comonad
The strict 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) | |
(Functor (EnvT e w), Foldable (EnvT e w), Traversable w) => Traversable (EnvT e w) | |
(Functor (EnvT e w), Comonad w) => Comonad (EnvT e w) | |
(Comonad (EnvT e w), Semigroup e, ComonadApply w) => ComonadApply (EnvT e w) | |
(Functor (EnvT e w), Semigroup e, Apply w) => Apply (EnvT e w) | |
(Functor (EnvT e w), Extend w) => Extend (EnvT e w) | |
(Typeable (EnvT e w a), 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) |