Control.Comonad.Traced.Class · comonad-5.0.10

classclass Comonad w => ComonadTraced m (w :: Type -> Type) | w -> m where

Instances5ComonadTraced

ComonadTraced m w => ComonadTraced m (EnvT e w)Defined in comonad-5.0.10 · Control.Comonad.Traced.Class
ComonadTraced m w => ComonadTraced m (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Traced.Class
ComonadTraced m w => ComonadTraced m (IdentityT w)Defined in comonad-5.0.10 · Control.Comonad.Traced.Class
(Comonad w, Monoid m) => ComonadTraced m (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Traced.Class
Monoid m => ComonadTraced m ((->) m)Defined in comonad-5.0.10 · Control.Comonad.Traced.Class