Package-level declarations

The same behavior and API as Effect except without requiring suspend.

Effect represents a function of suspend Raise<R>.() -> A, that short-circuit with a value of R or Throwable, or completes with a value of A.

Implementation of Raise used by ior. You should never use this directly.

Receiver type belonging to mapOrAccumulate. Allows binding both Either and EitherNel values for Either.Left types of Error. It extends Raise of Error, and allows working over Raise of NonEmptyList of Error as well.

RaiseCancellationException is a delicate api, and should be used with care. It drives the short-circuiting behavior of Raise.

Implementation of Raise used by result. You should never use this directly.

Tracing result. Allows to inspect the traces from where raise was called.

Allows safely catching exceptions of type T without capturing CancellationException, or fatal exceptions like OutOfMemoryError or VirtualMachineError on the JVM.

Allows safely catching exceptions without capturing CancellationException, or fatal exceptions like OutOfMemoryError or VirtualMachineError on the JVM.

Runs the Effect and captures any nonFatalOrThrow exception into Result.

A version of catch that refines the Throwable to T. This is useful for wrapping foreign code, such as database, network calls, etc.

Catch any unexpected exceptions, and catch them. You can either return a value a new value of A, or short-circuit the effect by raising with a value of Error, or raise an exception into suspend.

Runs a computation block using Raise, and return its outcome as Either.

Ensures that the condition is met; otherwise, Raise.raises a logical failure of type Error.

Ensures that the value is not null; otherwise, Raise.raises a logical failure of type Error.

The most general way to execute a computation using Raise. Depending on the outcome of the block, one of the two lambdas is run:

The most general way to execute a computation using Raise. Depending on the outcome of the block, one of the three lambdas is run:

invoke the EagerEffect and fold the result:

invoke the Effect and fold the result:

Run the EagerEffect by returning A, or null if raised with Error.

Run the Effect by returning A, or null if raised with Error.

Runs a computation block using Raise, and ignore its outcome.

Runs a computation block using Raise, and return its outcome as Ior.

Run a computation block using Raise. and return its outcome as IorNel.

Transform the raised value Error of the EagerEffect into OtherError. This results in an EagerEffect that returns a value of A or raises OtherError.

Transform the raised value Error of the Effect into OtherError, or raise an exception into suspend. This results in an Effect that returns a value of A or raises OtherError.

Accumulate the errors obtained by executing the transform over every element of NonEmptyList.

Accumulate the errors obtained by executing the transform over every element of NonEmptySet.

Accumulate the errors obtained by executing the transform over every element of iterable.

Accumulate the errors obtained by executing the transform over every element of sequence.

Transform every element of iterable using the given transform, or accumulate all the occurred errors using combine.

Transform every element of sequence using the given transform, or accumulate all the occurred errors using combine.

Execute the Raise context function resulting in A or any logical error of type A. Does not distinguish between normal results and errors, thus you can consider return and raise to be semantically equivalent inside.

Runs a computation block using Raise, and return its outcome as nullable type, where null represents logical failure.

Runs a computation block using Raise, and return its outcome as Option.

Execute the Raise context function resulting in A or any logical error of type Error, and recover by providing a transform Error into a fallback value of type A. Base implementation of effect { f() } getOrElse { fallback() }.

Execute the Raise context function resulting in A or any logical error of type Error, and recover by providing a transform Error into a fallback value of type A, or catch any unexpected exceptions by providing a transform Throwable into a fallback value of type A,

Catch the raised value Error of the Effect. You can either return a value a new value of A, or short-circuit the effect by raising with a value of OtherError, or raise an exception into suspend.

Runs a computation block using Raise, and return its outcome as Result.

Run the EagerEffect by returning Either.Right of A, or Either.Left of Error.

Run the Effect by returning Either.Right of A, or Either.Left of Error.

Run the EagerEffect by returning Ior.Right of A, or Ior.Left of Error.

Run the Effect by returning Ior.Right of A, or Ior.Left of Error.

Run the EagerEffect by returning Option of A, recover run the fallback lambda and returning its result of Option of A.

Run the Effect by returning Option of A, recover run the fallback lambda and returning its result of Option of A.

Run the EagerEffect by returning Result of A, or Result.Failure if raised with Throwable.

Run the Effect by returning Result of A, or Result.Failure if raised with Throwable.

Run the EagerEffect by returning Result of A, recover run the fallback lambda and returning its result of Result of A.

Run the Effect by returning Result of A, recover run the fallback lambda and returning its result of Result of A.

Inspect a Trace value of Error.

Execute the Raise context function resulting in A or any logical error of type OtherError, and transform any raised OtherError into Error, which is raised to the outer Raise.

Accumulate the errors from running both action1 and action2.

Accumulate the errors from running both action1 and action2 using the given combine function.

Accumulate the errors from running action1, action2, and action3.

Accumulate the errors from running action1, action2, and action3 using the given combine.

Accumulate the errors from running action1, action2, action3, and action4.

Accumulate the errors from running action1, action2, action3, and action4 using the given combine.

Accumulate the errors from running action1, action2, action3, action4, and action5.

Accumulate the errors from running action1, action2, action3, action4, and action5 using the given combine.

Accumulate the errors from running action1, action2, action3, action4, action5, and action6.

Accumulate the errors from running action1, action2, action3, action4, action5, and action6 using the given combine.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, and action7.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, and action7 using the given combine.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, action7, and action8.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, action7, and action8 using the given combine.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, action7, action8, and action9.

Accumulate the errors from running action1, action2, action3, action4, action5, action6, action7, action8, and action9 using the given combine.