Modulecomonad-5.0.10
Control.Comonad.Trans.Traced
- 2 types
- 6 values
- Packagecomonad-5.0.10
- Exports8
- LicenceBSD-3-Clause
Constructors
TracedTrunTracedT :: w (m -> a)
Instances11ComonadEnv, ComonadStore, ComonadTraced, ComonadTrans, ComonadHoist, Functor, …
(ComonadEnv e w, Monoid m) => ComonadEnv e (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Env.Class(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Store.Class(Comonad w, Monoid m) => ComonadTraced m (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Traced.ClassMonoid m => ComonadTrans (TracedT m)Defined in comonad-5.0.10 · Control.Comonad.Trans.TracedComonadHoist (TracedT m)Defined in comonad-5.0.10 · Control.Comonad.Trans.TracedFunctor w => Functor (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Trans.TracedApplicative w => Applicative (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Trans.TracedDistributive w => Distributive (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Traced(Comonad w, Monoid m) => Comonad (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Traced(ComonadApply w, Monoid m) => ComonadApply (TracedT m w)Defined in comonad-5.0.10 · Control.Comonad.Trans.TracedFunctorWithIndex i w => FunctorWithIndex (s, i) (TracedT s w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Traced