more-extensible-effects-0.1.0.4: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Eff.Writer

Documentation

data Writer o a where Source #

Constructors

Put :: o -> Writer o () 

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 #