effects-0.2: Computational Effects

Control.Effects.Writer

Documentation

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

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