TypeKinds

Type Members

final case class ARRAY(elem: TypeKind) extends TypeKind with Product with Serializable
case class BOXED(kind: TypeKind) extends TypeKind with Product with Serializable

A boxed value.
final case class REFERENCE(cls: Symbol) extends TypeKind with Product with Serializable

A class type.
sealed abstract class TypeKind extends AnyRef

This class represents a type kind.
sealed abstract class ValueTypeKind extends TypeKind

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from TypeKinds to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (TypeKinds, B)

Implicit information
This member is added by an implicit conversion from TypeKinds to ArrowAssoc[TypeKinds] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def ArrayN(elem: TypeKind, dims: Int): ARRAY
object BOOL extends ValueTypeKind with Product with Serializable

A boolean value
object BYTE extends ValueTypeKind with Product with Serializable

A 1-byte signed integer
object CHAR extends ValueTypeKind with Product with Serializable

A 2-byte UNSIGNED integer
object ConcatClass extends TypeKind with Product with Serializable

Dummy TypeKind to represent the ConcatClass in a platform-independent way.
object DOUBLE extends ValueTypeKind with Product with Serializable

An 8-byte floating point number
object FLOAT extends ValueTypeKind with Product with Serializable

A 4-byte floating point number
object INT extends ValueTypeKind with Product with Serializable

A 4-byte signed integer
object LONG extends ValueTypeKind with Product with Serializable

An 8-byte signed integer
object SHORT extends ValueTypeKind with Product with Serializable

A 2-byte signed integer
object UNIT extends ValueTypeKind with Product with Serializable

The unit value
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def ensuring(cond: (TypeKinds) ⇒ Boolean, msg: ⇒ Any): TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to Ensuring[TypeKinds] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (TypeKinds) ⇒ Boolean): TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to Ensuring[TypeKinds] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to Ensuring[TypeKinds] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to Ensuring[TypeKinds] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from TypeKinds to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lub(a: TypeKind, b: TypeKind): TypeKind

The least upper bound of two typekinds.
The least upper bound of two typekinds. They have to be either REFERENCE or ARRAY kinds.
The lub is based on the lub of scala types.
var lubs0: Int
def msil_mgdptr(tk: TypeKind): TypeKind
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
lazy val primitiveTypeMap: Map[Symbol, TypeKind]

A map from scala primitive Types to ICode TypeKinds
val self: Any

Implicit information
This member is added by an implicit conversion from TypeKinds to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
val self: Any

Implicit information
This member is added by an implicit conversion from TypeKinds to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def toTypeKind(t: Type): TypeKind

Return the TypeKind of the given type
Return the TypeKind of the given type
Call to .normalize fixes #3003 (follow type aliases). Otherwise, arrayOrClassType below would return ObjectReference.
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()
def →[B](y: B): (TypeKinds, B)

Implicit information
This member is added by an implicit conversion from TypeKinds to ArrowAssoc[TypeKinds] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Deprecated Value Members

def x: TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to ArrowAssoc[TypeKinds] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: TypeKinds

Implicit information
This member is added by an implicit conversion from TypeKinds to Ensuring[TypeKinds] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

trait TypeKinds extends AnyRef

Type Members

final case class ARRAY(elem: TypeKind) extends TypeKind with Product with Serializable

case class BOXED(kind: TypeKind) extends TypeKind with Product with Serializable

final case class REFERENCE(cls: Symbol) extends TypeKind with Product with Serializable

sealed abstract class TypeKind extends AnyRef

sealed abstract class ValueTypeKind extends TypeKind

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (TypeKinds, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def ArrayN(elem: TypeKind, dims: Int): ARRAY

object BOOL extends ValueTypeKind with Product with Serializable

object BYTE extends ValueTypeKind with Product with Serializable

object CHAR extends ValueTypeKind with Product with Serializable

object ConcatClass extends TypeKind with Product with Serializable

object DOUBLE extends ValueTypeKind with Product with Serializable

object FLOAT extends ValueTypeKind with Product with Serializable

object INT extends ValueTypeKind with Product with Serializable

object LONG extends ValueTypeKind with Product with Serializable

object SHORT extends ValueTypeKind with Product with Serializable

object UNIT extends ValueTypeKind with Product with Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (TypeKinds) ⇒ Boolean, msg: ⇒ Any): TypeKinds

def ensuring(cond: (TypeKinds) ⇒ Boolean): TypeKinds

def ensuring(cond: Boolean, msg: ⇒ Any): TypeKinds

def ensuring(cond: Boolean): TypeKinds

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def lub(a: TypeKind, b: TypeKind): TypeKind

var lubs0: Int

def msil_mgdptr(tk: TypeKind): TypeKind

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val primitiveTypeMap: Map[Symbol, TypeKind]

val self: Any

val self: Any

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

def toString(): String

def toTypeKind(t: Type): TypeKind

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (TypeKinds, B)

Deprecated Value Members

def x: TypeKinds

def x: TypeKinds

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringfmt from TypeKinds to StringFormat

Inherited by implicit conversion any2stringadd from TypeKinds to StringAdd

Inherited by implicit conversion any2ArrowAssoc from TypeKinds to ArrowAssoc[TypeKinds]

Inherited by implicit conversion any2Ensuring from TypeKinds to Ensuring[TypeKinds]