scala.runtime
Members list
Packages
Type members
Classlikes
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.
Attributes
- Source
- Arrays.scala
- Supertypes
- Self type
-
Arrays.type
Attributes
- Source
- EnumValue.scala
- Supertypes
A function with all parameters grouped in an array.
Helper methods used in thread-safe lazy vals.
Helper methods used in thread-safe lazy vals.
Attributes
- Source
- LazyVals.scala
- Supertypes
- Self type
-
LazyVals.type
A type constructor for a case in a match type.
Attributes
- Source
- Scala3RunTime.scala
- Supertypes
- Self type
-
Scala3RunTime.type
A concrete subclass of scala.deriving.Mirror.Product
, enabling reduction of bytecode size. as we do not need to synthesize an anonymous Mirror class at every callsite.
A concrete subclass of scala.deriving.Mirror.Product
, enabling reduction of bytecode size. as we do not need to synthesize an anonymous Mirror class at every callsite.
Attributes
- Source
- TupleMirror.scala
- Supertypes
Attributes
- Companion
- object
- Source
- TupleXXL.scala
- Supertypes
Attributes
- Companion
- class
- Source
- TupleXXL.scala
- Supertypes
- Self type
-
TupleXXL.type
Attributes
- Source
- Tuples.scala
- Supertypes
- Self type
-
Tuples.type
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]
.
Attributes
- Source
- TypeBox.scala
- Supertypes
Experimental classlikes
Marker trait for function types with erased parameters.
Marker trait for function types with erased parameters.
This trait will be refined with an apply
method with erased parameters: ErasedFunction { def apply([erased] x_1: P_1, ..., [erased] x_N: P_N): R } This type will be erased to FunctionL, where L = N - count(erased).
Attributes
- Experimental
- true
- Source
- ErasedFunction.scala
- Supertypes
Attributes
- Experimental
- true
- Source
- TupledFunctions.scala
- Supertypes
- Self type
-
TupledFunctions.type
Types
A helper type to allow syntax like
A helper type to allow syntax like
def f(): T throws Ex1 | Ex2
Used in desugar.throws.
Attributes
- Source
- $throws.scala