Cleff.Output

Effect

data Output o :: Effect where

An effect that is capable of producing outputs, for example writing to a log file or an output stream.

Constructors

Output :: o -> Output o m ()

Operations

output :: Output o :> es => o -> Eff es ()

Produce an output value.

Interpretations

outputToListState :: Eff (Output o ': es) ~> Eff (State [o] ': es)

Run an Output effect by accumulating a list. Note that outputs are being prepended to the head of the list, so in many cases you would want to reverse the result.

outputToWriter :: (o -> o') -> Eff (Output o ': es) ~> Eff (Writer o' ': es)

Run an Output effect by translating it into a Writer.

ignoreOutput :: Eff (Output o ': es) ~> Eff es

Ignore outputs of an Output effect altogether.

runOutputEff :: (o -> Eff es ()) -> Eff (Output o ': es) ~> Eff es

Run an Output effect by performing a computation for each output.

mapOutput :: Output o' :> es => (o -> o') -> Eff (Output o ': es) ~> Eff es

Transform an Output effect into another one already in the effect stack, by a pure function.

Since: 0.2.1.0

bindOutput :: Output o' :> es => (o -> Eff es o') -> Eff (Output o ': es) ~> Eff es

Transform an Output effect into another one already in the effect stack, by an effectful computation.

Since: 0.2.1.0