Module

Control.Comonad.Traced.Trans

This module defines the cowriter comonad transformer, TracedT.

#TracedT

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

Instances

#runTracedT

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

Unwrap a value in the TracedT comonad.

Modules