scala3-compiler-bootstrapped/dotty.tools.dotc.core/Variances

Variances

object Variances
class Object
trait Matchable
class Any

Type members

Types

Value members

Concrete methods

def flip(v: Variance): Variance

Flip between covariant and contravariant

Flip between covariant and contravariant

def varianceConforms(v1: Int, v2: Int): Boolean

Does variance v1 conform to variance v2? This is the case if the variances are the same or sym is nonvariant.

Does variance v1 conform to variance v2? This is the case if the variances are the same or sym is nonvariant.

def varianceConforms(tparam1: TypeParamInfo, tparam2: TypeParamInfo)(using Context): Boolean

Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

Does the variance of type parameter tparam1 conform to the variance of type parameter tparam2?

def variancesConform(tparams1: List[TypeParamInfo], tparams2: List[TypeParamInfo])(using Context): Boolean

Do the variances of type parameters tparams1 conform to the variances of corresponding type parameters tparams2? This is only the case if tparams1 and tparams2 have the same length.

Do the variances of type parameters tparams1 conform to the variances of corresponding type parameters tparams2? This is only the case if tparams1 and tparams2 have the same length.

Concrete fields