Lift a pure value into the monad-transformer

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

The inverse of Run()

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

The inverse of Run()

Writes an item and returns a value at the same time

Listens executes the action and adds the result of applying f to the output to the value of the computation.

Censor executes the action and applies the function f to its output, leaving the return value unchanged.

Lifts a given monad into the transformer

Lifts a function into the transformer

Maps the bound value

Maps the bound value

Monad bind operation

Monad bind operation

Monad bind operation

Monad bind operation

Monad bind operation

Monad bind operation

Monad bind operation

Run the writer

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.

Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.

Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.

Run the writer

Run the writer

Monadic join

Functor map operation

Unwraps the value within the functor, passes it to the map function f provided, and then takes the mapped value and wraps it back up into a new functor.

Functor map operation

Unwraps the value within the functor, passes it to the map function f provided, and then takes the mapped value and wraps it back up into a new functor.

Applicative action: runs the first applicative, ignores the result, and returns the second applicative

Applicative action: runs the first applicative, ignores the result, and returns the second applicative

Applicative functor apply operation

Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and then takes the resulting value and wraps it back up into a new applicative-functor.

Applicative functor apply operation

Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and then takes the resulting value and wraps it back up into a new applicative-functor.

Tell is an action that produces the writer output

Writes an item and returns a value at the same time

Writes an item and returns a value at the same time

pass is an action that executes the action, which returns a value and a function; it then returns the value with the output having been applied to the function.

listen executes the action ma and adds the result of applying f to the output to the value of the computation.

listens executes the action ma and adds the result of applying f to the output to the value of the computation.

censor executes the action ma and applies the function f to its output, leaving the return value unchanged.

Tell is an action that produces the writer output

Writes an item and returns a value at the same time

Writes an item and returns a value at the same time

pass is an action that executes the action, which returns a value and a function; it then returns the value with the output having been applied to the function.

listen executes the action ma and adds the result of applying f to the output to the value of the computation.

listens executes the action ma and adds the result of applying f to the output to the value of the computation.

censor executes the action ma and applies the function f to its output, leaving the return value unchanged.

Functor map operation

Unwraps the value within the functor, passes it to the map function f provided, and then takes the mapped value and wraps it back up into a new functor.

Applicative action: runs the first applicative, ignores the result, and returns the second applicative

Applicative functor apply operation

Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and then takes the resulting value and wraps it back up into a new applicative-functor.