- Companion:
- class
- Source:
- Resource.scala
Type members
Classlikes
An ExitCase signaling that the action was aborted.
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.
- Source:
- Resource.scala
An ExitCase signaling completion in failure.
An ExitCase signaling completion in failure.
- Source:
- Resource.scala
An ExitCase that signals successful completion.
An ExitCase that signals successful completion.
Note that "successful" is from the type of view of the MonadCancel
type.
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. <-- TODO still true?
- Source:
- Resource.scala
Inherited types
The names of the product elements
The names of the product elements
- Inherited from:
- Mirror
- Source:
- Mirror.scala