Modulecomonad-5.0.10
Control.Comonad.Trans.Env
- 2 types
- 7 values
- Packagecomonad-5.0.10
- Exports9
- LicenceBSD-3-Clause
Constructors
EnvT e (w a)
Instances12ComonadEnv, ComonadStore, ComonadTraced, ComonadTrans, ComonadHoist, Functor, …
Comonad w => ComonadEnv e (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Env.ClassComonadStore s w => ComonadStore s (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Store.ClassComonadTraced m w => ComonadTraced m (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Traced.ClassComonadTrans (EnvT e)Defined in comonad-5.0.10 · Control.Comonad.Trans.EnvComonadHoist (EnvT e)Defined in comonad-5.0.10 · Control.Comonad.Trans.EnvFunctor w => Functor (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Env(Monoid e, Applicative m) => Applicative (EnvT e m)Defined in comonad-5.0.10 · Control.Comonad.Trans.EnvFoldable w => Foldable (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Trans.EnvTraversable w => Traversable (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Trans.EnvComonad w => Comonad (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Env(Semigroup e, ComonadApply w) => ComonadApply (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Env(Data e, Typeable w, Data (w a), Data a) => Data (EnvT e w a)Defined in comonad-5.0.10 · Control.Comonad.Trans.Env