Type

abstract

class Type extends TypeMappable

trait TypeMappable

class Object

trait Matchable

class Any

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class BoundedType

class GroundType

class AndType

class ClassInfo

class CustomTransientGroundType

class MatchTypeCase

object NoType

class OrType

class NamedTypeBounds

object NoPrefix

class PackageRef

trait TermType

trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

trait MethodicType

class ExprType

trait ValueType

class AnnotatedType

class AppliedType

class MatchType

trait PathType

class NamedType

class TermRef

class TypeRef

class ThisType

class RefinedType

trait SingletonType

class ConstantType

class TypeProxy

class RefinedOrRecType

class RecType

class WildcardTypeBounds

Type members

Types

Value members

Concrete methods

The type representing

T[U1, ..., Un]

where

Value Params

args: = U1,...,Un
this: = T

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

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

The member with the given name.

@tailrec

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.

Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.

Widen from ExprType type to its result type.

For all other types, return this.