Dotty Documentation

0.15.0-bin-SNAPSHOT

trait TypeLambda
extends Type with LambdaType

[-] Constructors

[-] Members

[+] type PInfo = TypeBounds
[+] type ParamRefType = TypeParamRef
[+] type This = Nothing <: TypeLambda
[+] type ThisName = TypeName
[+] lazy val typeParams : List [ LambdaParam ]
[+] def derivedLambdaAbstraction ( paramNames: List [ TypeName ] , paramInfos: List [ TypeBounds ] , resType: Type ) ( implicit ctx: Context ) : Type
[+] def isParamDependent ( implicit ctx: Context ) : Boolean
[+] def isResultDependent ( implicit ctx: Context ) : Boolean
[+] def newParamRef ( n: Int ) : TypeParamRef