zio
API
Generated with
zio/zio/Cause/Folder/Size

Size

zio.Cause$.Folder$.Size$
case object Size extends Folder[Any, Any, Int]

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
trait Folder[Any, Any, Int]
class Object
trait Matchable
class Any
Self type
Size.type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton

Value members

Concrete methods

def bothCase(context: Any, left: Int, right: Int): Int
def dieCase(context: Any, t: Throwable, stackTrace: StackTrace): Int
def empty(context: Any): Int
def failCase(context: Any, error: Any, stackTrace: StackTrace): Int
def interruptCase(context: Any, fiberId: FiberId, stackTrace: StackTrace): Int
def stacklessCase(context: Any, value: Int, stackless: Boolean): Int
def thenCase(context: Any, left: Int, right: Int): Int

Inherited methods

def dieCase(context: Any, t: Throwable, stackTrace: StackTrace, spans: List[LogSpan], annotations: Map[String, String]): Z

Attributes

Inherited from:
Folder
def failCase(context: Any, error: Any, stackTrace: StackTrace, spans: List[LogSpan], annotations: Map[String, String]): Z

Attributes

Inherited from:
Folder
def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Attributes

Inherited from:
Singleton
def interruptCase(context: Any, fiberId: FiberId, stackTrace: StackTrace, spans: List[LogSpan], annotations: Map[String, String]): Z

Attributes

Inherited from:
Folder
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with