ExitCase

An ExitCase signaling that the action was aborted.

As an example this can happen when we have a cancelable data type, like IO and the task yielded by bracket gets canceled when it's at its use phase.

Thus Bracket allows you to observe interruption conditions and act on them.

An ExitCase that signals successful completion.

Note that "successful" is from the type of view of the MonadError type that's implementing Bracket. When combining such a type with EitherT or OptionT for example, this exit condition might not signal a successful outcome for the user, but it does for the purposes of the bracket operation.

An ExitCase signaling completion in failure.

The names of the product elements

The name of the type

Converts from Scala's Either, which is often the result of MonadError's attempt operation, into an ExitCase.

Alias for Canceled.

Parametrized alias for the Completed data constructor.

Alias for the Error data constructor.