After creates an operation that passes after the given timestamp.

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

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

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

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

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.

Delay creates an operation that passes in the value after some delay.

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.

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

Functor implements the functoric operations for [IO].

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 IO monad lazily but exactly once.

Monad implements the monadic operations for [Option].

MonadAp implements the `ap` operation.

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

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

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

MonadApPar implements the applicative on two threads, the main thread executes mab and the actuall apply operation and the second thread computes ma.

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

MonadApSeq implements the applicative on a single thread by first executing mab and the ma.

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.

MonadTraverseRecord transforms a record using an IO transform an IO of a record.

MonadTraverseRecordPar transforms a record using an IO transform an IO of a record.

MonadTraverseRecordSeq transforms a record using an IO transform an IO of a record.

Now returns the current timestamp.

Pointed implements the pointedic operations for [IO].

Retry combinator for actions that don't raise exceptions, but signal in their type the outcome has failed.

SequenceT1 converts 1 [func() T] into a [func() T.Tuple1[T1]].

SequenceT10 converts 10 [func() T] into a [func() T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]].

SequenceT2 converts 2 [func() T] into a [func() T.Tuple2[T1, T2]].

SequenceT3 converts 3 [func() T] into a [func() T.Tuple3[T1, T2, T3]].

SequenceT4 converts 4 [func() T] into a [func() T.Tuple4[T1, T2, T3, T4]].

SequenceT5 converts 5 [func() T] into a [func() T.Tuple5[T1, T2, T3, T4, T5]].

SequenceT6 converts 6 [func() T] into a [func() T.Tuple6[T1, T2, T3, T4, T5, T6]].

SequenceT7 converts 7 [func() T] into a [func() T.Tuple7[T1, T2, T3, T4, T5, T6, T7]].

SequenceT8 converts 8 [func() T] into a [func() T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]].

SequenceT9 converts 9 [func() T] into a [func() T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]].

SequenceTuple1 converts a [T.Tuple1[func() T]] into a [func() T.Tuple1[T1]].

SequenceTuple10 converts a [T.Tuple10[func() T]] into a [func() T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]].

SequenceTuple2 converts a [T.Tuple2[func() T]] into a [func() T.Tuple2[T1, T2]].

SequenceTuple3 converts a [T.Tuple3[func() T]] into a [func() T.Tuple3[T1, T2, T3]].

SequenceTuple4 converts a [T.Tuple4[func() T]] into a [func() T.Tuple4[T1, T2, T3, T4]].

SequenceTuple5 converts a [T.Tuple5[func() T]] into a [func() T.Tuple5[T1, T2, T3, T4, T5]].

SequenceTuple6 converts a [T.Tuple6[func() T]] into a [func() T.Tuple6[T1, T2, T3, T4, T5, T6]].

SequenceTuple7 converts a [T.Tuple7[func() T]] into a [func() T.Tuple7[T1, T2, T3, T4, T5, T6, T7]].

SequenceTuple8 converts a [T.Tuple8[func() T]] into a [func() T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]].

SequenceTuple9 converts a [T.Tuple9[func() T]] into a [func() T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]].

TraverseRecord transforms a record using an IO transform an IO of a record.

TraverseRecordPar transforms a record using an IO transform an IO of a record.

TraverseRecordSeq transforms a record using an IO transform an IO of a record.

TraverseRecordWithIndex transforms a record using an IO transform an IO of a record.

TraverseRecordWithIndexPar transforms a record using an IO transform an IO of a record.

TraverseRecordWithIndexSeq transforms a record using an IO transform an IO of a record.

TraverseTuple1 converts a [T.Tuple1[func() T]] into a [func() T.Tuple1[T1]].

TraverseTuple10 converts a [T.Tuple10[func() T]] into a [func() T.Tuple10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]].

TraverseTuple2 converts a [T.Tuple2[func() T]] into a [func() T.Tuple2[T1, T2]].

TraverseTuple3 converts a [T.Tuple3[func() T]] into a [func() T.Tuple3[T1, T2, T3]].

TraverseTuple4 converts a [T.Tuple4[func() T]] into a [func() T.Tuple4[T1, T2, T3, T4]].

TraverseTuple5 converts a [T.Tuple5[func() T]] into a [func() T.Tuple5[T1, T2, T3, T4, T5]].

TraverseTuple6 converts a [T.Tuple6[func() T]] into a [func() T.Tuple6[T1, T2, T3, T4, T5, T6]].

TraverseTuple7 converts a [T.Tuple7[func() T]] into a [func() T.Tuple7[T1, T2, T3, T4, T5, T6, T7]].

TraverseTuple8 converts a [T.Tuple8[func() T]] into a [func() T.Tuple8[T1, T2, T3, T4, T5, T6, T7, T8]].

TraverseTuple9 converts a [T.Tuple9[func() T]] into a [func() T.Tuple9[T1, T2, T3, T4, T5, T6, T7, T8, T9]].

WithDuration returns an operation that measures the duration of the operation.

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.

WithTime returns an operation that measures the start and end timestamp of the operation.