ioeither/generic

After creates an operation that passes after the given [time.Time]

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.

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

ChainFirst runs the monad returned by the function but returns the result of the original monad

ChainFirstEitherK runs the monad returned by the function but returns the result of the original monad

ChainFirstIOK runs the monad returned by the function but returns the result of the original monad

Command executes a command

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 [time.Duration]

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 [GIOA]

Eitherize1 converts a function with 1 parameters returning a tuple into a function with 1 parameters returning a [GIOA]

Eitherize10 converts a function with 10 parameters returning a tuple into a function with 10 parameters returning a [GIOA]

Eitherize2 converts a function with 2 parameters returning a tuple into a function with 2 parameters returning a [GIOA]

Eitherize3 converts a function with 3 parameters returning a tuple into a function with 3 parameters returning a [GIOA]

Eitherize4 converts a function with 4 parameters returning a tuple into a function with 4 parameters returning a [GIOA]

Eitherize5 converts a function with 5 parameters returning a tuple into a function with 5 parameters returning a [GIOA]

Eitherize6 converts a function with 6 parameters returning a tuple into a function with 6 parameters returning a [GIOA]

Eitherize7 converts a function with 7 parameters returning a tuple into a function with 7 parameters returning a [GIOA]

Eitherize8 converts a function with 8 parameters returning a tuple into a function with 8 parameters returning a [GIOA]

Eitherize9 converts a function with 9 parameters returning a tuple into a function with 9 parameters returning a [GIOA]

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

Fold convers an IOEither into an IO

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 monadic operations for [IOEither]

GetOrElse extracts the value or maps the error

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]

LogJSON converts the argument to JSON and then logs it via the format string Can be used with [ChainFirst]

LogJson converts the argument to JSON and then logs it via the format string Can be used with [ChainFirst]

Deprecated: use [LogJSON] instead

Memoize computes the value of the provided IO monad lazily but exactly once

Monad implements the monadic operations for [IOEither]

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

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

MonadChainFirst runs the monad returned by the function but returns the result of the original monad

MonadChainFirstEitherK runs the monad returned by the function but returns the result of the original monad

MonadChainFirstIOK runs the monad returned by the function but returns the result of the original monad

MonadTraverseArray transforms an array

MonadTraverseArrayPar transforms an array

MonadTraverseArraySeq transforms an array

MonadTraverseArrayWithIndex transforms an array

MonadTraverseArrayWithIndexPar transforms an array

MonadTraverseArrayWithIndexSeq transforms an array

MonadTraverseRecord transforms an array

MonadTraverseRecordPar transforms an array

MonadTraverseRecordSeq transforms an array

OrElse returns the original IOEither if it is a Right, otherwise it applies the given function to the error and returns the result.

Pointed implements the pointed operations for [IOEither]

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

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

SequenceArrayPar converts a homogeneous sequence of either into an either of sequence

SequenceArraySeq converts a homogeneous sequence of either into an either of sequence

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

SequenceRecordPar converts a homogeneous sequence of either into an either of sequence

SequenceRecordSeq converts a homogeneous sequence of either into an either of sequence

SequenceT1 converts 1 [func() ET.Either[E, T]] into a [func() ET.Either[E, T.Tuple1[T1]]]

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

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

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

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

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

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

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

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

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

SequenceTuple1 converts a [T.Tuple1[func() ET.Either[E, T]]] into a [func() ET.Either[E, T.Tuple1[T1]]]

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

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

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

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

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

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

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

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

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

Swap changes the order of type parameters

TraverseArray transforms an array

TraverseArrayPar transforms an array

TraverseArraySeq transforms an array

TraverseArrayWithIndex transforms an array

TraverseArrayWithIndexPar transforms an array

TraverseArrayWithIndexSeq transforms an array

TraverseRecord transforms an array

TraverseRecordPar transforms an array

TraverseRecordSeq transforms an array

TraverseRecordWithIndex transforms an array

TraverseRecordWithIndexPar transforms an array

TraverseRecordWithIndexSeq transforms an array

TraverseTuple1 converts a [T.Tuple1[func() ET.Either[E, T]]] into a [func() ET.Either[E, T.Tuple1[T1]]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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