Types
Type members
Classlikes
A type application C[T_1, ..., T_n]
Typebounds for wildcard application: C[_], C[?]
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.
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
A by-name parameter type of the form => T
, or the type of a method with no parameter list.
A by-name parameter type of the form => T
, or the type of a method with no parameter list.
- Companion
- object
A refined type parent { type refinedName <:> refinedInfo }
A refined type parent { type refinedName <:> refinedInfo }
- Value Params
- parent
The type being refined
- refinedInfo
The info of the refinement declaration
- refinedName
The name of the refinement declaration
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).
The singleton type for path prefix#myDesignator.
The singleton type for path prefix#myDesignator.
- Companion
- object
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.
- Companion
- object
Type proxies.
Each implementation is expected to redefine the underlying
method.
Type proxies.
Each implementation is expected to redefine the underlying
method.