Type

Type Members

sealed abstract class AggregateKind extends ValueKind

Aggregate value types.
final case class Array(ty: Type, nullable: Boolean = true) extends RefKind with Product with Serializable
final case class ArrayValue(ty: Type, n: Int) extends AggregateKind with Product with Serializable
sealed abstract class F extends PrimitiveKind
final case class Function(args: Seq[Type], ret: Type) extends SpecialKind with Product with Serializable
sealed abstract class I extends PrimitiveKind
sealed abstract class PrimitiveKind extends ValueKind

Primitive value types.
final case class Ref(name: Global, exact: Boolean = false, nullable: Boolean = true) extends RefKind with Product with Serializable
sealed abstract class RefKind extends Type

Reference types.
sealed abstract class SpecialKind extends Type

Second-class types.
final case class StructValue(tys: Seq[Type]) extends AggregateKind with Product with Serializable
sealed abstract class ValueKind extends Type

Value types are either primitive or aggregate.
final case class Var(ty: Type) extends SpecialKind with Product with Serializable

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
object Bool extends PrimitiveKind with Product with Serializable
object Byte extends I with Product with Serializable
object Char extends I with Product with Serializable
object Double extends F with Product with Serializable
object F
object Float extends F with Product with Serializable
object I
object Int extends I with Product with Serializable
object Long extends I with Product with Serializable
object Nothing extends SpecialKind with Product with Serializable
object Null extends RefKind with Product with Serializable
object Ptr extends PrimitiveKind with Product with Serializable
object Short extends I with Product with Serializable
object Unit extends RefKind with Product with Serializable
object Vararg extends SpecialKind with Product with Serializable
object Virtual extends SpecialKind with Product with Serializable
val arrayToType: Map[Global, Type]
final def asInstanceOf[T0]: T0

Definition Classes
Any
val box: Map[Type, Type]
val boxClasses: collection.Seq[Global]
val boxesTo: collection.Seq[(Type, Type)]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@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] )
def fromArrayClass(name: Global): Option[Type]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def isArray(clsName: Global): Boolean
def isArray(clsTy: Ref): Boolean
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isPtrBox(ty: Type): Boolean
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toArrayClass(ty: Type): Global
def toString(): String

Definition Classes
AnyRef → Any
val typeToArray: Map[Type, Global]
def typeToName(tpe: Type): Global
val unbox: Map[Type, Type]
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
@throws( ... )

Related Docs: class Type | package nir

object Type

Type Members

sealed abstract class AggregateKind extends ValueKind

final case class Array(ty: Type, nullable: Boolean = true) extends RefKind with Product with Serializable

final case class ArrayValue(ty: Type, n: Int) extends AggregateKind with Product with Serializable

sealed abstract class F extends PrimitiveKind

final case class Function(args: Seq[Type], ret: Type) extends SpecialKind with Product with Serializable

sealed abstract class I extends PrimitiveKind

sealed abstract class PrimitiveKind extends ValueKind

final case class Ref(name: Global, exact: Boolean = false, nullable: Boolean = true) extends RefKind with Product with Serializable

sealed abstract class RefKind extends Type

sealed abstract class SpecialKind extends Type

final case class StructValue(tys: Seq[Type]) extends AggregateKind with Product with Serializable

sealed abstract class ValueKind extends Type

final case class Var(ty: Type) extends SpecialKind with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Bool extends PrimitiveKind with Product with Serializable

object Byte extends I with Product with Serializable

object Char extends I with Product with Serializable

object Double extends F with Product with Serializable

object F

object Float extends F with Product with Serializable

object I

object Int extends I with Product with Serializable

object Long extends I with Product with Serializable

object Nothing extends SpecialKind with Product with Serializable

object Null extends RefKind with Product with Serializable

object Ptr extends PrimitiveKind with Product with Serializable

object Short extends I with Product with Serializable

object Unit extends RefKind with Product with Serializable

object Vararg extends SpecialKind with Product with Serializable

object Virtual extends SpecialKind with Product with Serializable

val arrayToType: Map[Global, Type]

final def asInstanceOf[T0]: T0

val box: Map[Type, Type]

val boxClasses: collection.Seq[Global]

val boxesTo: collection.Seq[(Type, Type)]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def fromArrayClass(name: Global): Option[Type]

final def getClass(): Class[_]

def hashCode(): Int

def isArray(clsName: Global): Boolean

def isArray(clsTy: Ref): Boolean

final def isInstanceOf[T0]: Boolean

def isPtrBox(ty: Type): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toArrayClass(ty: Type): Global

def toString(): String

val typeToArray: Map[Type, Global]

def typeToName(tpe: Type): Global

val unbox: Map[Type, Type]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped