ContextFunctionResults

dotty.tools.dotc.transform.ContextFunctionResults$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
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

def contextResultCount(sym: Symbol)(using Context): Int

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

def integrateContextResults(tp: Type, crCount: Int)(using Context): Type

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

def integrateSelect(tree: Tree, n: Int)(using Context): Boolean

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

def totalParamCount(sym: Symbol)(using Context): Int

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.

Attributes