package preface

The encapsulated tape.

The inner monad.

The type held by the writer monad.

promote monad into the transformation.

Construct a writer computation from a (result, output) pair.

Unwrap the writer computation.

Extract the output from the writer computation.

tell helps to enrich the output. This is done thanks to the semigroup combine operation.

listen executes the effect and return both the result and the corresponding output within the effect.

Performs the action and adds the result of applying the function to the output to the value of the computation.

pass executes the effect and apply the function to the corresponding output.

censor executes the effects, apply the function to the corresponding output and returns an effects with the value unchanged.