O object

TypeLambda

extends Object

Supertypes

Object

Members

def 

apply

( paramNames: List[String] ,  boundsFn: TypeLambda => List[TypeBounds] ,  bodyFn: TypeLambda => Type ) : TypeLambda

def 

extension_param

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

def 

extension_paramBounds

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

def 

extension_paramNames

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

def 

extension_resType

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

def 

unapply

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