Enum PartialObjectKey 

pub enum PartialObjectKey {
    Number(BigInt),
    String(String),
    Hole(Option<Identifier>),
    Tuple(Tuple<PartialObjectKey>),
}

A key that may be a hole (unresolved placeholder) or a fully resolved key.

This is a superset of ObjectKey used exclusively in [PartialMap] nodes.

Equality Semantics

Equality is label-based: Hole(Some("a")) == Hole(Some("a")) is true, enabling structural document comparison (e.g., in assert_eq!). This is syntactic equality only — it does not imply semantic interchangeability.

Anonymous holes (Hole(None)) still compare equal for structural equality, but lookup operations treat them as unique placeholders that never deduplicate. Labeled holes (Hole(Some(label))) are deduplicated by label.

Variants

Number(BigInt)

String(String)

Hole(Option<Identifier>)

An unresolved hole key: ! (None) or !label (Some(label)).

Tuple(Tuple<PartialObjectKey>)

A tuple key that may contain holes.

Implementations

impl PartialObjectKey

pub fn contains_anonymous_hole(&self) -> bool

Returns true when this key contains an anonymous hole anywhere within it.

Anonymous holes are syntactically comparable, but they are never deduplicated when looking up PartialMap entries.

Trait Implementations

impl Clone for PartialObjectKey

fn clone(&self) -> PartialObjectKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PartialObjectKey

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

Formats the value using the given formatter.

impl Display for PartialObjectKey

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

Formats the value using the given formatter.

impl From<ObjectKey> for PartialObjectKey

fn from(key: ObjectKey) -> Self

Converts to this type from the input type.

impl Hash for PartialObjectKey

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 PartialEq for PartialObjectKey

fn eq(&self, other: &PartialObjectKey) -> 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 TryFrom<PartialObjectKey> for ObjectKey

type Error = HoleKeyError

The type returned in the event of a conversion error.

fn try_from(key: PartialObjectKey) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for PartialObjectKey

impl StructuralPartialEq for PartialObjectKey