ContextFunctionResults
Value members
Concrete methods
Annotate methods that have context function result types directly matched by context closures on their right-hand side. Parameters to such closures will be integrated as additional method parameters in erasure.
Annotate methods that have context function result types directly matched by context closures on their right-hand side. Parameters to such closures will be integrated as additional method parameters in erasure.
A @ContextResultCount(n) annotation means that the method's result type
consists of a string of n nested context closures.
The depth levels nested context function type in the result type of meth
The depth levels nested context function type in the result type of meth
The argument of a ContextResultCount annotation, or 0 if none exists. See PostTyper#annotateContextResults.
The argument of a ContextResultCount annotation, or 0 if none exists. See PostTyper#annotateContextResults.
True iff ContextResultCount is not zero and all context functions in the result
type are erased.
True iff ContextResultCount is not zero and all context functions in the result
type are erased.
Turn the first crCount context function types in the result type of tp
into the curried method types.
Turn the first crCount context function types in the result type of tp
into the curried method types.
Should selection tree be eliminated since it refers to an apply
node of a context function type whose parameters will end up being
integrated in the preceding method?
Should selection tree be eliminated since it refers to an apply
node of a context function type whose parameters will end up being
integrated in the preceding method?
- Value parameters:
- `n`
the select nodes seen in previous recursive iterations of this method