Control.Monad.Eff.Examples.VerboseAddition

Documentation

data Log v where

Constructors

Log :: String -> Log ()

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

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

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

verboseAddition :: Member Log r => Eff r Int