ContextFunctionResults
Attributes
- Graph
-
- Supertypes
- Self type
Members list
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.
Attributes
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
Attributes
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.
Attributes
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.
Attributes
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.
Attributes
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
Attributes
The total number of parameters of method sym, not counting erased parameters, but including context result parameters.
The total number of parameters of method sym, not counting erased parameters, but including context result parameters.