Dotty Documentation

0.2.0-bin-SNAPSHOT

object Variances

[-] 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