final object RefinedType

Constructors

Members

def apply ( parent: Type , name: Name , info: Type ) ( implicit ctx: Context ) : RefinedType
@tailrec def make ( parent: Type , names: List [ Name ] , infos: List [ Type ] ) ( implicit ctx: Context ) : Type
def unapply ( x$1: RefinedType ) : RefinedType