more-extensible-effects-0.1.0.4: Initial project template from stack
Control.Monad.Eff.Writer
data Writer o a where Source #
Constructors
tell :: Member (Writer o) r => o -> Eff r () Source #
writer :: Member (Writer o) r => (a, o) -> Eff r a Source #
runWriter :: Monoid o => Eff (Writer o ': r) a -> Eff r (a, o) Source #