cats.effect.kernel.Resource$.ExitCase$
See theExitCase companion trait
object ExitCase
Attributes
- Companion
- trait
- Source
- Resource.scala
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ExitCase.type
Members list
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.
Attributes
- Source
- Resource.scala
- Supertypes
- Self type
-
Canceled.type
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?
Attributes
- Source
- Resource.scala
- Supertypes
- Self type
-
Succeeded.type
Inherited types
The names of the product elements
The name of the type
Value members
Concrete methods
Attributes
- Source
- Resource.scala
In this article