Struct RegionVidKey 

pub(crate) struct RegionVidKey<'db> {
    pub(crate) vid: RegionVid,
    pub(crate) phantom: PhantomData<RegionVariableValue<'db>>,
}

Fields

vid: RegionVid

phantom: PhantomData<RegionVariableValue<'db>>

Trait Implementations

impl<'db> Clone for RegionVidKey<'db>

fn clone(&self) -> RegionVidKey<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for RegionVidKey<'db>

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

Formats the value using the given formatter.

impl<'db> From<RegionVid> for RegionVidKey<'db>

fn from(vid: RegionVid) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for RegionVidKey<'db>

fn eq(&self, other: &RegionVidKey<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'db> UnifyKey for RegionVidKey<'db>

type Value = RegionVariableValue<'db>

fn index(&self) -> u32

fn from_index(i: u32) -> Self

fn tag() -> &'static str

fn order_roots( a: Self, a_value: &Self::Value, b: Self, b_value: &Self::Value, ) -> Option<(Self, Self)>

You should return first the key that should be used as root, then the other key (that will then point to the new root).

impl<'db> Copy for RegionVidKey<'db>

impl<'db> StructuralPartialEq for RegionVidKey<'db>