Enum erg_compiler::context::Variance

pub enum Variance {
    Covariant,
    Contravariant,
    Invariant,
}

Variants

Covariant

Output(T), 共変, +

Contravariant

Input(T), 反変, -

Invariant

不変, 0

Implementations

impl Variance

pub const fn is_invariant(&self) -> bool

Trait Implementations

impl Clone for Variance

fn clone(&self) -> Variance

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Variance

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Variance

fn default() -> Variance

Returns the “default value” for a type.

impl Display for Variance

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Variance

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for Variance

type Output = Variance

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl PartialEq for Variance

fn eq(&self, other: &Variance) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Variance

impl Eq for Variance

impl StructuralPartialEq for Variance