Types

tastyquery.Types

object Types

Types in the Scala type system.

Every type from the Scala type system is represented in tasty-query as an instance of Type. That abstract class has a number of subtypes for all the possible "shapes" of types.

For example, a reference to the class scala.Int is represented as

TypeRef(PackageRef("scala"), TypeName("Int"))

Type applications of the form C[T1, ..., Tn] are represented as

AppliedType(typeForC, List(typeForT1, ..., typeForTn))

etc.

The type hierarchy is organized as follows:

TermType                         a type that can be the type of a term tree
|
+- PackageRef                   a reference to a package
|
+- TypeOrMethodic               a type or a methodic type (e.g., the declared type of a term symbol)
    |
    +- MethodicType             the type of a method with at least one parameter list
    |   +- MethodType           `(termParams): resultType`
    |   +- PolyType             `[TypeParams]: resultType`
    |
    +- Type
        |
        +- NamedType            designator type
        |   +- TypeRef          type selection of the form `prefix.T`
        |   +- TermRef          term selection of the form `prefix.t`
        |
        +- AppliedType          `C[T1, ..., Tn]`
        +- ByNameType            type of a by-name parameter `=> T`
        +- ThisType             `C.this`
        +- OrType               `A | B`
        +- AndType              `A & B`
        +- TypeLambda           `[T1, ..., Tn] => R`
        +- TypeParamRef         reference to a type parameter of an enclosing `TypeLambda` or `PolyType`
        +- TermParamRef         reference to a term parameter of an enclosing `MethodType`
        +- AnnotatedType        `T @annotation`
        +- ConstantType         literal singleton type, such as `42` or `"foo"`
        +- MatchType            `T match { case ... }`
        |
        +- RefinedType          refined type
        |   +- TypeRefinement   `P { type T >: L <: H }`
        |   +- TermRefinement   `P { val/def t: T }`
        |
        +- RecType              recursive type that introduces a recursive `this` binding
        +- RecThis              recursive reference to the `this` of a `RecType`
        +- SuperType            `super[mix]` (typically used as `prefix` of `NamedType`s)

In addition, Types contains additional categories of things used inside other types:

Prefix                     prefix of a designator type
+- NoPrefix               the empty prefix, for direct designators
+- NonEmptyPrefix
    +- PackageRef         a reference to a package, for designators of top-level symbols
    +- Type               a type, for named designators

TypeOrWildcard             either a type or a wildcard, used in the type arguments of `AppliedType`
+- Type
+- WildcardTypeArg        `? >: L <: H`

TermSelectionType          the reference type of an `Ident` or `Select`
+- PackageRef
+- TermRef

All of the above types inherit from TypeMappable, which represents things on which we apply type substitution.

Common shapes of types can be constructed with properties of Symbols.Symbol and with combinator methods on Type:

typeSymbol.staticRef constructs a TypeRef to the given static typeSymbol
termSymbol.staticRef constructs a TermRef to the given static termSymbol
packageSymbol.packageRef constructs a PackageRef of the given package
classSymbol.thisType constructs the ThisType of the given classSymbol
typeOrPackage.select(name or symbol) constructs a named designator type
tpe1.appliedTo(tpe2) constructs the application tpe1[tpe2] (there is an overload that accepts a list of type arguments)
tpe1 | tpe2 constructs a union type
tpe1 & tpe2 constructs an intersection type

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: Types.type

Members list

Type members

Classlikes

Attributes

Supertypes: trait Serializable

trait Product

trait Equals

class TypeBounds

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Supertypes: class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: AndType.type

typ @ annot

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Supertypes: class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A type application C[T_1, ..., T_n] Typebounds for wildcard application: C[_], C[?]

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A type that is bound to the identity of an enclosing TypeBinder.

Attributes

Supertypes: class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

A by-name parameter type of the form => T.

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A constant type with single value.

Attributes

Supertypes: trait SingletonType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Supertypes: class MethodTypeCompanion

class LambdaTypeCompanion[UnsignedTermName, Type, TypeOrMethodic, MethodType]

class Object

trait Matchable

class Any
Self type: ContextualMethodType.type

Superclass for custom transient ground types used by custom algorithms.

When writing algorithms that manipulate Types, it is sometimes useful to temporarily store custom data in place of Types. This can be done by defining a subclass of CustomTransientGroundType. At the end of the day, all CustomTransientGroundTypes should have been replaced by proper Types.

The methods of tasty-query never expose instances of CustomTransientGroundType, but you may use it for your own purposes.

When permorming an exhaustive match on all possible Types, you should cover CustomTransientGroundType in a case that always throws (unless you are actually using it for some purposes):

val tpe: Type = ...
tpe match
 case tpe: TypeRef => ...
 ...
 case tpe: CustomTransientGroundType =>
   throw AssertionError(s"Unexpected custom transient ground type $tpe")
end match

Attributes

Supertypes: class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: enum
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: ErasedTypeRef.type

Non-proxy types

Attributes

Supertypes: class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda
Show all

Attributes

Supertypes: class MethodTypeCompanion

class LambdaTypeCompanion[UnsignedTermName, Type, TypeOrMethodic, MethodType]

class Object

trait Matchable

class Any
Self type: ImplicitMethodType.type

Attributes

Supertypes: trait ParamRefBinder

trait TypeBinder

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: class MethodTypeCompanion

object ContextualMethodType

object ImplicitMethodType

object MethodType

class TypeLambdaTypeCompanion[RT, LT]

object PolyType

object TypeLambda
Show all

selector match { cases }

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

case pattern => result

Attributes

Companion: object
Supertypes: trait TypeParamRefBinder

trait ParamRefBinder

trait TypeBinder

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: MatchTypeCase.type

Attributes

Companion: object
Supertypes: trait TermLambdaType

trait LambdaType

trait ParamRefBinder

trait TypeBinder

class MethodicType

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class MethodTypeCompanion

class LambdaTypeCompanion[UnsignedTermName, Type, TypeOrMethodic, MethodType]

class Object

trait Matchable

class Any
Self type: MethodType.type

Attributes

Supertypes: class LambdaTypeCompanion[UnsignedTermName, Type, TypeOrMethodic, MethodType]

class Object

trait Matchable

class Any
Known subtypes: object ContextualMethodType

object ImplicitMethodType

object MethodType

The type of a def that has at least one (term or type) parameter list.

Partitioned into MethodType and PolyType.

Attributes

Supertypes: class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class MethodType

class PolyType

Attributes

Companion: object
Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class TermRef

class TypeRef

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: NamedType.type

Attributes

Supertypes: trait Prefix

class TypeMappable

class Object

trait Matchable

class Any
Self type: NoPrefix.type

Attributes

Supertypes: trait Prefix

class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: class PackageRef

trait TermReferenceType

class TermRef

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType
Show all

Attributes

Supertypes: class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Supertypes: class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: OrType.type

Attributes

Supertypes: trait TermReferenceType

trait NonEmptyPrefix

trait Prefix

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A TypeParamRef or TermParamRef.

Attributes

Supertypes: trait BoundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class TermParamRef

class TypeParamRef

A type binder that binds ParamRefs.

Attributes

Supertypes: trait TypeBinder

class Object

trait Matchable

class Any
Known subtypes: trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

trait TypeParamRefBinder

class MatchTypeCase
Show all

Attributes

Companion: object
Supertypes: trait TypeLambdaType

trait TypeParamRefBinder

trait LambdaType

trait ParamRefBinder

trait TypeBinder

class MethodicType

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class TypeLambdaTypeCompanion[TypeOrMethodic, PolyType]

class LambdaTypeCompanion[TypeName, TypeBounds, TypeOrMethodic, PolyType]

class Object

trait Matchable

class Any
Self type: PolyType.type

Attributes

Supertypes: class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: object NoPrefix

trait NonEmptyPrefix

class PackageRef

trait TermReferenceType

class TermRef

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType
Show all

Attributes

Supertypes: trait SingletonType

trait BoundType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Supertypes: trait TypeBinder

class RefinedOrRecType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: RecType.type

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class RecType

class RefinedType

class TermRefinement

class TypeRefinement

Attributes

Supertypes: class RefinedOrRecType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class TermRefinement

class TypeRefinement

The type of a repeated parameter of the form T*.

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A marker trait for types that are guaranteed to contain only a single non-null value (they might contain null in addition).

Attributes

Supertypes: class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class ConstantType

class RecThis

class SkolemType

class SuperType

class TermParamRef

class TermRef

class ThisType
Show all

A skolem type reference with underlying type tpe.

For tasty-query, a skolem type is a singleton type of some unknown value of type tpe.

Skolem types do not appear as the types of trees or symbols, but they may be used internally, notably for subtyping and member lookup purposes.

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 SingletonType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show 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.

Attributes

Supertypes: trait SingletonType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Supertypes: trait LambdaType

trait ParamRefBinder

trait TypeBinder

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class MethodType

Attributes

Supertypes: trait SingletonType

trait ParamRef

trait BoundType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

The singleton type for path prefix#myDesignator.

Attributes

Companion: object
Supertypes: trait TermReferenceType

trait SingletonType

class NamedType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: TermRef.type

The type of term reference, i.e., of an Ident or Select.

It is either a TermRef or a PackageRef.

Attributes

Supertypes: trait NonEmptyPrefix

trait Prefix

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class PackageRef

class TermRef

A term refinement parent { val/def refinedName: refinedType }.

Value parameters

parent: The type being refined
refinedName: The name of the refined term member
refinedType: The refined type for the given term member

Attributes

Supertypes: class RefinedType

class RefinedOrRecType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A marker trait for types that can be the type of a Trees.TermTree.

Partitioned into TypeOrMethodic and PackageRef.

Attributes

Supertypes: class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: class PackageRef

trait TermReferenceType

class TermRef

class TypeOrMethodic

trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

class MethodicType

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType
Show all

Attributes

Supertypes: trait SingletonType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A type in the Scala type system.

Partitioned into GroundType and TypeProxy.

Attributes

Supertypes: trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TermRef

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType
Show all

Attributes

Supertypes: trait Serializable

trait Product

trait Equals

class TypeBounds

class TypeMappable

class Object

trait Matchable

class Any
Show all

Something that binds inner BoundTypes to its identity.

Unlike other Types, the reference identity of a TypeBinder is relevant.

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait ParamRefBinder

trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

trait TypeParamRefBinder

class MatchTypeCase

class RecType
Show all

Attributes

Supertypes: class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: class AbstractTypeBounds

class TypeAlias

A type parameter of a type constructor.

Type parameters of polymorphic class types are Symbols.ClassTypeParamSymbols. For other type constructors, they are instances of an unspecified subclass.

See Type.typeParams.

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: class ClassTypeParamSymbol

Attributes

Companion: object
Supertypes: trait TypeLambdaType

trait TypeParamRefBinder

trait LambdaType

trait ParamRefBinder

trait TypeBinder

class GroundType

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class TypeLambdaTypeCompanion[Type, TypeLambda]

class LambdaTypeCompanion[TypeName, TypeBounds, Type, TypeLambda]

class Object

trait Matchable

class Any
Self type: TypeLambda.type

Attributes

Supertypes: trait TypeParamRefBinder

trait LambdaType

trait ParamRefBinder

trait TypeBinder

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class PolyType

class TypeLambda

Attributes

Supertypes: class LambdaTypeCompanion[TypeName, TypeBounds, RT, LT]

class Object

trait Matchable

class Any
Known subtypes: object PolyType

object TypeLambda

Attributes

Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait Prefix

object NoPrefix

trait NonEmptyPrefix

class PackageRef

trait TermReferenceType

class TermRef

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType

class TermType

class TypeOrMethodic

trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class MethodicType

class TypeBounds

class AbstractTypeBounds

class TypeAlias

trait TypeOrWildcard

class WildcardTypeArg
Show all

A type or a methodic type.

Partitioned into Type and MethodicType.

Attributes

Supertypes: class TermType

class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: trait LambdaType

trait TermLambdaType

class MethodType

trait TypeLambdaType

class PolyType

class TypeLambda

class MethodicType

class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TermRef

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType
Show all

A type or a wildcard, as used in the type parameters of an AppliedType.

Partitioned into Type and WildcardTypeArg.

Attributes

Supertypes: class TypeMappable

class Object

trait Matchable

class Any
Known subtypes: class Type

trait BoundType

trait ParamRef

class TermParamRef

class TypeParamRef

class RecThis

class GroundType

class AndType

class AnyKindType

class CustomTransientGroundType

class NothingType

class OrType

class TypeLambda

class TypeProxy

class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TermRef

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class SkolemType

class SuperType

class ThisType

class WildcardTypeArg
Show all

Attributes

Supertypes: trait ParamRef

trait BoundType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

A type binder that binds TypeParamRefs.

Attributes

Supertypes: trait ParamRefBinder

trait TypeBinder

class Object

trait Matchable

class Any
Known subtypes: class MatchTypeCase

trait TypeLambdaType

class PolyType

class TypeLambda

Type proxies. Each implementation is expected to redefine the underlying method.

Attributes

Supertypes: class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all
Known subtypes: class AnnotatedType

class AppliedType

class ByNameType

class ConstantType

class MatchType

class NamedType

class TermRef

class TypeRef

class RefinedOrRecType

class RecType

class RefinedType

class TermRefinement

class TypeRefinement

class RepeatedType

trait SingletonType

class RecThis

class SkolemType

class SuperType

class TermParamRef

class ThisType

class TypeParamRef
Show all

Attributes

Companion: object
Supertypes: class NamedType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: TypeRef.type

A type refinement parent { type refinedName <:> refinedBounds }.

Value parameters

parent: The type being refined
refinedBounds: The refined bounds for the given type member
refinedName: The name of the refined type member

Attributes

Supertypes: class RefinedType

class RefinedOrRecType

class TypeProxy

class Type

trait TypeOrWildcard

trait NonEmptyPrefix

trait Prefix

class TypeOrMethodic

class TermType

class TypeMappable

class Object

trait Matchable

class Any
Show all

Attributes

Companion: object
Supertypes: trait TypeOrWildcard

class TypeMappable

class Object

trait Matchable

class Any

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: WildcardTypeArg.type

In this article

Generated with