scala.runtime

Members list

Concise view

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

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

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any

A function with all parameters grouped in an array.

A function with all parameters grouped in an array.

Attributes

Graph
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

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

Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class TupleMirror(arity: Int) extends Product with 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

Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
final class TupleXXL extends Product

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Tuples

Attributes

Graph
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

Graph
Supertypes
class Object
trait Matchable
class Any

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