Control.Monad.Hefty.Output

Description

Interpreters for the Output effect.

Synopsis

runOutputList :: forall o a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => Eff (Output o ': es) a -> Eff es ([o], a)
runOutputMonoid :: forall o w a (es :: [(Type -> Type) -> Type -> Type]). (Monoid w, FOEs es) => (o -> w) -> Eff (Output o ': es) a -> Eff es (w, a)
module Data.Effect.Output

Documentation

runOutputList :: forall o a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => Eff (Output o ': es) a -> Eff es ([o], a) Source #

Interprets the Output effect by accumulating the outputs into a list.

runOutputMonoid :: forall o w a (es :: [(Type -> Type) -> Type -> Type]). (Monoid w, FOEs es) => (o -> w) -> Eff (Output o ': es) a -> Eff es (w, a) Source #

Interprets the Output effect by accumulating the outputs into a monoid.