scala3-compiler-bootstrapped/org.scalajs.ir/Types/Type

Type

org.scalajs.ir.Types.Type

sealed abstract class Type

Type of a term (expression or statement) in the IR.

There is a many-to-one relationship from TypeRefs to Types, because java.lang.Object and JS types all collapse to AnyType.

In fact, there are two Types that do not have any real equivalent in type refs: StringType and UndefType, as they refer to the non-null variants of java.lang.String and java.lang.Void, respectively.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object AnyType

class ArrayType

class ClassType

class PrimType

class PrimTypeWithRef

object BooleanType

object ByteType

object CharType

object DoubleType

object FloatType

object IntType

object LongType

object NoType

object NothingType

object NullType

object ShortType

object StringType

object UndefType

class RecordType
Show all

Type

Attributes

Members list

Value members

Concrete methods