O object

MatchType

extends Object

Supertypes

Object

Members

def 

apply

( bound: Type ,  scrutinee: Type ,  cases: List[Type] ) ( implicit  ctx: Context ) : MatchType

def 

extension_bound

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

def 

extension_cases

( self: MatchType ) ( implicit  ctx: Context ) : List[Type]

def 

extension_scrutinee

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

def 

unapply

( x: MatchType ) ( implicit  ctx: Context ) : Option[( Type, Type, List[Type] )]