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