Constructors

Members

[+] type Variance = FlagSet

[+] val Bivariant : FlagSet

[+] val Invariant : R

[+] def compose ( v: Variance , boundsVariance: Int ) : Variance

[+] def cut ( v: Variance ) : Variance

Map everything below Bivariant to Invariant

[+] def flip ( v: Variance ) : Variance

Flip between covariant and contravariant

[+] def varianceInAnnot ( annot: Annotation ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

[+] def varianceInAnnots ( annots: List [ Annotation ] ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

Compute variance of type parameter tparam' in all type annotationsannots'.

[+] def varianceInArgs ( tps: List [ Type ] , tparams1: List [ Symbol ] ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

[+] def varianceInSym ( sym: Symbol ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

[+] def varianceInSyms ( syms: List [ Symbol ] ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

Compute variance of type parameter tparam' in types of all symbolssym'.

[+] def varianceInType ( tp: Type ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

Compute variance of type parameter tparam in type tp.

[+] def varianceInTypes ( tps: List [ Type ] ) ( tparam: Symbol ) ( implicit ctx: Context ) : Variance

Compute variance of type parameter tparam' in all typestps'.

[+] def varianceString ( v: Variance ) : String

[+] def varianceString ( v: Int ) : String