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
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