scala
Members list
Packages
Type members
Classlikes
Companion object containing a few universally known CanEqual
instances. CanEqual instances involving primitive types or the Null type are handled directly in the compiler (see Implicits.synthesizedCanEqual), so they are not included here.
Companion object containing a few universally known CanEqual
instances. CanEqual instances involving primitive types or the Null type are handled directly in the compiler (see Implicits.synthesizedCanEqual), so they are not included here.
Attributes
A class for implicit values that can serve as implicit conversions. The implicit resolution algorithm will act as if there existed the additional implicit definition:
A class for implicit values that can serve as implicit conversions. The implicit resolution algorithm will act as if there existed the additional implicit definition:
def $implicitConversion[T, U](x: T)(c: Conversion[T, U]): U = c(x)
However, the presence of this definition would slow down implicit search since its outermost type matches any pair of types. Therefore, implicit search contains a special case in Implicits#discardForView
which emulates the conversion in a more efficient way.
Note that this is a SAM class - function literals are automatically converted to the Conversion
values.
Also note that in bootstrapped dotty, Predef.<:<
should inherit from Conversion
. This would cut the number of special cases in discardForView
from two to one.
The Conversion
class can also be used to convert explicitly, using the convert
extension method.
Attributes
- Supertypes
A tuple of 0 elements.
An immutable array. An IArray[T]
has the same representation as an Array[T]
, but it cannot be updated. Unlike regular arrays, immutable arrays are covariant.
Marker trait for polymorphic function types.
Marker trait for polymorphic function types.
This is the only trait that can be refined with a polymorphic method, as long as that method is called apply
, e.g.: PolyFunction { def apply[T_1, ..., T_M](x_1: P_1, ..., x_N: P_N): R } This type will be erased to FunctionN.
Attributes
- Supertypes
A marker trait for objects that support structural selection via selectDynamic
and applyDynamic
A marker trait for objects that support structural selection via selectDynamic
and applyDynamic
Implementation classes should define, or make available as extension methods, the following two method signatures:
def selectDynamic(name: String): Any
def applyDynamic(name: String)(args: Any*): Any =
selectDynamic
is invoked for simple selections v.m
, whereas applyDynamic
is invoked for selections with arguments v.m(...)
. If there's only one kind of selection, the method supporting the other may be omitted. The applyDynamic
can also have a second parameter list of java.lang.Class
arguments, i.e. it may alternatively have the signature
def applyDynamic(name: String, paramClasses: Class[_]*)(args: Any*): Any
In this case the call will synthesize Class
arguments for the erasure of all formal parameter types of the method in the structural type.
Attributes
- Companion
- object
- Supertypes
-
class Any
- Known subtypes
-
trait Selectable
Attributes
- Companion
- trait
- Supertypes
- Self type
-
Selectable.type
Tuple of arbitrary arity
An annotation that designates a main function
An annotation that designates a main function
Attributes
- Supertypes
Experimental classlikes
A capability class that allows to throw exception E
. When used with the experimental.saferExceptions feature, a throw Ex()
expression will require a given of class CanThrow[Ex]
to be available.
A capability class that allows to throw exception E
. When used with the experimental.saferExceptions feature, a throw Ex()
expression will require a given of class CanThrow[Ex]
to be available.
Attributes
- Experimental
- true
- Supertypes
Attributes
- Experimental
- true
- Supertypes
- Self type
-
unsafeExceptions.type
Types
A tuple of 0 elements
A tuple of 0 elements