abstract case class ViewProto
extends CachedGroundType with ApplyingProto

A prototype for implicitly inferred views:

[]: argType => resultType

Constructors

ViewProto ( argType: Type , resType: Type )

Members

val argType : Type
val resType : Type
def _1 : T1
def _2 : T2
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 derivedViewProto ( argType: Type , resultType: Type ) ( implicit ctx: Context ) : ViewProto
def fold ( x: T , ta: TypeAccumulator [ T ] ) ( implicit ctx: Context ) : T
def isMatchedBy ( tp: Type ) ( implicit ctx: Context ) : Boolean
def map ( tm: TypeMap ) ( implicit ctx: Context ) : ViewProto
override def resultType ( implicit ctx: Context ) : Type

The resultType of a LambdaType, or ExprType, the type itself for others

The resultType of a LambdaType, or ExprType, the type itself for others