Control.Effects.Writer

Documentation

tell :: (AutoLift (w, r) m n, Monoid w) => Effect (w, r) m -> w -> n ()

writer :: (Monad m, Monoid w) => Handler (w, a) (w, a) m a