Control.Effects.Writer

Documentation

tell :: (c ~ ContT (w, r) m, AutoLift c n, Monad m, Monoid w) => Proxy c -> w -> n ()

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