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

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

ChainFirst composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.

ChainTo composes computations in sequence, ignoring the return value of the first computation.

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.

FromImpure converts a side effect without a return value into a side effect that returns any.

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 [Lazy] monad lazily but exactly once.

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

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

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

MonadChainFirst composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.

MonadChainTo composes computations in sequence, ignoring the return value of the first computation.

Retrying will retry the actions according to the check policy policy - refers to the retry policy action - converts a status into an operation to be executed check - checks if the result of the action needs to be retried.

SequenceArray converts an array of [IO] to an [IO] of an array.

SequenceRecord converts a record of [IO] to an [IO] of a record.

TraverseArray applies a function returning an [IO] to all elements in an array and the transforms this into an [IO] of that array.

TraverseArrayWithIndex applies a function returning an [IO] to all elements in an array and the transforms this into an [IO] of that array.

TraverseRecord applies a function returning an [IO] to all elements in a record and the transforms this into an [IO] of that record.

TraverseRecord applies a function returning an [IO] to all elements in a record and the transforms this into an [IO] of that record.

Now returns the current timestamp.

Lazy represents a synchronous computation without side effects.