final
object
Variances
Constructors
Members
val
Invariant
: R
def
compose
(
v:
Variance
,
boundsVariance:
Int
)
: Variance
def
cut
(
v:
Variance
)
: Variance
Map everything below Bivariant to Invariant
Map everything below Bivariant to Invariant
def
flip
(
v:
Variance
)
: Variance
Flip between covariant and contravariant
Flip between covariant and contravariant
def
varianceInAnnots
(
annots:
List
[
Annotation
]
)
(
tparam:
Symbol
)
(
implicit
ctx:
Context
)
: Variance
Compute variance of type parameter tparam' in all type annotations
annots'.
Compute variance of type parameter tparam' in all type annotations
annots'.
def
varianceInArgs
(
tps:
List
[
Type
]
,
tparams1:
List
[
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 symbols
sym'.
Compute variance of type parameter tparam' in types of all symbols
sym'.
Compute variance of type parameter tparam
in type tp
.
Compute variance of type parameter tparam
in type tp
.
Compute variance of type parameter tparam' in all types
tps'.
Compute variance of type parameter tparam' in all types
tps'.
def
varianceString
(
v:
Variance
)
: String
def
varianceString
(
v:
Int
)
: String