scala.runtime

package scala.runtime

Members list

Packages

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.

Attributes

Source
Arrays.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Arrays.type
trait EnumValue extends Product, Serializable

Attributes

Source
EnumValue.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait FunctionXXL

A function with all parameters grouped in an array.

A function with all parameters grouped in an array.

Attributes

Source
FunctionXXL.scala
Supertypes
class Object
trait Matchable
class Any
object LazyVals

Helper methods used in thread-safe lazy vals.

Helper methods used in thread-safe lazy vals.

Attributes

Source
LazyVals.scala
Supertypes
class Object
trait Matchable
class Any
Self type
LazyVals.type
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.

Attributes

Source
MatchCase.scala
Supertypes
class Object
trait Matchable
class Any
object Scala3RunTime

Attributes

Source
Scala3RunTime.scala
Supertypes
class Object
trait Matchable
class Any
Self type
final class TupleMirror(arity: Int) extends Product, Serializable

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
trait Serializable
trait Product
trait Mirror
class Object
trait Matchable
class Any
Show all
final class TupleXXL extends Product

Attributes

Companion
object
Source
TupleXXL.scala
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object TupleXXL

Attributes

Companion
class
Source
TupleXXL.scala
Supertypes
class Object
trait Matchable
class Any
Self type
TupleXXL.type
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].

Attributes

Source
TypeBox.scala
Supertypes
class Object
trait Matchable
class Any

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
class Object
trait Matchable
class Any

Attributes

Experimental
true
Source
TupledFunctions.scala
Supertypes
class Object
trait Matchable
class Any
Self type

Types

infix type $throws[R, +E <: Exception] = ErasedFunction { def apply(x$1: 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.

Attributes

Source
$throws.scala