Types
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- Types.type
Members list
Type members
Classlikes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait ValueTypetrait TermTypeclass GroundTypeclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
A type application C[T_1, ..., T_n]
Typebounds for wildcard application: C[_], C[?]
Encapsulates the binders associated with a ParamRef.
Encapsulates the binders associated with a ParamRef.
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait ParamRefBinderstrait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait TypeBindersclass RecType
Attributes
- Graph
- Supertypes
- Known subtypes
A by-name parameter type of the form => T
.
A by-name parameter type of the form => T
.
Attributes
- Graph
- Supertypes
- trait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
A constant type with single value
.
A constant type with single value
.
Attributes
- Graph
- Supertypes
- trait SingletonTypetrait ValueTypetrait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Superclass for custom transient ground types used by custom algorithms.
Superclass for custom transient ground types used by custom algorithms.
When writing algorithms that manipulate Type
s, it is sometimes useful
to temporarily store custom data in place of Type
s. This can be done
by defining a subclass of CustomTransientGroundType
. At the end of the
day, all CustomTransientGroundType
s should have been replaced by proper
Type
s.
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 Type
s, 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
- Graph
- Supertypes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Companion:
- enum
- Graph
- Supertypes
- trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- ErasedTypeRef.type
Non-proxy types
Non-proxy types
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
- trait TermTypetrait ParamRefBinderstrait Bindersclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
case pattern
=> result
case pattern
=> result
Attributes
- Graph
- Supertypes
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait TermLambdaTypetrait LambdaTypetrait ParamRefBinderstrait Binderstrait MethodicTypetrait TermTypeclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- MethodType.type
Attributes
- Graph
- Supertypes
- Known subtypes
- class MethodTypeclass PolyType
Attributes
- Graph
- Supertypes
- Self type
- NoPrefix.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait ValueTypetrait TermTypeclass GroundTypeclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class TermParamRefclass TypeParamRef
Attributes
- Graph
- Supertypes
- Known subtypes
- trait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait TypeBinders
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait TypeLambdaTypetrait TypeBinderstrait LambdaTypetrait ParamRefBinderstrait Binderstrait MethodicTypetrait TermTypeclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
Attributes
- Graph
- Supertypes
- Known subtypes
- object NoPrefix.typeclass Typetrait BoundTypetrait ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass GroundTypeclass AndTypeclass MatchTypeCaseclass OrTypeclass PackageReftrait TermTypeclass ByNameTypetrait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait MethodicTypetrait ValueTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass SuperTypeclass TypeProxyclass RefinedOrRecTypeclass RecTypeclass WildcardTypeBounds
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass TypeBoundstrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait SingletonTypetrait ValueTypetrait TermTypetrait BoundTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Bindersclass RefinedOrRecTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
- trait ValueTypetrait TermTypeclass RefinedOrRecTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
- Known subtypes
- class TermRefinementclass TypeRefinement
A marker trait for types that are guaranteed to contain only a single non-null value (they might contain null in addition).
A marker trait for types that are guaranteed to contain only a single non-null value (they might contain null in addition).
Attributes
- Graph
- Supertypes
- Known subtypes
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
- Graph
- Supertypes
- trait SingletonTypetrait ValueTypetrait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait LambdaTypetrait TermTypetrait ParamRefBinderstrait Bindersclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
- Known subtypes
- class MethodType
Attributes
- Graph
- Supertypes
- trait SingletonTypetrait ValueTypetrait TermTypetrait ParamReftrait BoundTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
The singleton type for path prefix#myDesignator.
The singleton type for path prefix#myDesignator.
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait SingletonTypeclass NamedTypetrait PathTypetrait ValueTypetrait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
A term refinement parent { val/def refinedName: refinedType }
.
A term refinement parent { val/def refinedName: refinedType }
.
Attributes
- parent
The type being refined
- refinedName
The name of the refined term member
- refinedType
The refined type for the given term member
- Graph
- Supertypes
- class RefinedTypetrait ValueTypetrait TermTypeclass RefinedOrRecTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
A marker trait for types that apply only to term symbols or that represent higher-kinded types.
A marker trait for types that apply only to term symbols or that represent higher-kinded types.
Attributes
- Graph
- Supertypes
- Known subtypes
- class ByNameTypetrait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait MethodicTypetrait ValueTypeclass AndTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypeclass OrTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass RecThisclass SuperTypeclass TermParamRefclass TypeParamRef
Attributes
- Graph
- Supertypes
- trait SingletonTypetrait PathTypetrait ValueTypetrait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- Known subtypes
- trait BoundTypetrait ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass GroundTypeclass AndTypeclass MatchTypeCaseclass OrTypeclass PackageReftrait TermTypeclass ByNameTypetrait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait MethodicTypetrait ValueTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass SuperTypeclass TypeProxyclass RefinedOrRecTypeclass RecTypeclass WildcardTypeBounds
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass TypeBoundstrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class RealTypeBoundsclass TypeAlias
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait TypeLambdaTypetrait TypeBinderstrait LambdaTypetrait ParamRefBinderstrait Binderstrait TermTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- TypeLambda.type
Attributes
- Graph
- Supertypes
- trait TypeBinderstrait LambdaTypetrait TermTypetrait ParamRefBinderstrait Bindersclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
- Known subtypes
- class PolyTypeclass TypeLambda
Attributes
- Graph
- Supertypes
- Known subtypes
- object PolyType.typeobject TypeLambda.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- class Prefixobject NoPrefix.typeclass Typetrait BoundTypetrait ParamRefclass TermParamRefclass TypeParamRefclass RecThisclass GroundTypeclass AndTypeclass MatchTypeCaseclass OrTypeclass PackageReftrait TermTypeclass ByNameTypetrait LambdaTypetrait TermLambdaTypeclass MethodTypetrait TypeLambdaTypeclass PolyTypeclass TypeLambdatrait MethodicTypetrait ValueTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass SuperTypeclass TypeProxyclass RefinedOrRecTypeclass RecTypeclass WildcardTypeBoundsclass TypeBoundsclass RealTypeBoundsclass TypeAlias
Type proxies.
Each implementation is expected to redefine the underlying
method.
Type proxies.
Each implementation is expected to redefine the underlying
method.
Attributes
- Graph
- Supertypes
- Known subtypes
- class AnnotatedTypeclass AppliedTypeclass ByNameTypeclass ConstantTypeclass MatchTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedOrRecTypeclass RecTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass RecThisclass SuperTypeclass TermParamRefclass TypeLambdaclass TypeParamRefclass WildcardTypeBounds
A type refinement parent { type refinedName <:> refinedBounds }
.
A type refinement parent { type refinedName <:> refinedBounds }
.
Attributes
- parent
The type being refined
- refinedBounds
The refined bounds for the given type member
- refinedName
The name of the refined type member
- Graph
- Supertypes
- class RefinedTypetrait ValueTypetrait TermTypeclass RefinedOrRecTypeclass TypeProxyclass Typeclass Prefixtrait TypeMappableclass Objecttrait Matchableclass Any
A marker trait for types that can be types of values or that are higher-kinded
A marker trait for types that can be types of values or that are higher-kinded
Attributes
- Graph
- Supertypes
- Known subtypes
- class AndTypeclass AnnotatedTypeclass AppliedTypeclass MatchTypeclass OrTypetrait PathTypeclass NamedTypeclass TermRefclass TypeRefclass ThisTypeclass RefinedTypeclass TermRefinementclass TypeRefinementtrait SingletonTypeclass ConstantTypeclass RecThisclass SuperTypeclass TermParamRefclass TypeParamRef
Attributes
- Graph
- Supertypes