TypeLambdaType
sealed
trait TypeBinders
trait LambdaType
trait TermType
trait Binders
class Type
trait TypeMappable
class Object
trait Matchable
class Any
class PolyType
class TypeLambda
Type members
Types
Inherited types
Value members
Concrete methods
Inherited methods
The type representing
The type representing
T[U1, ..., Un]
where
- Value Params
- args
=
U1,...,Un
- this
=
T
- Inherited from
- 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
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
@tailrec
final
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
Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.
Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.
- Inherited from
- 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