Enum SEqHashKind

pub enum SEqHashKind {
    Unsupported,
    TreeNode,
    FreeVar,
    DAGNode,
    ConstTreeNode,
    UniqueInstance,
}

How the structural engines treat instances of a type (C++ _type_s_eq_hash_kind).

Variants

Unsupported

Rejected by structural equality and hashing; the C++ default.

TreeNode

Compared and hashed field by field.

FreeVar

A free variable: bound by position inside a definition region, else by identity.

DAGNode

Compared field by field, and once equal, mapped so later occurrences compare by mapping.

ConstTreeNode

A tree node whose identity is checked first, as a fast path.

UniqueInstance

Compared and hashed by identity only.

Trait Implementations

impl Clone for SEqHashKind

fn clone(&self) -> SEqHashKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SEqHashKind

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

Formats the value using the given formatter.

impl PartialEq for SEqHashKind

fn eq(&self, other: &SEqHashKind) -> 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 Copy for SEqHashKind

impl Eq for SEqHashKind

impl StructuralPartialEq for SEqHashKind