Types
Members list
Type members
Classlikes
Common supertype of TypeAlias
and MatchAlias
Common supertype of TypeAlias
and MatchAlias
Attributes
- Supertypes
-
class TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class MatchAliasclass TypeAlias
Attributes
- Supertypes
-
trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedAndType
An annotated type tpe @ annot
An annotated type tpe @ annot
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedAnnotatedType
Attributes
- Companion
- class
- Supertypes
- Self type
-
AnnotatedType.type
A type application C[T_1, ..., T_n]
A type application C[T_1, ..., T_n]
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedAppliedType
Attributes
- Companion
- class
- 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
- Supertypes
- Known subtypes
-
class SubstParamsMapclass SubstApproxMapclass AsSeenFromMapclass AvoidWildcardsMapclass AvoidMapclass LevelAvoidMapShow all
- Self type
Approximate wildcards by their bounds
Approximate wildcards by their bounds
Attributes
- Supertypes
-
class ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass AnyShow all
- 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
- 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
- Supertypes
- Known subtypes
-
trait LambdaTypeclass HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambdaclass RecTypeShow all
Attributes
- Supertypes
-
trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Attributes
- Supertypes
-
class AndTypetrait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class AnnotatedTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class AppliedTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class ClassInfotrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class TempClassInfo
Attributes
- Supertypes
-
class ConstantTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class ExprTypetrait Serializabletrait Producttrait Equalstrait MethodicTypetrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Instances of this class are cached and are not proxies.
Instances of this class are cached and are not proxies.
Attributes
- Supertypes
-
trait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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 CachedViewProtoShow all
Attributes
- Supertypes
-
class JavaArrayTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class MatchTypetrait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class MethodTypetrait Serializabletrait Producttrait Equalstrait NarrowCachedtrait TermLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class OrTypetrait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Instances of this class are cached and are proxies.
Instances of this class are cached and are proxies.
Attributes
- 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 CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionProtoShow all
Attributes
- Supertypes
-
class RefinedTypetrait Serializabletrait Producttrait Equalsclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class SuperTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class TermReftrait Serializabletrait CaptureReftrait SingletonTypetrait ImplicitRefclass NamedTypetrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class ThisTypetrait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
A marker trait for cached types
A marker trait for cached types
Attributes
- 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 CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionProtoShow all
Attributes
- Supertypes
-
class TypeReftrait Serializableclass NamedTypetrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class WildcardTypetrait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Roughly: the info of a class during a period.
Roughly: the info of a class during a period.
Value parameters
- 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.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedClassInfoclass TempClassInfo
A constant type with single value
.
A constant type with single value
.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedConstantType
Attributes
- Companion
- class
- Supertypes
- Self type
-
ConstantType.type
Attributes
- Supertypes
-
class MethodTypeCompanionclass TermLambdaCompanion[MethodType]class Objecttrait Matchableclass AnyShow all
- Self type
-
ContextualMethodType.type
Attributes
- 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
- Supertypes
- Known subtypes
-
class Subst1Mapclass Subst2Mapclass SubstBindingMapclass SubstMapclass SubstParamMapclass SubstParamsMapclass SubstRecThisMapclass SubstSymMapclass SubstThisMapShow all
Attributes
- Companion
- object
- Supertypes
-
class FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MacroErrorsFailureclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureShow all
Attributes
- Supertypes
-
class TypeAccumulator[Boolean]class VariantTraversalclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait MethodicTypetrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- Supertypes
-
trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MacroErrorsFailureclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeShow all
Attributes
- Supertypes
Attributes
- Supertypes
-
trait LambdaTypetrait TermTypetrait BindingTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
Value parameters
- 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.
Attributes
- Companion
- object
- Supertypes
-
trait TypeLambdaclass HKLambdatrait LambdaTypetrait TermTypetrait BindingTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
- Self type
-
HKTypeLambda.type
Attributes
- Supertypes
- Self type
-
IdentityTypeMap.type
Attributes
- Supertypes
-
class MethodTypeCompanionclass TermLambdaCompanion[MethodType]class Objecttrait Matchableclass AnyShow all
- 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
- Supertypes
- Known subtypes
The type of an import clause tree
The type of an import clause tree
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
The type of an erased array
The type of an erased array
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedJavaArrayType
Attributes
- Companion
- class
- Supertypes
- Self type
-
JavaArrayType.type
The lambda type square:
The lambda type square:
LambdaType | TermLambda | TypeLambda -------------+-------------------+------------------ HKLambda | HKTermLambda | HKTypeLambda MethodOrPoly | MethodType | PolyType
Attributes
- Supertypes
- Known subtypes
-
class HKLambdaclass HKTypeLambdaclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypetrait TermLambdatrait TypeLambdaShow all
- Self type
Attributes
- Supertypes
- Known subtypes
-
class TermLambdaCompanion[LT]class MethodTypeCompanionobject ContextualMethodType.typeobject ImplicitMethodType.typeobject MethodType.typeclass TypeLambdaCompanion[LT]object HKTypeLambda.typeobject PolyType.typeShow all
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedProxyTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
= 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
- Supertypes
-
class AliasingBoundsclass TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- 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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedMatchType
The superclass of MethodType and PolyType.
The superclass of MethodType and PolyType.
Attributes
- Supertypes
-
trait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait NarrowCachedtrait TermLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedMethodType
- Self type
Attributes
- Companion
- class
- Supertypes
-
class MethodTypeCompanionclass TermLambdaCompanion[MethodType]class Objecttrait Matchableclass AnyShow all
- Self type
-
MethodType.type
Attributes
- Supertypes
- Known subtypes
- Self type
Attributes
- Supertypes
- Known subtypes
-
class ExprTypeclass CachedExprTypeclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypeShow all
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
- Supertypes
- Known subtypes
-
object abstractTermNameFilter.typeobject abstractTypeNameFilter.typeobject fieldFilter.typeobject implicitFilter.typeobject nonClassTypeNameFilter.typeobject takeAllFilter.typeobject typeAliasNameFilter.typeobject typeNameFilter.typeShow all
Attributes
- Supertypes
Attributes
- Companion
- object
- Supertypes
-
trait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
- Self type
Implementations of this trait cache the results of narrow
.
Implementations of this trait cache the results of narrow
.
Attributes
- Supertypes
- Known subtypes
-
class MethodTypeclass CachedMethodType
Missing prefix
Missing prefix
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Self type
-
NoPrefix.type
Sentinel for "missing type"
Sentinel for "missing type"
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Self type
-
NoType.type
An extractor object to pattern match against a nullable union. e.g.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass AndOrTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedOrType
Attributes
- Supertypes
-
class BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- Supertypes
-
trait TypeLambdaclass MethodOrPolytrait MethodicTypetrait LambdaTypetrait TermTypetrait BindingTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
Attributes
- Supertypes
-
class ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
A trait for proto-types, used as expected types in typer
A trait for proto-types, used as expected types in typer
Attributes
- Supertypes
- Known subtypes
-
trait ApplyingProtoclass FunProtoclass FunProtoTypedclass ViewProtoclass CachedViewPrototrait FunOrPolyProtoclass PolyPrototrait MatchAlwaysobject AnyFunctionProto.typeobject AnyTypeConstructorProto.typeobject AssignProto.typeclass IgnoredProtoclass CachedIgnoredProtoclass SelectionProtoobject AnySelectionProto.typeclass CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionProtoShow all
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
- Supertypes
-
class SkolemTypetrait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- 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
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SingletonTypeclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
A recursive type. Instances should be constructed via the companion object.
A recursive type. Instances should be constructed via the companion object.
Value parameters
- 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
.
Attributes
- Companion
- object
- Supertypes
-
trait BindingTypeclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
A refined type parent { refinement }
A refined type parent { refinement }
Value parameters
- parent
-
The type being refined
- refinedInfo
-
The info of the refinement declaration
- refinedName
-
The name of the refinement declaration
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass RefinedOrRecTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedRefinedType
Attributes
- Companion
- class
- 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
- 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
- Supertypes
- Known subtypes
-
trait CaptureRefclass TermParamRefclass TermRefclass CachedTermRefclass ThisTypeclass CachedThisTypeclass ConstantTypeclass CachedConstantTypeclass RecThisclass SkolemTypeclass QualSkolemTypeclass SuperTypeclass CachedSuperTypeShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class QualSkolemType
Where a traversal should stop
Where a traversal should stop
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- Supertypes
-
class CachedClassInfoclass ClassInfotrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait LambdaTypetrait TermTypetrait BindingTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class MethodTypeclass CachedMethodType
- Self type
Attributes
- Supertypes
- Known subtypes
-
class MethodTypeCompanionobject ContextualMethodType.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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypeclass ParamRefclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
The singleton type for path prefix#myDesignator.
The singleton type for path prefix#myDesignator.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait CaptureReftrait SingletonTypetrait ImplicitRefclass NamedTypetrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- 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 MacroErrorsFailureclass 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 CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionProtoclass WildcardTypeclass CachedWildcardTypeobject WildcardType.typeShow all
The type cls.this
The type cls.this
Value parameters
- 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.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait CaptureReftrait SingletonTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedThisType
Attributes
- Supertypes
-
class FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- 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 CachedSelectionProtoobject SingletonTypeProto.typeclass 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 MacroErrorsFailureclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass LazyReftrait SingletonTypetrait CaptureRefclass TypeProxyclass UncachedProxyTypetrait TypeTypeclass UncachedGroundTypeclass TempClassInfoTypeclass TempPolyTypeclass LazyTypeclass MemberCompleterclass Completerclass LocalUnpicklerclass ClassUnpicklerobject localMemberUnpickler.typeclass ApplyProxyCompleterclass ModuleCompletertrait NoCompleterclass NoLoaderobject NoCompleter.typeclass StubInfotrait TypeParamsCompleterclass TypeDefCompleterclass SymbolLoaderclass ClassfileLoaderclass SourcefileLoaderclass PackageLoaderclass Completerclass ClassCompleterclass SuspendCompleterclass ImportTypeclass RangeShow all
Attributes
- Supertypes
- Known subtypes
-
class CoveringSetAccumulatorclass ExistsAccumulatorclass ForeachAccumulatorclass NamedPartsAccumulatorclass TypeSizeAccumulatorclass TypeTraverserclass isGroundAccumulatorShow all
= T
= T
Attributes
- Companion
- object
- Supertypes
-
class AliasingBoundsclass TypeBoundstrait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Type bounds >: lo <: hi
Type bounds >: lo <: hi
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Attributes
- Companion
- class
- Supertypes
- Self type
-
TypeBounds.type
Attributes
- Supertypes
-
trait LambdaTypetrait TermTypetrait BindingTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class HKTypeLambdaclass PolyType
Attributes
- Supertypes
- Known subtypes
-
object HKTypeLambda.typeobject PolyType.type
Attributes
- Supertypes
- Known subtypes
-
trait IdempotentCaptRefMapclass SubstParamsMapclass SubstParamMapclass SubstParamsMapclass AsSeenFromMapclass AvoidMapclass LevelAvoidMaptrait IdentityCaptRefMapclass SimplifyMapclass SimplifyKeepUncheckedclass Reducerclass StripTypeVarsMapclass ApproximatingTypeMapclass SubstApproxMapclass AvoidWildcardsMaptrait BiTypeMapclass SubstBindingMapclass SubstSymMapclass DeepTypeMapclass Subst1Mapclass Subst2Mapclass SubstMapclass SubstRecThisMapclass SubstThisMapobject IdentityTypeMap.typeclass HealTypeclass CheckNonCyclicMapShow all
- 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
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass ParamRefclass BoundTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
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
- 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 CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionPrototrait SingletonTypetrait CaptureRefclass UncachedProxyTypeclass LazyRefShow all
Attributes
- Companion
- object
- Supertypes
-
trait Serializableclass NamedTypetrait Producttrait Equalstrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedTypeRef
Attributes
- Supertypes
Attributes
- Supertypes
A marker trait for types that apply only to type symbols
A marker trait for types that apply only to type symbols
Attributes
- Supertypes
- Known subtypes
-
class ClassInfoclass CachedClassInfoclass TempClassInfoclass TypeBoundsclass AliasingBoundsclass MatchAliasclass TypeAliasclass RealTypeBoundsShow all
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.
Value parameters
- 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.
Attributes
- Companion
- object
- Supertypes
-
trait ValueTypetrait ValueTypeOrPrototrait TermTypeclass CachedProxyTypetrait CachedTypeclass TypeProxyclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
Instances of this class are uncached and are not proxies.
Instances of this class are uncached and are not proxies.
Attributes
- Supertypes
- Known subtypes
-
class TempClassInfoTypeclass TempPolyTypeclass LazyTypeclass MemberCompleterclass Completerclass LocalUnpicklerclass ClassUnpicklerobject localMemberUnpickler.typeclass ApplyProxyCompleterclass ModuleCompletertrait NoCompleterclass NoLoaderobject NoCompleter.typeclass StubInfotrait TypeParamsCompleterclass TypeDefCompleterclass SymbolLoaderclass ClassfileLoaderclass SourcefileLoaderclass PackageLoaderclass Completerclass ClassCompleterclass SuspendCompleterclass FlexTypeclass ErrorTypeclass PreviousErrorTypeobject UnspecifiedErrorType.typeclass SearchFailureTypeclass AmbiguousImplicitsclass DivergingImplicitclass FailedExtensionclass MacroErrorsFailureclass MismatchedImplicitclass NestedFailureclass NoMatchingImplicitsobject ImplicitSearchTooLarge.typeobject NoMatchingImplicits.typeclass TooUnspecificclass SynthesisFailureobject TryDynamicCallType.typeclass ImportTypeclass MethodOrPolyclass MethodTypeclass CachedMethodTypeclass PolyTypeclass Rangeobject AnyFunctionProto.typeobject AnyTypeConstructorProto.typeobject AssignProto.typeclass FunProtoclass FunProtoTypedclass PolyProtoShow all
Attributes
- Supertypes
-
class ErrorTypeclass FlexTypetrait ValueTypetrait ValueTypeOrPrototrait TermTypeclass UncachedGroundTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- 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 MacroErrorsFailureclass 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 TypeVarShow all
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
- 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 MacroErrorsFailureclass 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 CachedSelectionProtoobject SingletonTypeProto.typeclass UnapplySelectionProtoShow all
Common base class of TypeMap and TypeAccumulator
Common base class of TypeMap and TypeAccumulator
Attributes
- Supertypes
- Known subtypes
-
class TypeAccumulator[T]class CoveringSetAccumulatorclass ExistsAccumulatorclass ForeachAccumulatorclass NamedPartsAccumulatorclass TypeSizeAccumulatorclass TypeTraverserclass isGroundAccumulatorclass TypeMaptrait IdempotentCaptRefMapclass SubstParamsMapclass SubstParamMapclass SubstParamsMapclass AsSeenFromMapclass AvoidMapclass LevelAvoidMaptrait IdentityCaptRefMapclass SimplifyMapclass SimplifyKeepUncheckedclass Reducerclass StripTypeVarsMapclass ApproximatingTypeMapclass SubstApproxMapclass AvoidWildcardsMaptrait BiTypeMapclass SubstBindingMapclass SubstSymMapclass DeepTypeMapclass Subst1Mapclass Subst2Mapclass SubstMapclass SubstRecThisMapclass SubstThisMapobject IdentityTypeMap.typeclass HealTypeclass CheckNonCyclicMapShow all
Wildcard type, possibly with bounds
Wildcard type, possibly with bounds
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class CachedWildcardTypeobject WildcardType.type
Attributes
- Companion
- class
- Supertypes
-
class WildcardTypetrait Serializabletrait Producttrait Equalstrait TermTypeclass CachedGroundTypetrait CachedTypeclass Typetrait Showabletrait Hashableclass Objecttrait Matchableclass AnyShow all
- 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
- 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
- Supertypes
- Self type
Attributes
- Supertypes
- Self type
-
fieldFilter.type
Attributes
- Supertypes
- Self type
-
implicitFilter.type
Attributes
- Supertypes
-
class TypeAccumulator[Boolean]class VariantTraversalclass Objecttrait Matchableclass AnyShow all
A filter for names of abstract types of a given type
A filter for names of abstract types of a given type
Attributes
- Supertypes
- Self type
Attributes
- 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
- Supertypes
- Self type
-
typeAliasNameFilter.type
Attributes
- Supertypes
- Self type
-
typeNameFilter.type