ValueType
A marker trait for types that can be types of values or that are higher-kinded
Attributes
- Graph
- Supertypes
- Known subtypes
- class AndTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypeclass OrTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass RecThisclass SuperTypeclass TermParamRefclass TypeParamRef
Members list
Type members
Inherited types
Attributes
- Inherited from:
- Type
Value members
Inherited methods
The type representing
The basetype of this type with given class symbol.
The basetype of this type with given class symbol.
Returns NoType
if this type does not have base
in any of its base
types.
Attributes
- Inherited from:
- Type
Is this type exactly Nothing (no vars, aliases, refinements etc allowed)?
Is this type exactly Nothing (no vars, aliases, refinements etc allowed)?
Attributes
- Inherited from:
- Type
Attributes
- Inherited from:
- Type
Is this type close enough to that type so that members with the two types would override each other?
Is this type close enough to that type so that members with the two types would override each other?
This means:
- Either both types are polytypes with the same number of type parameters and their result types match after renaming corresponding type parameters
- Or both types are method types with
=:=
-equivalent(*) parameter types and matching result types after renaming corresponding parameter types if the method types are dependent. - Or both types are
=:=
-equivalent - Or neither type takes term or type parameters.
(*) when matching with a Java method, we also regard Any and Object as equivalent parameter types. (TODO)
This function will always use unsafe-nulls semamtics to check the types.
This is because we are using a relaxed rule (ignoring Null
types)
to check overriding Java methods.
Attributes
- Inherited from:
- Type
This is the same as matches
except that it also matches => T
with T
and vice versa.
This is the same as matches
except that it also matches => T
with T
and vice versa.
Attributes
- Inherited from:
- Type
The member with the given name
.
Attributes
- Inherited from:
- Prefix
Attributes
- Inherited from:
- Prefix
Attributes
- Inherited from:
- Prefix
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.
None
for all other types.
Attributes
- Inherited from:
- Type
Attributes
- Inherited from:
- Prefix
Widen singleton types, ExprTypes, AnnotatedTypes and RefinedTypes.
Widen from ExprType type to its result type.
Widen from ExprType type to its result type.
For all other types, return this
.
Attributes
- Inherited from:
- Type