reader/generic

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. a method that accepts a context and that returns a value

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