O object

PolyType

extends Object

Supertypes

Object

Members

def 

apply

( paramNames: List[String] ) ( paramBoundsExp: PolyType => List[TypeBounds] ,  resultTypeExp: PolyType => Type ) ( implicit  ctx: Context ) : PolyType

def 

extension_param

( self: PolyType ) ( idx: Int ) ( implicit  ctx: Context ) : Type

def 

extension_paramBounds

( self: PolyType ) ( implicit  ctx: Context ) : List[TypeBounds]

def 

extension_paramNames

( self: PolyType ) ( implicit  ctx: Context ) : List[String]

def 

extension_resType

( self: PolyType ) ( implicit  ctx: Context ) : Type

def 

unapply

( x: PolyType ) ( implicit  ctx: Context ) : Option[( List[String], List[TypeBounds], Type )]