object Types
- Alphabetic
- By Inheritance
- Types
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
final
case class
ArrayType(arrayTypeRef: ArrayTypeRef) extends Type with Product with Serializable
Array type.
-
final
case class
ArrayTypeRef(baseClassName: String, dimensions: Int) extends TypeRef with Product with Serializable
Array type.
-
final
case class
ClassRef(className: String) extends TypeRef with Product with Serializable
Class (or interface) type.
-
final
case class
ClassType(className: String) extends Type with Product with Serializable
Class (or interface) type.
-
final
case class
RecordType(fields: List[Field]) extends Type with Product with Serializable
Record type.
Record type. Used by the optimizer to inline classes as records with multiple fields. They are desugared as several local variables by JSDesugaring. Record types cannot cross method boundaries, so they cannot appear as the type of fields or parameters, nor as result types of methods. The compiler itself never generates record types.
-
sealed abstract
class
Type extends AnyRef
Type of a term (expression or statement) in the IR.
Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to
Type
s, becausejava.lang.Object
and JS types all collapse to AnyType.In fact, there are two
Type
s that do not have any real equivalent in type refs: StringType and UndefType, as they refer to the non-null variants ofjava.lang.String
andjava.lang.Void
, respectively. -
sealed abstract
class
TypeRef extends AnyRef
Type reference (allowed for classOf[], is/asInstanceOf[]).
Type reference (allowed for classOf[], is/asInstanceOf[]).
A
TypeRef
has exactly the same level of precision as a JVM type. There is a one-to-one relationship between aTypeRef
and an instance ofjava.lang.Class
at run-time. This means that:- All primitive types have their
TypeRef
(includingscala.Byte
andscala.Short
), and they are different from their boxed versions. - JS types are not erased to
any
- Array types are like on the JVM
A
TypeRef
therefore uniquely identifies aclassOf[T]
. It is also the type refs that are used in method signatures, and which therefore dictate JVM/IR overloading. - All primitive types have their
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isSubtype(lhs: Type, rhs: Type)(isSubclass: (String, String) ⇒ Boolean): Boolean
Tests whether a type
lhs
is a subtype ofrhs
(or equal).Tests whether a type
lhs
is a subtype ofrhs
(or equal). NoType is never a subtype or supertype of anything (including itself). All other types are subtypes of themselves.- isSubclass
A function testing whether a class/interface is a subclass of another class/interface.
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
zeroOf(tpe: Type)(implicit pos: Position): Literal
Generates a literal zero of the given type.
-
object
AnyType extends Type with Product with Serializable
Any type (the top type of this type system).
Any type (the top type of this type system). A variable of this type can contain any value, including
undefined
andnull
and any JS value. This type supports a very limited set of Scala operations, the ones common to all values. Basically only reference equality tests and instance tests. It also supports all JavaScript operations, since all Scala objects are also genuine JavaScript objects. The type java.lang.Object in the back-end maps to AnyType because it can hold JS values (not only instances of Scala.js classes). - object ArrayTypeRef extends Serializable
-
object
BooleanType extends Type with Product with Serializable
Boolean type.
Boolean type. It does not accept
null
norundefined
. -
object
ByteType extends Type with Product with Serializable
8-bit signed integer type.
8-bit signed integer type. It does not accept
null
norundefined
. -
object
CharType extends Type with Product with Serializable
Char
type, a 16-bit UTF-16 code unit.Char
type, a 16-bit UTF-16 code unit. It does not acceptnull
norundefined
. -
object
DoubleType extends Type with Product with Serializable
Double type (64-bit).
Double type (64-bit). It does not accept
null
norundefined
. -
object
FloatType extends Type with Product with Serializable
Float type (32-bit).
Float type (32-bit). It does not accept
null
norundefined
. -
object
IntType extends Type with Product with Serializable
32-bit signed integer type.
32-bit signed integer type. It does not accept
null
norundefined
. -
object
LongType extends Type with Product with Serializable
64-bit signed integer type.
64-bit signed integer type. It does not accept
null
norundefined
. -
object
NoType extends Type with Product with Serializable
No type.
-
object
NothingType extends Type with Product with Serializable
Nothing type (the bottom type of this type system).
Nothing type (the bottom type of this type system). Expressions from which one can never come back are typed as
Nothing
. For example,throw
andreturn
. -
object
NullType extends Type with Product with Serializable
The type of
null
.The type of
null
. It does not acceptundefined
. The null type is a subtype of all class types and array types. - object RecordType extends Serializable
-
object
ShortType extends Type with Product with Serializable
16-bit signed integer type.
16-bit signed integer type. It does not accept
null
norundefined
. -
object
StringType extends Type with Product with Serializable
String type.
String type. It does not accept
null
norundefined
. -
object
UndefType extends Type with Product with Serializable
The type of
undefined
.