Control.Comonad.Env.Class · comonad-5.0.9

classclass Comonad w => ComonadEnv e (w :: Type -> Type) | w -> e where

Instances6ComonadEnv

ComonadEnv e (Arg e)Defined in comonad-5.0.9 · Control.Comonad.Env.Class
ComonadEnv e (Tuple2 e)Defined in comonad-5.0.9 · Control.Comonad.Env.Class
Comonad w => ComonadEnv e (EnvT e w)Defined in comonad-5.0.9 · Control.Comonad.Env.Class
ComonadEnv e w => ComonadEnv e (StoreT t w)Defined in comonad-5.0.9 · Control.Comonad.Env.Class
ComonadEnv e w => ComonadEnv e (IdentityT w)Defined in comonad-5.0.9 · Control.Comonad.Env.Class
(ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Env.Class