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

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

Attributes

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

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

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

Supertypes
class Object
trait Matchable
class Any
object Scala3RunTime

Attributes

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

Supertypes
trait Serializable
trait Product
trait Mirror
class Object
trait Matchable
class Any
Show all
final class TupleXXL extends Product

Attributes

Companion
object
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object TupleXXL

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
TupleXXL.type
object Tuples

Attributes

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

Supertypes
class Object
trait Matchable
class Any

Experimental classlikes

Attributes

Experimental
true
Supertypes
class Object
trait Matchable
class Any
Self type

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.

Attributes