scala.runtime

Type members

Classlikes

object Arrays

All but the first two operations should be short-circuited and implemented specially by the backend.

All but the first two operations should be short-circuited and implemented specially by the backend.

A function with all parameters grouped in an array.

A function with all parameters grouped in an array.

object LazyVals

Helper methods used in thread-safe lazy vals.

Helper methods used in thread-safe lazy vals.

final abstract class MatchCase[Pat, +Body]

A type constructor for a case in a match type.

A type constructor for a case in a match type.

final class TupleXXL extends Product
Companion:
object
object TupleXXL
Companion:
class
object Tuples
final abstract class TypeBox[-L <: U, +U]

A type for skolems that are generated during capture conversion. Capture conversion narrows the type of a tree whose type has wildcard arguments. A typical situation is a tree t of type C[_ >: L <: U] and an expected type C[X] where X is an instantiatable type variable. To be able to instantiate X, we cast the tree to type X[$n.CAP] where $n is a fresh skolem type with underlying type TypeBox[L, U].

A type for skolems that are generated during capture conversion. Capture conversion narrows the type of a tree whose type has wildcard arguments. A typical situation is a tree t of type C[_ >: L <: U] and an expected type C[X] where X is an instantiatable type variable. To be able to instantiate X, we cast the tree to type X[$n.CAP] where $n is a fresh skolem type with underlying type TypeBox[L, U].

Types

infix type $throws[R, +E <: Exception] = CanThrow[E] ?=> R

A helper type to allow syntax like

A helper type to allow syntax like

def f(): T throws Ex1 | Ex2

Used in desugar.throws.