O object

TypeOps

extends Object with Serializable

Supertypes

Object, Serializable

Members

def 

<:<

( self: Type ) ( that: Type ) ( implicit  ctx: Context ) : Boolean

Is this type a subtype of that type?

Is this type a subtype of that type?

def 

=:=

( self: Type ) ( that: Type ) ( implicit  ctx: Context ) : Boolean

Is self type the same as that type? This is the case iff self <:< that and that <:< self.

Is self type the same as that type? This is the case iff self <:< that and that <:< self.

def 

classSymbol

( self: Type ) ( implicit  ctx: Context ) : Option[Symbol]

def 

dealias

( self: Type ) ( implicit  ctx: Context ) : Type

Follow aliases and dereferences LazyRefs, annotated types and instantiated TypeVars until type is no longer alias type, annotated type, LazyRef, or inst...

Follow aliases and dereferences LazyRefs, annotated types and instantiated TypeVars until type is no longer alias type, annotated type, LazyRef, or instantiated type variable.

def 

derivesFrom

( self: Type ) ( cls: Symbol ) ( implicit  ctx: Context ) : Boolean

Is this type an instance of a non-bottom subclass of the given class cls?

Is this type an instance of a non-bottom subclass of the given class cls?

def 

isContextFunctionType

( self: Type ) ( implicit  ctx: Context ) : Boolean

Is this type an context function type?

Is this type an context function type?

def 

isDependentFunctionType

( self: Type ) ( implicit  ctx: Context ) : Boolean

Is this type a dependent function type?

Is this type a dependent function type?

def 

isErasedFunctionType

( self: Type ) ( implicit  ctx: Context ) : Boolean

Is this type an erased function type?

Is this type an erased function type?

def 

isFunctionType

( self: Type ) ( implicit  ctx: Context ) : Boolean

Is this type a function type?

Is this type a function type?

def 

isSingleton

( self: Type ) ( implicit  ctx: Context ) : Boolean

def 

memberType

( self: Type ) ( member: Symbol ) ( implicit  ctx: Context ) : Type

def 

seal

( self: Type ) ( implicit  ctx: Context ) : Type[Nothing <: AnyKind]

Convert Type to an quoted.Type[_]

Convert Type to an quoted.Type[_]

def 

simplified

( self: Type ) ( implicit  ctx: Context ) : Type

A simplified version of this type which is equivalent wrt =:= to this type. Reduces typerefs, applied match types, and and or types.

A simplified version of this type which is equivalent wrt =:= to this type. Reduces typerefs, applied match types, and and or types.

def 

termSymbol

( self: Type ) ( implicit  ctx: Context ) : Symbol

def 

typeSymbol

( self: Type ) ( implicit  ctx: Context ) : Symbol

def 

widen

( self: Type ) ( implicit  ctx: Context ) : Type

Widen from singleton type to its underlying non-singleton base type by applying one or more underlying dereferences, Also go from => T to T. Identity for...

Widen from singleton type to its underlying non-singleton base type by applying one or more underlying dereferences, Also go from => T to T. Identity for all other types. Example:

class Outer { class C ; val x: C } def o: Outer <o.x.type>.widen = o.C

def 

widenTermRefExpr

( self: Type ) ( implicit  ctx: Context ) : Type

Widen from TermRef to its underlying non-termref base type, while also skipping =>T types.

Widen from TermRef to its underlying non-termref base type, while also skipping =>T types.