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

BiMap maps a pair of functions over the two type arguments of the bifunctor.

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].

Bracket makes sure that a resource is cleaned up in the event of an error.

Defer creates an IO by creating a brand new IO via a generator function, each time.

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

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

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

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

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

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

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

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

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

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

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

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

Eq implements the equals predicate for values contained in the IOEither monad.

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

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

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

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

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

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

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

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

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

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

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

FromStrictEquals constructs an [EQ.Eq] from the canonical comparison function.

Functor implements the monadic operations for [ReaderIOEither].

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 constructs an instance of a reader.

MapLeft applies a mapping function to the error channel.

Memoize computes the value of the provided monad lazily but exactly once The context used to compute the value is the context of the first call, so do not use this method if the value has a functional dependency on the content of the context.

Monad implements the monadic operations for [ReaderIOEither].

MonadTraverseArray transforms an array.

MonadTraverseRecord transforms an array.

Of returns a Reader with a fixed value.

Pointed implements the pointed operations for [ReaderIOEither].

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

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

Swap changes the order of type parameters.

TraverseArray transforms an array.

TraverseArrayWithIndex transforms an array.

TraverseRecord transforms a record.

TraverseRecordWithIndex transforms a record.

TryCatch wraps a reader returning a tuple as an error into ReaderIOEither.

Uneitherize0 converts a function with 0 parameters returning a [GRA] into a function with 0 parameters returning a tuple.

Uneitherize1 converts a function with 1 parameters returning a [GRA] into a function with 1 parameters returning a tuple.

Uneitherize10 converts a function with 10 parameters returning a [GRA] into a function with 10 parameters returning a tuple.

Uneitherize2 converts a function with 2 parameters returning a [GRA] into a function with 2 parameters returning a tuple.

Uneitherize3 converts a function with 3 parameters returning a [GRA] into a function with 3 parameters returning a tuple.

Uneitherize4 converts a function with 4 parameters returning a [GRA] into a function with 4 parameters returning a tuple.

Uneitherize5 converts a function with 5 parameters returning a [GRA] into a function with 5 parameters returning a tuple.

Uneitherize6 converts a function with 6 parameters returning a [GRA] into a function with 6 parameters returning a tuple.

Uneitherize7 converts a function with 7 parameters returning a [GRA] into a function with 7 parameters returning a tuple.

Uneitherize8 converts a function with 8 parameters returning a [GRA] into a function with 8 parameters returning a tuple.

Uneitherize9 converts a function with 9 parameters returning a [GRA] into a function with 9 parameters returning a tuple.

WithLock executes the provided IO operation in the scope of a lock.

WithResource constructs a function that creates a resource, then operates on it and then releases the resource.