O object

Refined

extends Object

Supertypes

Object

Members

def 

copy

( original: Tree ) ( tpt: TypeTree ,  refinements: List[Definition] ) ( implicit  ctx: Context ) : Refined

def 

extension_refinements

( self: Refined ) ( implicit  ctx: Context ) : List[Definition]

def 

extension_tpt

( self: Refined ) ( implicit  ctx: Context ) : TypeTree

def 

unapply

( x: Refined ) ( implicit  ctx: Context ) : Option[( TypeTree, List[Definition] )]