Setup

dotty.tools.dotc.cc.Setup
See theSetup companion class
object Setup

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Setup.type

Members list

Value members

Concrete methods

def addVar(tp: Type)(using Context): Type

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Attributes

def decorate(tp: Type, addedSet: Type => CaptureSet)(using Context): Type

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Add a capture set variable to tp if necessary, or maybe pull out an embedded capture set variable from a part of tp.

Attributes

def needsVariable(tp: Type)(using Context): Boolean

Should a capture set variable be added on type tp?

Should a capture set variable be added on type tp?

Attributes

Concrete fields