ApFirst combines two effectful actions, keeping only the result of the first.

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

ApSecond combines two effectful actions, keeping only the result of the second.

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

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.

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

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

Memoize computes the value of the provided reader 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.

MonadApFirst combines two effectful actions, keeping only the result of the first.

MonadApSecond combines two effectful actions, keeping only the result of the second.

MonadTraverseArray transforms an array.

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

TraverseArray transforms an array.

TraverseArrayWithIndex transforms an array.

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