Modulecomonad-5.0.9Haskell2010
Control.Comonad.Trans.Traced
The trace comonad builds up a result by prepending monoidal values to each other.
This module specifies the traced comonad transformer (aka the cowriter or exponential comonad transformer).
- 2 types
- 6 values
- Packagecomonad-5.0.9
- Exports8
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceTraced.hs
Traced comonad
3 declarationsTraced comonad transformer
1 declarationConstructors
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.9 · Control.Comonad.Env.Class(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Store.Class(Comonad w, Monoid m) => ComonadTraced m (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Traced.ClassMonoid m => ComonadTrans (TracedT m)Defined in comonad-5.0.9 · Control.Comonad.Trans.TracedComonadHoist (TracedT m)Defined in comonad-5.0.9 · Control.Comonad.Trans.TracedFunctor w => Functor (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Trans.TracedApplicative w => Applicative (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Trans.TracedDistributive w => Distributive (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Trans.Traced(Comonad w, Monoid m) => Comonad (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Trans.Traced(ComonadApply w, Monoid m) => ComonadApply (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Trans.TracedFunctorWithIndex i w => FunctorWithIndex (s, i) (TracedT s w)Defined in comonad-5.0.9 · Control.Comonad.Trans.Traced