Cleff.Output

Effect

data Output o :: Effect where

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

Constructors

Output :: o -> Output o m ()

Operations

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

Interpretations

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

Run an Output effect by accumulating a list.

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.