tasty-query/tastyquery/Types/MethodicType

MethodicType

sealed
trait MethodicType extends TermType
trait TermType
class Type
class Object
trait Matchable
class Any
class ExprType
class PolyType

Type members

Inherited types

type ThisTypeMappableType = Type
Inherited from
Type

Value members

Inherited methods

final
def &(that: Type)(using Context): Type
Inherited from
Type
final
def appliedTo(args: List[Type])(using Context): Type

The type representing

The type representing

T[U1, ..., Un]

where

Value Params
args

= U1,...,Un

this

= T

Inherited from
Type
final
def asSeenFrom(pre: Type, cls: Symbol)(using Context): Type
Inherited from
Type
final
def baseType(base: Symbol)(using Context): Type

The basetype of this type with given class symbol, NoType if base is not a class.

The basetype of this type with given class symbol, NoType if base is not a class.

Inherited from
Type
final
def dealias(using Context): Type
Inherited from
Type
final
def isExactlyNothing(using Context): Boolean

Is this type exactly Nothing (no vars, aliases, refinements etc allowed)?

Is this type exactly Nothing (no vars, aliases, refinements etc allowed)?

Inherited from
Type
final
def isOfClass(sym: Symbol)(using Context): Boolean
Inherited from
Type
final
def isRef(sym: Symbol)(using Context): Boolean
Inherited from
Type
final
def member(name: Name)(using Context): Symbol

The member with the given name.

The member with the given name.

Inherited from
Type
@tailrec
final
def normalizedPrefix(using Context): Type

The normalized prefix of this type is:

The normalized prefix of this type is:

  • For a type alias, the normalized prefix of its alias.
  • For all other named type and class infos: the prefix.
  • Inherited by all other type proxies.
  • NoType for all other types.
Inherited from
Type
final
def select(sym: Symbol)(using Context): Type
Inherited from
Type
final
def widen(using Context): Type

Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.

Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.

Inherited from
Type
final
def widenExpr: Type

Widen from ExprType type to its result type.

Widen from ExprType type to its result type.

For all other types, return this.

Inherited from
Type
final
def |(that: Type)(using Context): Type
Inherited from
Type