O object

Refinement

extends Object

Supertypes

Object

Members

def 

apply

( parent: Type ,  name: String ,  info: TypeOrBounds ) ( implicit  ctx: Context ) : Refinement

def 

extension_info

( self: Refinement ) ( implicit  ctx: Context ) : TypeOrBounds

def 

extension_name

( self: Refinement ) ( implicit  ctx: Context ) : String

def 

extension_parent

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

def 

unapply

( x: Refinement ) ( implicit  ctx: Context ) : Option[( Type, String, TypeOrBounds )]