trait
TypeLambda
extends
Type
with
LambdaType
Constructors
Members
type
PInfo
=
TypeBounds
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
final
def
instantiateBounds
(
argTypes:
List
[
Type
]
)
(
implicit
ctx:
Context
)
: List
[
Type
]
Instantiate parameter bounds by substituting parameters with given arguments
Instantiate parameter bounds by substituting parameters with given arguments
def
isDependent
(
implicit
ctx:
Context
)
: Boolean
def
isParamDependent
(
implicit
ctx:
Context
)
: Boolean
def
newParamRef
(
n:
Int
)
: ParamRef