Exit

izumi.functional.bio.Exit
See theExit companion trait
object Exit

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Exit.type

Members list

Type members

Classlikes

object CatsExit

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
CatsExit.type
final case class Error[+E](error: E, trace: Trace[E]) extends FailureUninterrupted[E]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Uninterrupted[E, Nothing]
trait Failure[E]
trait Exit[E, Nothing]
class Object
trait Matchable
class Any
Show all
object Error

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Error.type
sealed trait Failure[+E] extends Exit[E, Nothing]

Attributes

Supertypes
trait Exit[E, Nothing]
class Object
trait Matchable
class Any
Known subtypes
class Error[E]
class Termination
class Interruption
sealed trait FailureUninterrupted[+E] extends Failure[E], Uninterrupted[E, Nothing]

Attributes

Supertypes
trait Uninterrupted[E, Nothing]
trait Failure[E]
trait Exit[E, Nothing]
class Object
trait Matchable
class Any
Show all
Known subtypes
class Error[E]
class Termination
final case class Interruption(compoundException: Throwable, otherExceptions: List[Throwable], trace: Trace[Nothing]) extends Failure[Nothing]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Failure[Nothing]
trait Exit[Nothing, Nothing]
class Object
trait Matchable
class Any
Show all
object Interruption

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Success[+A](value: A) extends Uninterrupted[Nothing, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Uninterrupted[Nothing, A]
trait Exit[Nothing, A]
class Object
trait Matchable
class Any
Show all
final case class Termination(compoundException: Throwable, allExceptions: NEList[Throwable], trace: Trace[Nothing]) extends FailureUninterrupted[Nothing]

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait FailureUninterrupted[Nothing]
trait Uninterrupted[Nothing, Nothing]
trait Failure[Nothing]
trait Exit[Nothing, Nothing]
class Object
trait Matchable
class Any
Show all
object Termination

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object Trace

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Trace.type
trait Trace[+E]

Tracing information about the error E

Tracing information about the error E

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ZIOTrace[E]
sealed trait Uninterrupted[+E, +A] extends Exit[E, A]

Attributes

Supertypes
trait Exit[E, A]
class Object
trait Matchable
class Any
Known subtypes
class Error[E]
class Termination
class Success[A]
object ZIOExit

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ZIOExit.type

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[A](value: A): Success[A]

Implicits

Implicits

implicit lazy val ExitInstances: Monad2[Exit] & Bifunctor2[Exit]