Control.Comonad.Traced.Interface

Definitions

interface ComonadTraced : Type -> (Type -> Type) -> Type

Parameters: m, w
Constraints: Comonad w
Methods:

trace : m -> w a -> a

Implementations:

Monoid m => ComonadTraced m (Morphism m)

ComonadTraced m w => ComonadTraced m (EnvT e w)

ComonadTraced m w => ComonadTraced m (StoreT s w)

(Comonad w, Monoid m) => ComonadTraced m (TracedT m w)

trace : ComonadTraced m w => m -> w a -> a

Totality: total
Visibility: public export

traces : ComonadTraced m w => (a -> m) -> w a -> a

Totality: total
Visibility: public export

lowerTrace : (ComonadTrans t, ComonadTraced m w) => m -> t w a -> a

Totality: total
Visibility: public export