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

TypeLambdaCompanion

dotty.tools.dotc.core.Types$.TypeLambdaCompanion
abstract class TypeLambdaCompanion[LT <: TypeLambda] extends LambdaTypeCompanion[TypeName, TypeBounds, LT]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object HKTypeLambda.type
object PolyType.type

Members list

Concise view

Value members

Concrete methods

def toPInfo(tp: Type)(using Context): TypeBounds

Inherited methods

def apply(paramInfos: List[TypeBounds], resultType: Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramInfos: List[TypeBounds])(resultTypeExp: LT => Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramNames: List[TypeName], paramInfos: List[TypeBounds], resultType: Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def apply(paramNames: List[TypeName])(paramInfosExp: LT => List[TypeBounds], resultTypeExp: LT => Type)(using Context): LT

Attributes

Inherited from:
LambdaTypeCompanion
def fromParams[PI <: Of[TypeName]](params: List[PI], resultType: Type)(using Context): Type

Attributes

Inherited from:
LambdaTypeCompanion
def syntheticParamNames(n: Int): List[N]

Attributes

Inherited from:
LambdaTypeCompanion
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL