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

Control.Monad.Eff.Examples.VerboseAddition

data Log v where Source #

Constructors

log :: Member Log r => String -> Eff r () Source #

runLogger :: Eff (Log ': r) a -> Eff r (a, [String]) Source #

runIOLogger :: MemberU2 Lift (Lift IO) r => Eff (Log ': r) a -> Eff r a Source #

example :: Member Log r => Eff r Int Source #