scala3-compiler-bootstrapped
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/RefinedType

RefinedType

dotty.tools.dotc.core.Types$.RefinedType$
See theRefinedType companion class
object RefinedType

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def apply(parent: Type, name: Name, info: Type)(using Context): RefinedType
def make(parent: Type, names: List[Name], infos: List[Type])(using Context): Type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL