Struct ConstVidKey 

pub(crate) struct ConstVidKey<'db> {
    pub(crate) vid: ConstVid,
    pub(crate) phantom: PhantomData<Const<'db>>,
}

Fields

vid: ConstVid

phantom: PhantomData<Const<'db>>

Trait Implementations

impl<'db> Clone for ConstVidKey<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for ConstVidKey<'db>

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

Formats the value using the given formatter.

impl<'db> From<ConstVid> for ConstVidKey<'db>

fn from(vid: ConstVid) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for ConstVidKey<'db>

fn eq(&self, other: &ConstVidKey<'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 ConstVidKey<'db>

type Value = ConstVariableValue<'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 ConstVidKey<'db>

impl<'db> StructuralPartialEq for ConstVidKey<'db>