comonad-4.2.2: Comonads

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Control.Comonad.Trans.Traced

Contents

Description

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).

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 => 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