Ap applies a function to an argument under a type constructor.

ApS attaches a value to a context [S1] to produce a context [S2] by considering the context and the value concurrently.

Ask reads the current context.

Asks projects a value from the global context in a Reader.

Bind attaches the result of a computation to a context [S1] to produce a context [S2].

BindTo initializes a new state [S1] from a value [T].

Chain composes computations in sequence, using the return value of one computation to determine the next computation.

Bind creates an empty context of type [S] to be used with the [Bind] operation.

From0 converts a function with 1 parameters returning a [R] into a function with 0 parameters returning a [GRA] The first parameter is considered to be the context [C].

From1 converts a function with 2 parameters returning a [R] into a function with 1 parameters returning a [GRA] The first parameter is considered to be the context [C].

From10 converts a function with 11 parameters returning a [R] into a function with 10 parameters returning a [GRA] The first parameter is considered to be the context [C].

From2 converts a function with 3 parameters returning a [R] into a function with 2 parameters returning a [GRA] The first parameter is considered to be the context [C].

From3 converts a function with 4 parameters returning a [R] into a function with 3 parameters returning a [GRA] The first parameter is considered to be the context [C].

From4 converts a function with 5 parameters returning a [R] into a function with 4 parameters returning a [GRA] The first parameter is considered to be the context [C].

From5 converts a function with 6 parameters returning a [R] into a function with 5 parameters returning a [GRA] The first parameter is considered to be the context [C].

From6 converts a function with 7 parameters returning a [R] into a function with 6 parameters returning a [GRA] The first parameter is considered to be the context [C].

From7 converts a function with 8 parameters returning a [R] into a function with 7 parameters returning a [GRA] The first parameter is considered to be the context [C].

From8 converts a function with 9 parameters returning a [R] into a function with 8 parameters returning a [GRA] The first parameter is considered to be the context [C].

From9 converts a function with 10 parameters returning a [R] into a function with 9 parameters returning a [GRA] The first parameter is considered to be the context [C].

Let attaches the result of a computation to a context [S1] to produce a context [S2].

LetTo attaches the a value to a context [S1] to produce a context [S2].

Local changes the value of the local context during the execution of the action `ma` (similar to `Contravariant`'s `contramap`).

MakeReader creates a reader, i.e.

Map can be used to turn functions `func(A)B` into functions `(fa F[A])F[B]` whose argument and return types use the type constructor `F` to represent some computational context.

TraverseArray transforms an array.

Read applies a context to a reader to obtain its value.

SequenceArray converts a homogeneous sequence of either into an either of sequence.

TraverseArray transforms an array.

TraverseArrayWithIndex transforms an array.