abstract case class SelectionProto

A prototype for expressions [] that are part of a selection operation:

 [ ].name: proto

Constructors

SelectionProto ( name: Name , memberProto: Type , compat: Compatibility , privateOK: Boolean )

Members

val compat : Compatibility
val memberProto : Type
val name : Name
val privateOK : Boolean
def _1 : T1
def _2 : T2
def _3 : T3
def _4 : T4
override def computeHash : Int
override def deepenProto ( implicit ctx: Context ) : Type

If this is a prototype with some ignored component, reveal one more layer of it. Otherwise the type itself.

If this is a prototype with some ignored component, reveal one more layer of it. Otherwise the type itself.

def derivedSelectionProto ( name: Name , memberProto: Type , compat: Compatibility ) ( implicit ctx: Context ) : SelectionProto
override def equals ( that: Any ) : Boolean
def fold ( x: T , ta: TypeAccumulator [ T ] ) ( implicit ctx: Context ) : T
override def isMatchedBy ( tp1: Type ) ( implicit ctx: Context ) : Boolean
def map ( tm: TypeMap ) ( implicit ctx: Context ) : ProtoType
def underlying ( implicit ctx: Context ) : Type

The type to which this proxy forwards operations.

The type to which this proxy forwards operations.