class
PolyType
extends
MethodOrPoly
with
TypeLambda
The type of a polymorphic method. It has the same form as HKTypeLambda, except it applies to terms and parameters do not have variances.
Constructors
PolyType
(
paramNames:
List
[
TypeName
]
)
PolyType
(
paramInfosExp:
PolyType => List
[
TypeBounds
]
,
resultTypeExp:
PolyType => Type
)
Members
type
This
=
PolyType
val
paramInfos
: List
[
TypeBounds
]
private
val
paramInfosExp
: PolyType => List
[
TypeBounds
]
val
paramNames
: List
[
TypeName
]
val
resType
: Type
private
val
resultTypeExp
: PolyType => Type
def
companion
: LambdaTypeCompanion
[
ThisName, PInfo, This
]
def
flatten
(
implicit
ctx:
Context
)
: PolyType
Merge nested polytypes into one polytype. nested polytypes are normally not supported but can arise as temporary data structures.
Merge nested polytypes into one polytype. nested polytypes are normally not supported but can arise as temporary data structures.
protected
def
prefixString
: String