scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/LambdaTypeCompanion

LambdaTypeCompanion

dotty.tools.dotc.core.Types.LambdaTypeCompanion
abstract class LambdaTypeCompanion[N <: Name, PInfo <: Type, LT <: LambdaType]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ContextualMethodType.type
object ImplicitMethodType.type
object MethodType.type
object HKTypeLambda.type
object PolyType.type
Show all

Members list

Value members

Abstract methods

def apply(paramNames: List[N])(paramInfosExp: LT => List[PInfo], resultTypeExp: LT => Type)(using Context): LT
def syntheticParamName(n: Int): N
protected def toPInfo(tp: Type)(using Context): PInfo

Concrete methods

def apply(paramNames: List[N], paramInfos: List[PInfo], resultType: Type)(using Context): LT
def apply(paramInfos: List[PInfo])(resultTypeExp: LT => Type)(using Context): LT
def apply(paramInfos: List[PInfo], resultType: Type)(using Context): LT
def fromParams[PI <: Of[N]](params: List[PI], resultType: Type)(using Context): Type
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL