Types

Common supertype of TypeAlias and MatchAlias

Attributes

Graph
Supertypes: class TypeBounds
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class MatchAlias
class TypeAlias

Attributes

Graph
Supertypes: trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class AndType
class CachedAndType
class OrType
class CachedOrType

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
class AndOrType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedAndType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: AndType.type

An annotated type tpe @ annot

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedAnnotatedType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: AnnotatedType.type

A type application C[T_1, ..., T_n]

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedAppliedType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: AppliedType.type

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: class TypeMap
trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: class SubstParamsMap
class SubstApproxMap
class AsSeenFromMap
class AvoidWildcardsMap
class AvoidMap
class LevelAvoidMap
Self type: ApproximatingTypeMap

Approximate wildcards by their bounds

Attributes

Graph
Supertypes: class ApproximatingTypeMap
class TypeMap
trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: class AvoidMap
class LevelAvoidMap

A supertrait for some typemaps that are bijections. Used for capture checking. BiTypeMaps should map capture references to capture references.

Attributes

Graph
Supertypes: class TypeMap
trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: class SubstBindingMap
class SubstSymMap
Self type: BiTypeMap

A trait for types that bind other types that refer to them. Instances are: LambdaType, RecType.

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait LambdaType
class HKLambda
class HKTypeLambda
class MethodOrPoly
class MethodType
class CachedMethodType
class PolyType
trait TermLambda
trait TypeLambda
class RecType

Attributes

Graph
Supertypes: trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ParamRef
class TermParamRef
class TypeParamRef
class RecThis

Attributes

Graph
Supertypes: class AndType
trait Serializable
trait Product
trait Equals
class AndOrType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class AnnotatedType
trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class AppliedType
trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class ClassInfo
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class TempClassInfo

Attributes

Graph
Supertypes: class ConstantType
trait Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class ExprType
trait Serializable
trait Product
trait Equals
trait MethodicType
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Instances of this class are cached and are not proxies.

Attributes

Graph
Supertypes: trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class ClassInfo
class CachedClassInfo
class TempClassInfo
class JavaArrayType
class CachedJavaArrayType
object NoPrefix.type
object NoType.type
class WildcardType
class CachedWildcardType
object WildcardType.type
class IgnoredProto
class CachedIgnoredProto
class ViewProto
class CachedViewProto

Attributes

Graph
Supertypes: class JavaArrayType
trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class MatchType
trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class MethodType
trait Serializable
trait Product
trait Equals
trait NarrowCached
trait TermLambda
class MethodOrPoly
trait MethodicType
trait LambdaType
trait TermType
trait BindingType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class OrType
trait Serializable
trait Product
trait Equals
class AndOrType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Instances of this class are cached and are proxies.

Attributes

Graph
Supertypes: trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class ConstantType
class CachedConstantType
class ExprType
class CachedExprType
class HKLambda
class HKTypeLambda
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class ThisType
class CachedThisType
class TypeBounds
class AliasingBounds
class MatchAlias
class TypeAlias
class RealTypeBounds
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto

Attributes

Graph
Supertypes: class RefinedType
trait Serializable
trait Product
trait Equals
class RefinedOrRecType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class SuperType
trait Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class TermRef
trait Serializable
trait Product
trait Equals
trait CaptureRef
trait SingletonType
trait ImplicitRef
class NamedType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class ThisType
trait Serializable
trait Product
trait Equals
trait CaptureRef
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

A marker trait for cached types

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedGroundType
class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class ClassInfo
class CachedClassInfo
class TempClassInfo
class JavaArrayType
class CachedJavaArrayType
object NoPrefix.type
object NoType.type
class WildcardType
class CachedWildcardType
object WildcardType.type
class IgnoredProto
class CachedIgnoredProto
class ViewProto
class CachedViewProto
class CachedProxyType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class ConstantType
class CachedConstantType
class ExprType
class CachedExprType
class HKLambda
class HKTypeLambda
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class ThisType
class CachedThisType
class TypeBounds
class AliasingBounds
class MatchAlias
class TypeAlias
class RealTypeBounds
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto

Attributes

Graph
Supertypes: class TypeRef
trait Serializable
trait Product
trait Equals
class NamedType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class WildcardType
trait Serializable
trait Product
trait Equals
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

A trait for references in CaptureSets. These can be NamedTypes, ThisTypes or ParamRefs

Attributes

Graph
Supertypes: trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class TermParamRef
class TermRef
class CachedTermRef
class ThisType
class CachedThisType

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 from prefix.
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 Serializable
trait Product
trait Equals
trait TypeType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedClassInfo
class TempClassInfo

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ClassInfo.type

A constant type with single value.

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedConstantType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ConstantType.type

Attributes

Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: ContextualMethodType.type

Attributes

Graph
Supertypes: class TypeAccumulator[Set[Symbol]]
trait (Set[Symbol], Type) => Set[Symbol]
class VariantTraversal
class Object
trait Matchable
class Any

A type map that maps also parents and self type of a ClassInfo

Attributes

Graph
Supertypes: class TypeMap
trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: class Subst1Map
class Subst2Map
class SubstBindingMap
class SubstMap
class SubstParamMap
class SubstParamsMap
class SubstRecThisMap
class SubstSymMap
class SubstThisMap

Attributes

Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: ErasedContextualMethodType.type

Attributes

Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: ErasedImplicitMethodType.type

Attributes

Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: ErasedMethodType.type

Attributes

Companion:: object
Graph
Supertypes: class FlexType
trait ValueType
trait ValueTypeOrProto
trait TermType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ErrorType.type

Attributes

Graph
Supertypes: class TypeAccumulator[Boolean]
trait (Boolean, Type) => Boolean
class VariantTraversal
class Object
trait Matchable
class Any

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 Serializable
trait Product
trait Equals
trait MethodicType
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedExprType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ExprType.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 ValueType
trait ValueTypeOrProto
trait TermType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type

Attributes

Graph
Supertypes: class TypeAccumulator[Unit]
trait (Unit, Type) => Unit
class VariantTraversal
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: trait LambdaType
trait TermType
trait BindingType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class HKTypeLambda

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 TypeLambda
class HKLambda
trait LambdaType
trait TermType
trait BindingType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class TypeLambdaCompanion[HKTypeLambda]
class LambdaTypeCompanion[TypeName, TypeBounds, HKTypeLambda]
class Object
trait Matchable
class Any
Self type: HKTypeLambda.type

Attributes

Graph
Supertypes: class TypeMap
trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Self type: IdentityTypeMap.type

Attributes

Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: ImplicitMethodType.type

A reference to an implicit definition. This can be either a TermRef or a Implicits.RenamedImplicitRef.

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: class TermRef
class CachedTermRef
class RenamedImplicitRef

The type of an import clause tree

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

The type of an erased array

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedJavaArrayType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: JavaArrayType.type

The parameter of a type lambda

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait Showable
trait ParamInfo
class Object
trait Matchable
class Any

The lambda type square:

Attributes

Graph
Supertypes: trait TermType
trait BindingType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class HKLambda
class HKTypeLambda
class MethodOrPoly
class MethodType
class CachedMethodType
class PolyType
trait TermLambda
trait TypeLambda
Self type: LambdaType

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: class TermLambdaCompanion[LT]
class MethodTypeCompanion
object ContextualMethodType.type
object ErasedContextualMethodType.type
object ErasedImplicitMethodType.type
object ErasedMethodType.type
object ImplicitMethodType.type
object MethodType.type
class TypeLambdaCompanion[LT]
object HKTypeLambda.type
object PolyType.type

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class UncachedProxyType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type: LazyRef.type

= 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 AliasingBounds
class TypeBounds
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: MatchAlias.type

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 Serializable
trait Product
trait Equals
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedMatchType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: MatchType.type

The superclass of MethodType and PolyType.

Attributes

Graph
Supertypes: trait MethodicType
trait LambdaType
trait TermType
trait BindingType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class MethodType
class CachedMethodType
class PolyType

A ternary extractor for MethodType

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Self type: MethodTpe.type

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait NarrowCached
trait TermLambda
class MethodOrPoly
trait MethodicType
trait LambdaType
trait TermType
trait BindingType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedMethodType
Self type: MethodType

Attributes

Companion:: class
Graph
Supertypes: class MethodTypeCompanion
class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Self type: MethodType.type

Attributes

Graph
Supertypes: class TermLambdaCompanion[MethodType]
class LambdaTypeCompanion[TermName, Type, MethodType]
class Object
trait Matchable
class Any
Known subtypes: object ContextualMethodType.type
object ErasedContextualMethodType.type
object ErasedImplicitMethodType.type
object ErasedMethodType.type
object ImplicitMethodType.type
object MethodType.type
Self type: MethodTypeCompanion

Attributes

Graph
Supertypes: trait TermType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ExprType
class CachedExprType
class MethodOrPoly
class MethodType
class CachedMethodType
class 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

keep(pre, name) implies keep(C.this, name)

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: object abstractTermNameFilter.type
object abstractTypeNameFilter.type
object fieldFilter.type
object implicitFilter.type
object nonClassTypeNameFilter.type
object takeAllFilter.type
object typeAliasNameFilter.type
object typeNameFilter.type

Attributes

Graph
Supertypes: class TypeAccumulator[List[NamedType]]
trait (List[NamedType], Type) => List[NamedType]
class VariantTraversal
class Object
trait Matchable
class Any

Attributes

Companion:: object
Graph
Supertypes: trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
Self type: NamedType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: NamedType.type

Implementations of this trait cache the results of narrow.

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class MethodType
class CachedMethodType

Missing prefix

Attributes

Graph
Supertypes: trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Self type: NoPrefix.type

Sentinel for "missing type"

Attributes

Graph
Supertypes: trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Self type: NoType.type

An extractor object to pattern match against a nullable union. e.g.

(tp: Type) match case OrNull(tp1) => // tp had the form tp1 | Null case _ => // tp was not a nullable union

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Self type: OrNull.type

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
class AndOrType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedOrType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: OrType.type

Attributes

Graph
Supertypes: class BoundType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class TermParamRef
class 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.

Attributes

Companion:: object
Graph
Supertypes: trait TypeLambda
class MethodOrPoly
trait MethodicType
trait LambdaType
trait TermType
trait BindingType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class TypeLambdaCompanion[PolyType]
class LambdaTypeCompanion[TypeName, TypeBounds, PolyType]
class Object
trait Matchable
class Any
Self type: PolyType.type

Attributes

Graph
Supertypes: class ErrorType
class FlexType
trait ValueType
trait ValueTypeOrProto
trait TermType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

A trait for proto-types, used as expected types in typer

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait ApplyingProto
class FunProto
class FunProtoTyped
class ViewProto
class CachedViewProto
trait FunOrPolyProto
class PolyProto
trait MatchAlways
object AnyFunctionProto.type
object AnyTypeConstructorProto.type
object AssignProto.type
class IgnoredProto
class CachedIgnoredProto
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto

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 SkolemType
trait Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: QualSkolemType.type

A range of possible types between lower bound lo and upper bound hi. Only used internally in ApproximatingTypeMap.

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class TypeBounds
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

a self-reference to an enclosing recursive type. The only creation method is binder.recThis, returning RecThis(binder).

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait SingletonType
class BoundType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

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 of C2 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)))) Where RecThis(...) points back to the enclosing RecType.
Companion:: object
Graph
Supertypes: trait BindingType
class RefinedOrRecType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: RecType.type

Attributes

Graph
Supertypes: trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class RecType
class RefinedType
class CachedRefinedType

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 Serializable
trait Product
trait Equals
class RefinedOrRecType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedRefinedType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
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

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: class Object
trait Matchable
class Any
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).

Attributes

Graph
Supertypes: trait ValueType
trait ValueTypeOrProto
trait TermType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait CaptureRef
class TermParamRef
class TermRef
class CachedTermRef
class ThisType
class CachedThisType
class ConstantType
class CachedConstantType
class RecThis
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType

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 Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class QualSkolemType

Where a traversal should stop

Attributes

Graph
Supertypes: trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

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 Serializable
trait Product
trait Equals
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedSuperType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: SuperType.type

A class for temporary class infos where parents are not yet known

Attributes

Graph
Supertypes: class CachedClassInfo
class ClassInfo
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: trait LambdaType
trait TermType
trait BindingType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class MethodType
class CachedMethodType
Self type: TermLambda

Attributes

Graph
Supertypes: class LambdaTypeCompanion[TermName, Type, LT]
class Object
trait Matchable
class Any
Known subtypes: class MethodTypeCompanion
object ContextualMethodType.type
object ErasedContextualMethodType.type
object ErasedImplicitMethodType.type
object ErasedMethodType.type
object ImplicitMethodType.type
object MethodType.type

Only created in binder.paramRefs. Use binder.paramRefs(paramNum) to refer to TermParamRef(binder, paramNum).

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait CaptureRef
trait SingletonType
class ParamRef
class BoundType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

The singleton type for path prefix#myDesignator.

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait CaptureRef
trait SingletonType
trait ImplicitRef
class NamedType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedTermRef

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: TermRef.type

A marker trait for types that apply only to term symbols or that represent higher-kinded types.

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait LambdaType
class HKLambda
class HKTypeLambda
class MethodOrPoly
class MethodType
class CachedMethodType
class PolyType
trait TermLambda
trait TypeLambda
trait MethodicType
class ExprType
class CachedExprType
trait ValueTypeOrProto
trait ValueType
class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class FlexType
class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type
class JavaArrayType
class CachedJavaArrayType
class LazyRef
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
trait SingletonType
trait CaptureRef
class ThisType
class CachedThisType
class ConstantType
class CachedConstantType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto
class WildcardType
class CachedWildcardType
object WildcardType.type

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 Serializable
trait Product
trait Equals
trait CaptureRef
trait SingletonType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedThisType

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ThisType.type

Attributes

Graph
Supertypes: class FlexType
trait ValueType
trait ValueTypeOrProto
trait TermType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Self type: TryDynamicCallType.type

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: trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait BindingType
trait LambdaType
class HKLambda
class HKTypeLambda
class MethodOrPoly
class MethodType
class CachedMethodType
class PolyType
trait TermLambda
trait TypeLambda
class RecType
class CachedGroundType
class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class ClassInfo
class CachedClassInfo
class TempClassInfo
class JavaArrayType
class CachedJavaArrayType
object NoPrefix.type
object NoType.type
class WildcardType
class CachedWildcardType
object WildcardType.type
class IgnoredProto
class CachedIgnoredProto
class ViewProto
class CachedViewProto
trait CachedType
class CachedProxyType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class ConstantType
class CachedConstantType
class ExprType
class CachedExprType
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RefinedType
class CachedRefinedType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class ThisType
class CachedThisType
class TypeBounds
class AliasingBounds
class MatchAlias
class TypeAlias
class RealTypeBounds
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto
trait NarrowCached
trait ProtoType
trait ApplyingProto
class FunProto
class FunProtoTyped
trait FunOrPolyProto
class PolyProto
trait MatchAlways
object AnyFunctionProto.type
object AnyTypeConstructorProto.type
object AssignProto.type
trait TermType
trait MethodicType
trait ValueTypeOrProto
trait ValueType
class FlexType
class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type
class LazyRef
trait SingletonType
trait CaptureRef
class TypeProxy
class UncachedProxyType
trait TypeType
class UncachedGroundType
class LazyType
class ApplyProxyCompleter
class ModuleCompleter
trait NoCompleter
class NoLoader
object NoCompleter.type
class StubInfo
trait TypeParamsCompleter
class ClassUnpickler
class TypeDefCompleter
class SymbolLoader
class ClassfileLoader
class SourcefileLoader
class PackageLoader
class AnnotConstructorCompleter
class MemberCompleter
class Completer
class LocalUnpickler
object localMemberUnpickler.type
class Completer
class ClassCompleter
class SuspendCompleter
class ImportType
class Range
class TempClassInfoType
class TempPolyType

Attributes

Graph
Supertypes: trait (T, Type) => T
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: class CoveringSetAccumulator
class ExistsAccumulator
class ForeachAccumulator
class NamedPartsAccumulator
class TypeSizeAccumulator
class TypeTraverser
class isGroundAccumulator

= T

Attributes

Companion:: object
Graph
Supertypes: class AliasingBounds
class TypeBounds
trait Serializable
trait Product
trait Equals
trait TypeType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: TypeAlias.type

Type bounds >: lo <: hi

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait TypeType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class AliasingBounds
class MatchAlias
class TypeAlias
class RealTypeBounds

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: TypeBounds.type

Attributes

Graph
Supertypes: trait LambdaType
trait TermType
trait BindingType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class HKTypeLambda
class PolyType

Attributes

Graph
Supertypes: class LambdaTypeCompanion[TypeName, TypeBounds, LT]
class Object
trait Matchable
class Any
Known subtypes: object HKTypeLambda.type
object PolyType.type

Attributes

Graph
Supertypes: trait Type => Type
class VariantTraversal
class Object
trait Matchable
class Any
Known subtypes: trait IdempotentCaptRefMap
class SubstParamsMap
class SubstParamMap
class SubstParamsMap
class AsSeenFromMap
class AvoidMap
class LevelAvoidMap
trait IdentityCaptRefMap
class SimplifyMap
class SimplifyKeepUnchecked
object reported.type
class Reducer
class StripTypeVarsMap
class ApproximatingTypeMap
class SubstApproxMap
class AvoidWildcardsMap
trait BiTypeMap
class SubstBindingMap
class SubstSymMap
class DeepTypeMap
class Subst1Map
class Subst2Map
class SubstMap
class SubstRecThisMap
class SubstThisMap
object IdentityTypeMap.type
class CheckNonCyclicMap
Self type: TypeMap

Only created in binder.paramRefs. Use binder.paramRefs(paramNum) to refer to TypeParamRef(binder, paramNum).

Attributes

Graph
Supertypes: trait Serializable
trait Product
trait Equals
class ParamRef
class BoundType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

A marker trait for type proxies. Each implementation is expected to redefine the underlying method.

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedProxyType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class ConstantType
class CachedConstantType
class ExprType
class CachedExprType
class HKLambda
class HKTypeLambda
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class ThisType
class CachedThisType
class TypeBounds
class AliasingBounds
class MatchAlias
class TypeAlias
class RealTypeBounds
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto
trait SingletonType
trait CaptureRef
class UncachedProxyType
class LazyRef

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
class NamedType
trait ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedTypeRef

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: TypeRef.type

Attributes

Graph
Supertypes: class TypeAccumulator[Int]
trait (Int, Type) => Int
class VariantTraversal
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes: class TypeAccumulator[Unit]
trait (Unit, Type) => Unit
class VariantTraversal
class Object
trait Matchable
class Any

A marker trait for types that apply only to type symbols

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ClassInfo
class CachedClassInfo
class TempClassInfo
class TypeBounds
class AliasingBounds
class MatchAlias
class TypeAlias
class 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.

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 ValueType
trait ValueTypeOrProto
trait TermType
class CachedProxyType
trait CachedType
class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: TypeVar.type

Instances of this class are uncached and are not proxies.

Attributes

Graph
Supertypes: class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class LazyType
class ApplyProxyCompleter
class ModuleCompleter
trait NoCompleter
class NoLoader
object NoCompleter.type
class StubInfo
trait TypeParamsCompleter
class ClassUnpickler
class TypeDefCompleter
class SymbolLoader
class ClassfileLoader
class SourcefileLoader
class PackageLoader
class AnnotConstructorCompleter
class MemberCompleter
class Completer
class LocalUnpickler
object localMemberUnpickler.type
class Completer
class ClassCompleter
class SuspendCompleter
class FlexType
class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type
class ImportType
class MethodOrPoly
class MethodType
class CachedMethodType
class PolyType
class Range
class TempClassInfoType
class TempPolyType
object AnyFunctionProto.type
object AnyTypeConstructorProto.type
object AssignProto.type
class FunProto
class FunProtoTyped
class PolyProto

Instances of this class are uncached and are proxies.

Attributes

Graph
Supertypes: class TypeProxy
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class LazyRef

Attributes

Graph
Supertypes: class ErrorType
class FlexType
trait ValueType
trait ValueTypeOrProto
trait TermType
class UncachedGroundType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Self type: UnspecifiedErrorType.type

A marker trait for types that can be types of values or that are higher-kinded

Attributes

Graph
Supertypes: trait ValueTypeOrProto
trait TermType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class FlexType
class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type
class JavaArrayType
class CachedJavaArrayType
class LazyRef
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
trait SingletonType
trait CaptureRef
class ThisType
class CachedThisType
class ConstantType
class CachedConstantType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class TypeVar

A marker trait for types that can be types of values or prototypes of value types

Attributes

Graph
Supertypes: trait TermType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: trait ValueType
class ErasedValueType
class CachedErasedValueType
class AndOrType
class AndType
class CachedAndType
class OrType
class CachedOrType
class AnnotatedType
class CachedAnnotatedType
class AppliedType
class CachedAppliedType
class BoundType
class ParamRef
class TermParamRef
class TypeParamRef
class RecThis
class FlexType
class ErrorType
class PreviousErrorType
object UnspecifiedErrorType.type
class SearchFailureType
class AmbiguousImplicits
class DivergingImplicit
class FailedExtension
class MismatchedImplicit
class NestedFailure
class NoMatchingImplicits
object ImplicitSearchTooLarge.type
object NoMatchingImplicits.type
class TooUnspecific
class SynthesisFailure
object TryDynamicCallType.type
class JavaArrayType
class CachedJavaArrayType
class LazyRef
class MatchType
class CachedMatchType
class NamedType
class TermRef
class CachedTermRef
class TypeRef
class CachedTypeRef
class RefinedOrRecType
class RecType
class RefinedType
class CachedRefinedType
trait SingletonType
trait CaptureRef
class ThisType
class CachedThisType
class ConstantType
class CachedConstantType
class SkolemType
class QualSkolemType
class SuperType
class CachedSuperType
class TypeVar
class SelectionProto
object AnySelectionProto.type
class CachedSelectionProto
class UnapplySelectionProto

Common base class of TypeMap and TypeAccumulator

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: class TypeAccumulator[T]
class CoveringSetAccumulator
class ExistsAccumulator
class ForeachAccumulator
class NamedPartsAccumulator
class TypeSizeAccumulator
class TypeTraverser
class isGroundAccumulator
class TypeMap
trait IdempotentCaptRefMap
class SubstParamsMap
class SubstParamMap
class SubstParamsMap
class AsSeenFromMap
class AvoidMap
class LevelAvoidMap
trait IdentityCaptRefMap
class SimplifyMap
class SimplifyKeepUnchecked
object reported.type
class Reducer
class StripTypeVarsMap
class ApproximatingTypeMap
class SubstApproxMap
class AvoidWildcardsMap
trait BiTypeMap
class SubstBindingMap
class SubstSymMap
class DeepTypeMap
class Subst1Map
class Subst2Map
class SubstMap
class SubstRecThisMap
class SubstThisMap
object IdentityTypeMap.type
class CheckNonCyclicMap

Wildcard type, possibly with bounds

Attributes

Companion:: object
Graph
Supertypes: trait Serializable
trait Product
trait Equals
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Known subtypes: class CachedWildcardType
object WildcardType.type

Attributes

Companion:: class
Graph
Supertypes: class WildcardType
trait Serializable
trait Product
trait Equals
trait TermType
class CachedGroundType
trait CachedType
class Type
trait Showable
trait Hashable
class Object
trait Matchable
class Any
Self type: WildcardType.type

A filter for names of deferred term definitions of a given type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: abstractTermNameFilter.type

A filter for names of abstract types of a given type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: abstractTypeNameFilter.type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: fieldFilter.type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: implicitFilter.type

Attributes

Graph
Supertypes: class TypeAccumulator[Boolean]
trait (Boolean, Type) => Boolean
class VariantTraversal
class Object
trait Matchable
class Any

A filter for names of abstract types of a given type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: nonClassTypeNameFilter.type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: takeAllFilter.type

A filter for names of type aliases of a given type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: typeAliasNameFilter.type

Attributes

Graph
Supertypes: class NameFilter
class Object
trait Matchable
class Any
Self type: typeNameFilter.type

Types

Attributes

Members list

Type members

Classlikes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes

Attributes