scala.runtime
Members list
Type members
Classlikes
Attributes
- Graph
- Supertypes
A function with all parameters grouped in an array.
A function with all parameters grouped in an array.
Attributes
- Graph
- Supertypes
A type constructor for a case in a match type.
A type constructor for a case in a match type.
Attributes
- Graph
- Supertypes
Attributes
- Graph
- 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
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Self type
- TupledFunctions.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
- Graph
- Supertypes