VarianceMap
dotty.tools.dotc.core.Types.VarianceMap
object VarianceMap
Attributes
- Graph
-
- Supertypes
- Self type
-
VarianceMap.type
Members list
Type members
Types
An immutable map representing the variance of keys of type K
An immutable map representing the variance of keys of type K
Attributes
Value members
Concrete methods
Extensions
Extensions
extension [K <: AnyRef](vmap: VarianceMap[K])
Return the variance of k:
Return the variance of k:
- A positive value means that
kappears only covariantly. - A negative value means that
kappears only contravariantly. - A zero value means that
kappears both covariantly and contravariantly, or appears invariantly. - A null value means that
kdoes not appear at all.
Attributes
Return a new map taking into account that K appears in a {co,contra,in}-variant position if localVariance is {positive,negative,zero}.
Return a new map taking into account that K appears in a {co,contra,in}-variant position if localVariance is {positive,negative,zero}.
Attributes
The backing map used to implement this VarianceMap.
The backing map used to implement this VarianceMap.
Attributes
In this article