Types
Members list
Type members
Classlikes
Common supertype of TypeAlias
and MatchAlias
Common supertype of TypeAlias
and MatchAlias
Attributes
- Graph
- Supertypes
- class TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class MatchAliasclass TypeAlias
Attributes
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedAndType
An annotated type tpe @ annot
An annotated type tpe @ annot
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedAnnotatedType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- AnnotatedType.type
A type application C[T_1, ..., T_n]
A type application C[T_1, ..., T_n]
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedAppliedType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- AppliedType.type
A type map that approximates TypeBounds types depending on variance.
A type map that approximates TypeBounds types depending on variance.
if variance > 0 : approximate by upper bound variance < 0 : approximate by lower bound variance = 0 : propagate bounds to next outer level
Attributes
- Graph
- Supertypes
- Known subtypes
- class SubstParamsMapclass SubstApproxMapclass AsSeenFromMapclass AvoidWildcardsMapclass AvoidMapclass LevelAvoidMap
- Self type
Approximate wildcards by their bounds
Approximate wildcards by their bounds
Attributes
- Graph
- Supertypes
- Known subtypes
- class AvoidMapclass LevelAvoidMap
A supertrait for some typemaps that are bijections. Used for capture checking. BiTypeMaps should map capture references to capture references.
A supertrait for some typemaps that are bijections. Used for capture checking. BiTypeMaps should map capture references to capture references.
Attributes
- Graph
- Supertypes
- Known subtypes
- class SubstBindingMapclass SubstSymMap
- Self type
A trait for types that bind other types that refer to them. Instances are: LambdaType, RecType.
A trait for types that bind other types that refer to them. Instances are: LambdaType, RecType.
Attributes
- Graph
- Supertypes
- Known subtypes
- trait LambdaTypeclass HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambdaclass RecType
Attributes
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Graph
- Supertypes
- class AndTypetrait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class AnnotatedTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class AppliedTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class ClassInfotrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class TempClassInfo
Attributes
- Graph
- Supertypes
- class ConstantTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class ExprTypetrait Serializabletrait Producttrait Equalstrait MethodicTypetrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Instances of this class are cached and are not proxies.
Instances of this class are cached and are not proxies.
Attributes
- Graph
- Supertypes
- Known subtypes
- class ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass ClassInfoclass CachedClassInfoclass TempClassInfoclass JavaArrayTypeclass CachedJavaArrayTypeobject NoPrefix.typeobject NoType.typeclass WildcardTypeclass CachedWildcardTypeobject WildcardType.typeclass IgnoredProtoclass CachedIgnoredProtoclass ViewProtoclass CachedViewProto
Attributes
- Graph
- Supertypes
- class JavaArrayTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class MatchTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class MethodTypetrait Serializabletrait Producttrait Equalstrait NarrowCachedtrait TermLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class OrTypetrait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Instances of this class are cached and are proxies.
Instances of this class are cached and are proxies.
Attributes
- Graph
- Supertypes
- Known subtypes
- class AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass ConstantTypeclass CachedConstantTypeclass ExprTypeclass CachedExprTypeclass HKLambdaclass HKTypeLambdaclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass ThisTypeclass CachedThisTypeclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBoundsclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionProto
Attributes
- Graph
- Supertypes
- class RefinedTypetrait Serializabletrait Producttrait Equalsclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class SuperTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class TermReftrait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ImplicitRefclass NamedTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class ThisTypetrait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A marker trait for cached types
A marker trait for cached types
Attributes
- Graph
- Supertypes
- Known subtypes
- class CachedGroundTypeclass ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass ClassInfoclass CachedClassInfoclass TempClassInfoclass JavaArrayTypeclass CachedJavaArrayTypeobject NoPrefix.typeobject NoType.typeclass WildcardTypeclass CachedWildcardTypeobject WildcardType.typeclass IgnoredProtoclass CachedIgnoredProtoclass ViewProtoclass CachedViewProtoclass CachedProxyTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass ConstantTypeclass CachedConstantTypeclass ExprTypeclass CachedExprTypeclass HKLambdaclass HKTypeLambdaclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass ThisTypeclass CachedThisTypeclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBoundsclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionProto
Attributes
- Graph
- Supertypes
- class TypeReftrait Serializabletrait Producttrait Equalsclass NamedTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class WildcardTypetrait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A trait for references in CaptureSets. These can be NamedTypes, ThisTypes or ParamRefs
A trait for references in CaptureSets. These can be NamedTypes, ThisTypes or ParamRefs
Attributes
- Graph
- Supertypes
- trait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Roughly: the info of a class during a period.
Roughly: the info of a class during a period.
Attributes
- cls
The class symbol.
- declaredParents
The parent types of this class. These are all normalized to be TypeRefs by moving any refinements to be member definitions of the class itself. Unlike
parents
, the types are not seen as seen fromprefix
.- decls
The symbols defined directly in this class.
- prefix
The prefix on which parents, decls, and selfType need to be rebased.
- selfInfo
The type of
this
in this class, if explicitly given, NoType otherwise. If class is compiled from source, can also be a reference to the self symbol containing the type.- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedClassInfoclass TempClassInfo
A constant type with single value
.
A constant type with single value
.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedConstantType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- ConstantType.type
Attributes
- Graph
- Supertypes
- Self type
- ContextualMethodType.type
Attributes
- Graph
- Supertypes
A type map that maps also parents and self type of a ClassInfo
A type map that maps also parents and self type of a ClassInfo
Attributes
- Graph
- Supertypes
- Known subtypes
- class Subst1Mapclass Subst2Mapclass SubstBindingMapclass SubstMapclass SubstParamMapclass SubstParamsMapclass SubstRecThisMapclass SubstSymMapclass SubstThisMap
Attributes
- Graph
- Supertypes
- Self type
Attributes
- Graph
- Supertypes
- Self type
Attributes
- Graph
- Supertypes
- Self type
- ErasedMethodType.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- class FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailure
Attributes
- Graph
- Supertypes
A by-name parameter type of the form => T
, or the type of a method with no parameter list.
A by-name parameter type of the form => T
, or the type of a method with no parameter list.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait MethodicTypetrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedExprType
A common superclass of ErrorType
and TryDynamicCallSite
. Instances of this
class are at the same time subtypes and supertypes of every other type.
A common superclass of ErrorType
and TryDynamicCallSite
. Instances of this
class are at the same time subtypes and supertypes of every other type.
Attributes
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.type
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- trait LambdaTypetrait TermTypetrait BindingTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class HKTypeLambda
A type lambda of the form [X_0 B_0, ..., X_n B_n] => T
A type lambda of the form [X_0 B_0, ..., X_n B_n] => T
Attributes
- paramInfosExp
A function that, given the polytype itself, returns the parameter bounds
B_1
, ...,B_n
- paramNames
The names
X_0
, ...,X_n
- resultTypeExp
A function that, given the polytype itself, returns the result type
T
.- variances
The variances of the type parameters, if the type lambda carries variances, i.e. it is a bound of an abstract type or the rhs of a match alias or opaque alias. The parameter is Nil for all other lambdas. Variances are stored in the
typeParams
list of the lambda.- Companion:
- object
- Graph
- Supertypes
- trait TypeLambdaclass HKLambdatrait LambdaTypetrait TermTypetrait BindingTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- HKTypeLambda.type
Attributes
- Graph
- Supertypes
- Self type
- IdentityTypeMap.type
Attributes
- Graph
- Supertypes
- Self type
- ImplicitMethodType.type
A reference to an implicit definition. This can be either a TermRef or a Implicits.RenamedImplicitRef.
A reference to an implicit definition. This can be either a TermRef or a Implicits.RenamedImplicitRef.
Attributes
- Graph
- Supertypes
- Known subtypes
The type of an import clause tree
The type of an import clause tree
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
The type of an erased array
The type of an erased array
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedJavaArrayType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- JavaArrayType.type
The lambda type square:
The lambda type square:
LambdaType | TermLambda | TypeLambda -------------+-------------------+------------------ HKLambda | HKTermLambda | HKTypeLambda MethodOrPoly | MethodType | PolyType
Attributes
- Graph
- Supertypes
- Known subtypes
- class HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambda
- Self type
Attributes
- Graph
- Supertypes
- Known subtypes
- class TermLambdaCompanion[LT]class MethodTypeCompanionobject ContextualMethodType.typeobject ErasedContextualMethodType.typeobject ErasedImplicitMethodType.typeobject ErasedMethodType.typeobject ImplicitMethodType.typeobject MethodType.typeclass TypeLambdaCompanion[LT]object HKTypeLambda.typeobject PolyType.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedProxyTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
= T where T
is a MatchType
= T where T
is a MatchType
Match aliases are treated differently from type aliases. Their sides are mutually subtypes of each other but one side is not generally substitutable for the other. If we assumed full substitutivity, we would have to reject all recursive match aliases (or else take the jump and allow full recursive types).
Attributes
- Companion:
- object
- Graph
- Supertypes
- class AliasingBoundsclass TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- MatchAlias.type
scrutinee match { case_1 ... case_n }
scrutinee match { case_1 ... case_n }
where
case_i = [X1, ..., Xn] patternType => resultType
and X_1,...X_n
are the type variables bound in patternType
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedMatchType
The superclass of MethodType and PolyType.
The superclass of MethodType and PolyType.
Attributes
- Graph
- Supertypes
- trait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait NarrowCachedtrait TermLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedMethodType
- Self type
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- MethodType.type
Attributes
- Graph
- Supertypes
- Known subtypes
- object ContextualMethodType.typeobject ErasedContextualMethodType.typeobject ErasedImplicitMethodType.typeobject ErasedMethodType.typeobject ImplicitMethodType.typeobject MethodType.type
- Self type
Attributes
- Graph
- Supertypes
- Known subtypes
- class ExprTypeclass CachedExprTypeclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyType
A name filter selects or discards a member name of a type pre
.
To enable efficient caching, name filters have to satisfy the
following invariant: If keep
is a name filter, and pre
has
class C
as a base class, then
A name filter selects or discards a member name of a type pre
.
To enable efficient caching, name filters have to satisfy the
following invariant: If keep
is a name filter, and pre
has
class C
as a base class, then
keep(pre, name) implies keep(C.this, name)
Attributes
- Graph
- Supertypes
- Known subtypes
- object abstractTermNameFilter.typeobject abstractTypeNameFilter.typeobject fieldFilter.typeobject implicitFilter.typeobject nonClassTypeNameFilter.typeobject takeAllFilter.typeobject typeAliasNameFilter.typeobject typeNameFilter.type
Attributes
- Graph
- Supertypes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- Self type
Implementations of this trait cache the results of narrow
.
Implementations of this trait cache the results of narrow
.
Attributes
- Graph
- Supertypes
- Known subtypes
- class MethodTypeclass CachedMethodType
Missing prefix
Missing prefix
Attributes
- Graph
- Supertypes
- trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- NoPrefix.type
Sentinel for "missing type"
Sentinel for "missing type"
Attributes
- Graph
- Supertypes
- trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- NoType.type
An extractor object to pattern match against a nullable union. e.g.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedOrType
Attributes
- Graph
- Supertypes
- class BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class TermParamRefclass TypeParamRef
The type of a polymorphic method. It has the same form as HKTypeLambda, except it applies to terms and parameters do not have variances.
The type of a polymorphic method. It has the same form as HKTypeLambda, except it applies to terms and parameters do not have variances.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait TypeLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
Attributes
- Graph
- Supertypes
- class ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A trait for proto-types, used as expected types in typer
A trait for proto-types, used as expected types in typer
Attributes
- Graph
- Supertypes
- Known subtypes
- trait ApplyingProtoclass FunProtoclass FunProtoTypedclass ViewProtoclass CachedViewPrototrait FunOrPolyProtoclass PolyPrototrait MatchAlwaysobject AnyFunctionProto.typeobject AnyTypeConstructorProto.typeobject AssignProto.typeclass IgnoredProtoclass CachedIgnoredProtoclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionProto
A skolem type used to wrap the type of the qualifier of a selection.
A skolem type used to wrap the type of the qualifier of a selection.
When typing a selection e.f
, if e
is unstable then we unconditionally
skolemize it. We use a subclass of SkolemType
for this so that
TypeOps#asSeenFrom may treat it specially for optimization purposes,
see its implementation for more details.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class SkolemTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- QualSkolemType.type
A range of possible types between lower bound lo
and upper bound hi
.
Only used internally in ApproximatingTypeMap
.
A range of possible types between lower bound lo
and upper bound hi
.
Only used internally in ApproximatingTypeMap
.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
a self-reference to an enclosing recursive type. The only creation method is
binder.recThis
, returning RecThis(binder)
.
a self-reference to an enclosing recursive type. The only creation method is
binder.recThis
, returning RecThis(binder)
.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait SingletonTypeclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A recursive type. Instances should be constructed via the companion object.
A recursive type. Instances should be constructed via the companion object.
Attributes
- parentExp
A function that, given a recursive type R, produces a type that can refer to R via a
RecThis(R)
node. This is used to "tie the knot". For example, in class C { type T1; type T2 } type C2 = C { type T1; type T2 = T1 } The type ofC2
is a recursive type{(x) => C{T1; T2 = x.T1}}
, written as RecType( RefinedType( RefinedType( TypeRef(...,class C), T1, TypeBounds(...)), T2, TypeBounds( TypeRef(RecThis(...),T1), TypeRef(RecThis(...),T1)))) WhereRecThis(...)
points back to the enclosingRecType
.- Companion:
- object
- Graph
- Supertypes
- trait BindingTypeclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
A refined type parent { refinement }
A refined type parent { refinement }
Attributes
- parent
The type being refined
- refinedInfo
The info of the refinement declaration
- refinedName
The name of the refinement declaration
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedRefinedType
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- RefinedType.type
An extractor for single abstract method types. A type is a SAM type if it is a reference to a class or trait, which
An extractor for single abstract method types. A type is a SAM type if it is a reference to a class or trait, which
- has a single abstract method with a method type (ExprType and PolyType not allowed!) whose result type is not an implicit function type and which is not marked inline.
- can be instantiated without arguments or with just () as argument.
The pattern SAMType(sam)
matches a SAM type, where sam
is the
type of the single abstract method.
Attributes
- Graph
- Supertypes
- Self type
- SAMType.type
A marker trait for types that are guaranteed to contain only a single non-null value (they might contain null in addition).
A marker trait for types that are guaranteed to contain only a single non-null value (they might contain null in addition).
Attributes
- Graph
- Supertypes
- Known subtypes
- trait CaptureRefclass TermParamRefclass TermRefclass CachedTermRefclass ThisTypeclass CachedThisTypeclass ConstantTypeclass CachedConstantTypeclass RecThisclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperType
A skolem type reference with underlying type info
.
A skolem type reference with underlying type info
.
For Dotty, a skolem type is a singleton type of some unknown value of type info
.
Note that care is needed when creating them, since not all types need to be inhabited.
A skolem is equal to itself and no other type.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class QualSkolemType
Where a traversal should stop
Where a traversal should stop
Attributes
- Graph
- Supertypes
The type of a super reference cls.super where
thistpe
is cls.this and supertpe
is the type of the value referenced
by super
.
The type of a super reference cls.super where
thistpe
is cls.this and supertpe
is the type of the value referenced
by super
.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedSuperType
A class for temporary class infos where parents
are not yet known
A class for temporary class infos where parents
are not yet known
Attributes
- Graph
- Supertypes
- class CachedClassInfoclass ClassInfotrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait LambdaTypetrait TermTypetrait BindingTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class MethodTypeclass CachedMethodType
- Self type
Attributes
- Graph
- Supertypes
- Known subtypes
- class MethodTypeCompanionobject ContextualMethodType.typeobject ErasedContextualMethodType.typeobject ErasedImplicitMethodType.typeobject ErasedMethodType.typeobject ImplicitMethodType.typeobject MethodType.type
Only created in binder.paramRefs
. Use binder.paramRefs(paramNum)
to
refer to TermParamRef(binder, paramNum)
.
Only created in binder.paramRefs
. Use binder.paramRefs(paramNum)
to
refer to TermParamRef(binder, paramNum)
.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypeclass ParamRefclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
The singleton type for path prefix#myDesignator.
The singleton type for path prefix#myDesignator.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ImplicitRefclass NamedTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedTermRef
A marker trait for types that apply only to term symbols or that represent higher-kinded types.
A marker trait for types that apply only to term symbols or that represent higher-kinded types.
Attributes
- Graph
- Supertypes
- Known subtypes
- trait LambdaTypeclass HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambdatrait MethodicTypeclass ExprTypeclass CachedExprTypetrait ValueTypeOrPrototrait ValueTypeclass ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass JavaArrayTypeclass CachedJavaArrayTypeclass LazyRefclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypetrait SingletonTypetrait CaptureRefclass ThisTypeclass CachedThisTypeclass ConstantTypeclass CachedConstantTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionProtoclass WildcardTypeclass CachedWildcardTypeobject WildcardType.type
The type cls.this
The type cls.this
Attributes
- tref
A type ref which indicates the class
cls
. Note: we do not pass a class symbol directly, because symbols do not survive runs whereas typerefs do.- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedThisType
Attributes
- Graph
- Supertypes
- class FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- TryDynamicCallType.type
Main class representing types.
Main class representing types.
The principal subclasses and sub-objects are as follows:
Type -+- ProxyType --+- NamedType ----+--- TypeRef
| | \
| +- SingletonType-+-+- TermRef
| | |
| | +--- ThisType
| | +--- SuperType
| | +--- ConstantType
| | +--- TermParamRef
| | +----RecThis
| | +--- SkolemType
| +- TypeParamRef
| +- RefinedOrRecType -+-- RefinedType
| | +-- RecType
| +- AppliedType
| +- TypeBounds
| +- ExprType
| +- AnnotatedType
| +- TypeVar
| +- HKTypeLambda
| +- MatchType
|
+- GroundType -+- AndType
+- OrType
+- MethodOrPoly ---+-- PolyType
| +-- MethodType
+- ClassInfo
|
+- NoType
+- NoPrefix
+- ErrorType
+- WildcardType
Note: please keep in sync with copy in docs/docs/internals/type-system.md
.
Attributes
- Graph
- Supertypes
- Known subtypes
- trait BindingTypetrait LambdaTypeclass HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambdaclass RecTypeclass CachedGroundTypeclass ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass ClassInfoclass CachedClassInfoclass TempClassInfoclass JavaArrayTypeclass CachedJavaArrayTypeobject NoPrefix.typeobject NoType.typeclass WildcardTypeclass CachedWildcardTypeobject WildcardType.typeclass IgnoredProtoclass CachedIgnoredProtoclass ViewProtoclass CachedViewPrototrait CachedTypeclass CachedProxyTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass ConstantTypeclass CachedConstantTypeclass ExprTypeclass CachedExprTypeclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RefinedTypeclass CachedRefinedTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass ThisTypeclass CachedThisTypeclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBoundsclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionPrototrait NarrowCachedtrait ProtoTypetrait ApplyingProtoclass FunProtoclass FunProtoTypedtrait FunOrPolyProtoclass PolyPrototrait MatchAlwaysobject AnyFunctionProto.typeobject AnyTypeConstructorProto.typeobject AssignProto.typetrait TermTypetrait MethodicTypetrait ValueTypeOrPrototrait ValueTypeclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass LazyReftrait SingletonTypetrait CaptureRefclass TypeProxyclass UncachedProxyTypetrait TypeTypeclass UncachedGroundTypeclass LazyTypeclass ApplyProxyCompleterclass ModuleCompletertrait NoCompleterclass NoLoaderobject NoCompleter.typeclass StubInfotrait TypeParamsCompleterclass ClassUnpicklerclass TypeDefCompleterclass SymbolLoaderclass ClassfileLoaderclass SourcefileLoaderclass PackageLoaderclass MemberCompleterclass Completerclass LocalUnpicklerobject localMemberUnpickler.typeclass Completerclass ClassCompleterclass SuspendCompleterclass ImportTypeclass Rangeclass TempClassInfoTypeclass TempPolyType
Attributes
- Graph
- Supertypes
- Known subtypes
- class CoveringSetAccumulatorclass ExistsAccumulatorclass ForeachAccumulatorclass NamedPartsAccumulatorclass TypeSizeAccumulatorclass TypeTraverserclass isGroundAccumulator
= T
= T
Attributes
- Companion:
- object
- Graph
- Supertypes
- class AliasingBoundsclass TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Type bounds >: lo <: hi
Type bounds >: lo <: hi
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- TypeBounds.type
Attributes
- Graph
- Supertypes
- trait LambdaTypetrait TermTypetrait BindingTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class HKTypeLambdaclass PolyType
Attributes
- Graph
- Supertypes
- Known subtypes
- object HKTypeLambda.typeobject PolyType.type
Attributes
- Graph
- Supertypes
- Known subtypes
- trait IdempotentCaptRefMapclass SubstParamsMapclass SubstParamMapclass SubstParamsMapclass AsSeenFromMapclass AvoidMapclass LevelAvoidMaptrait IdentityCaptRefMapclass SimplifyMapclass SimplifyKeepUncheckedobject reported.typeclass Reducerclass StripTypeVarsMapclass ApproximatingTypeMapclass SubstApproxMapclass AvoidWildcardsMaptrait BiTypeMapclass SubstBindingMapclass SubstSymMapclass DeepTypeMapclass Subst1Mapclass Subst2Mapclass SubstMapclass SubstRecThisMapclass SubstThisMapobject IdentityTypeMap.typeclass CheckNonCyclicMap
- Self type
Only created in binder.paramRefs
. Use binder.paramRefs(paramNum)
to
refer to TypeParamRef(binder, paramNum)
.
Only created in binder.paramRefs
. Use binder.paramRefs(paramNum)
to
refer to TypeParamRef(binder, paramNum)
.
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass ParamRefclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
A marker trait for type proxies.
Each implementation is expected to redefine the underlying
method.
A marker trait for type proxies.
Each implementation is expected to redefine the underlying
method.
Attributes
- Graph
- Supertypes
- Known subtypes
- class CachedProxyTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass ConstantTypeclass CachedConstantTypeclass ExprTypeclass CachedExprTypeclass HKLambdaclass HKTypeLambdaclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass ThisTypeclass CachedThisTypeclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBoundsclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionPrototrait SingletonTypetrait CaptureRefclass UncachedProxyTypeclass LazyRef
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass NamedTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedTypeRef
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
A marker trait for types that apply only to type symbols
A marker trait for types that apply only to type symbols
Attributes
- Graph
- Supertypes
- Known subtypes
- class ClassInfoclass CachedClassInfoclass TempClassInfoclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBounds
In a TypeApply tree, a TypeVar is created for each argument type to be inferred. Every type variable is referred to by exactly one inferred type parameter of some TypeApply tree.
In a TypeApply tree, a TypeVar is created for each argument type to be inferred. Every type variable is referred to by exactly one inferred type parameter of some TypeApply tree.
A type variable is essentially a switch that models some part of a substitution.
It is first linked to origin
, a poly param that's in the current constraint set.
It can then be (once) instantiated to some other type. The instantiation is
recorded in the type variable itself, or else, if the current type state
is different from the variable's creation state (meaning unrolls are possible)
in the current typer state.
Attributes
- creatorState
the typer state in which the variable was created.
- initNestingLevel
the initial nesting level of the type variable. (c.f. nestingLevel)
- origin
the parameter that's tracked by the type variable.
- Companion:
- object
- Graph
- Supertypes
- trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
Instances of this class are uncached and are not proxies.
Instances of this class are uncached and are not proxies.
Attributes
- Graph
- Supertypes
- Known subtypes
- class LazyTypeclass ApplyProxyCompleterclass ModuleCompletertrait NoCompleterclass NoLoaderobject NoCompleter.typeclass StubInfotrait TypeParamsCompleterclass ClassUnpicklerclass TypeDefCompleterclass SymbolLoaderclass ClassfileLoaderclass SourcefileLoaderclass PackageLoaderclass MemberCompleterclass Completerclass LocalUnpicklerobject localMemberUnpickler.typeclass Completerclass ClassCompleterclass SuspendCompleterclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass ImportTypeclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypeclass Rangeclass TempClassInfoTypeclass TempPolyTypeobject AnyFunctionProto.typeobject AnyTypeConstructorProto.typeobject AssignProto.typeclass FunProtoclass FunProtoTypedclass PolyProto
Attributes
- Graph
- Supertypes
- class ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- UnspecifiedErrorType.type
A marker trait for types that can be types of values or that are higher-kinded
A marker trait for types that can be types of values or that are higher-kinded
Attributes
- Graph
- Supertypes
- Known subtypes
- class ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass JavaArrayTypeclass CachedJavaArrayTypeclass LazyRefclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypetrait SingletonTypetrait CaptureRefclass ThisTypeclass CachedThisTypeclass ConstantTypeclass CachedConstantTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass TypeVar
A marker trait for types that can be types of values or prototypes of value types
A marker trait for types that can be types of values or prototypes of value types
Attributes
- Graph
- Supertypes
- Known subtypes
- trait ValueTypeclass ErasedValueTypeclass CachedErasedValueTypeclass AndOrTypeclass AndTypeclass CachedAndTypeclass OrTypeclass CachedOrTypeclass AnnotatedTypeclass CachedAnnotatedTypeclass AppliedTypeclass CachedAppliedTypeclass BoundTypeclass ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass JavaArrayTypeclass CachedJavaArrayTypeclass LazyRefclass MatchTypeclass CachedMatchTypeclass NamedTypeclass TermRefclass CachedTermRefclass TypeRefclass CachedTypeRefclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass CachedRefinedTypetrait SingletonTypetrait CaptureRefclass ThisTypeclass CachedThisTypeclass ConstantTypeclass CachedConstantTypeclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeclass TypeVarclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoclass UnapplySelectionProto
Common base class of TypeMap and TypeAccumulator
Common base class of TypeMap and TypeAccumulator
Attributes
- Graph
- Supertypes
- Known subtypes
- class TypeAccumulator[T]class CoveringSetAccumulatorclass ExistsAccumulatorclass ForeachAccumulatorclass NamedPartsAccumulatorclass TypeSizeAccumulatorclass TypeTraverserclass isGroundAccumulatorclass TypeMaptrait IdempotentCaptRefMapclass SubstParamsMapclass SubstParamMapclass SubstParamsMapclass AsSeenFromMapclass AvoidMapclass LevelAvoidMaptrait IdentityCaptRefMapclass SimplifyMapclass SimplifyKeepUncheckedobject reported.typeclass Reducerclass StripTypeVarsMapclass ApproximatingTypeMapclass SubstApproxMapclass AvoidWildcardsMaptrait BiTypeMapclass SubstBindingMapclass SubstSymMapclass DeepTypeMapclass Subst1Mapclass Subst2Mapclass SubstMapclass SubstRecThisMapclass SubstThisMapobject IdentityTypeMap.typeclass CheckNonCyclicMap
Wildcard type, possibly with bounds
Wildcard type, possibly with bounds
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Known subtypes
- class CachedWildcardTypeobject WildcardType.type
Attributes
- Companion:
- class
- Graph
- Supertypes
- class WildcardTypetrait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass Any
- Self type
- WildcardType.type
A filter for names of deferred term definitions of a given type
A filter for names of deferred term definitions of a given type
Attributes
- Graph
- Supertypes
- Self type
A filter for names of abstract types of a given type
A filter for names of abstract types of a given type
Attributes
- Graph
- Supertypes
- Self type
Attributes
- Graph
- Supertypes
- Self type
- fieldFilter.type
Attributes
- Graph
- Supertypes
- Self type
- implicitFilter.type
Attributes
- Graph
- Supertypes
A filter for names of abstract types of a given type
A filter for names of abstract types of a given type
Attributes
- Graph
- Supertypes
- Self type
Attributes
- Graph
- Supertypes
- Self type
- takeAllFilter.type
A filter for names of type aliases of a given type
A filter for names of type aliases of a given type
Attributes
- Graph
- Supertypes
- Self type
- typeAliasNameFilter.type
Attributes
- Graph
- Supertypes
- Self type
- typeNameFilter.type