Control.Comonad.Travel.Traced
Description
Monoid - One-object category - Traced comonad
Traced
fromTraced :: Traced m r -> Travel (OneObject m) r Source #
Travel (OneObject m) r ~ (m -> r) ~ Traced m r
toTraced :: Travel (OneObject m) r -> Traced m r Source #