scala3-compiler-bootstrapped/dotty.tools/dotty.tools.sjs.ir/Types/Type

Type

dotty.tools.sjs.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 AnyNotNullType

object AnyType

class ArrayType

class ClassType

class ClosureType

class PrimType

class PrimTypeWithRef

object BooleanType

object ByteType

object CharType

object DoubleType

object FloatType

object IntType

object LongType

object NothingType

object NullType

object ShortType

object VoidType

object StringType

object UndefType

class RecordType
Show all

Members list

Value members

Abstract methods

A type that accepts the same values as this type except null, unless this type is VoidType.

If this is VoidType, returns this type.

For all other types tpe, tpe.toNonNullable.isNullable is false.

Attributes

Concrete methods

Is null an admissible value of this type?

Attributes

In this article

Generated with