Control.Comonad.Traced.Class

Documentation

class Comonad w => ComonadTraced m w | w -> m where

Methods

trace :: m -> w a -> a

Instances

ComonadTraced m w => ComonadTraced m (IdentityT w)

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

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

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

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