Control.Comonad.Traced.Trans

newtype TracedT :: Type -> (Type -> Type) -> Type -> Typenewtype TracedT t w a

The cowriter comonad transformer.

This comonad transformer extends the context of a value in the base comonad so that the value depends on a monoidal position of type t.

The ComonadTraced type class describes the operations supported by this comonad.

Constructors

• TracedT (w (t -> a))

Instances

• Newtype (TracedT t w a) _
• (Functor w) => Functor (TracedT t w)
• (Extend w, Semigroup t) => Extend (TracedT t w)
• (Comonad w, Monoid t) => Comonad (TracedT t w)
• (Monoid t) => ComonadTrans (TracedT t)

runTracedT :: forall w a t. TracedT t w a -> w (t -> a)

Unwrap a value in the TracedT comonad.