comonad-transformers-2.0.0: Comonad transformers

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Trans.Traced

Contents

Description

The trace comonad transformer (aka the cowriter or exponential comonad transformer).

Synopsis

Traced comonad

traced :: (m -> a) -> Traced m aSource

runTraced :: Traced m a -> m -> aSource

Traced comonad transformer

newtype TracedT m w a Source

Constructors

TracedT 

Fields

runTracedT :: w (m -> a)
 

Operations

trace :: (Comonad w, Monoid m) => m -> TracedT m w a -> aSource

listen :: Functor w => TracedT m w a -> TracedT m w (a, m)Source

listens :: Functor w => (m -> b) -> TracedT m w a -> TracedT m w (a, b)Source

censor :: Functor w => (m -> m) -> TracedT m w a -> TracedT m w aSource