ExitCase

object ExitCase
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case object Succeeded extends ExitCase
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?
final case class Errored(e: Throwable) extends ExitCase
An ExitCase signaling completion in failure.
case object Canceled extends 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.

Inherited types

type MirroredElemLabels <: Tuple
The names of the product elements
Inhertied from
Mirror
type MirroredLabel <: String
The name of the type
Inhertied from
Mirror

Value members

Methods

def fromOutcome[F <: ([_$47] =>> Any), A](outcome: Outcome[F, Throwable, A]): ExitCase