io/generic

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. The release action is called regardless of whether the body action returns and error or not.

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. Depending on a feature flag this will be sequential or parallel, the preferred implementation is parallel

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. Communication between the threads happens via a channel

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. Examples are the Option, Either and EitherT monads.

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

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