Enum NormalizedSelection

pub enum NormalizedSelection {
    False,
    True,
    All(Box<NormalizedSelection>),
    First(Box<NormalizedSelection>),
    Range(Range, Box<NormalizedSelection>),
    Label(Vec<LabelKey>, Box<NormalizedSelection>),
    Any(Box<NormalizedSelection>),
    Union(BTreeSet<NormalizedSelection>),
    Intersection(BTreeSet<NormalizedSelection>),
}

A normalized form of Selection, used during canonicalization.

This structure uses BTreeSet for Union and Intersection to enable flattening, deduplication, and deterministic ordering.

Variants

False

True

All(Box<NormalizedSelection>)

First(Box<NormalizedSelection>)

Range(Range, Box<NormalizedSelection>)

Label(Vec<LabelKey>, Box<NormalizedSelection>)

Any(Box<NormalizedSelection>)

Union(BTreeSet<NormalizedSelection>)

Intersection(BTreeSet<NormalizedSelection>)

Implementations

impl NormalizedSelection

pub fn trav<F>(self, f: F) -> Self

where F: FnMut(Self) -> Self,

Applies a transformation to each child node of the selection.

This performs a single-layer traversal, applying f to each immediate child and reconstructing the outer node with the transformed children.

impl NormalizedSelection

pub fn rewrite_bottom_up(self, rule: &impl RewriteRule) -> Self

Trait Implementations

impl Clone for NormalizedSelection

fn clone(&self) -> NormalizedSelection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NormalizedSelection

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

Formats the value using the given formatter.

impl From<NormalizedSelection> for Selection

fn from(norm: NormalizedSelection) -> Self

Converts the normalized form back into a standard Selection.

Logical semantics are preserved, but normalized shape (e.g., set-based unions and intersections) is reconstructed as left-associated binary trees.

impl Hash for NormalizedSelection

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 Ord for NormalizedSelection

fn cmp(&self, other: &NormalizedSelection) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for NormalizedSelection

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

fn partial_cmp(&self, other: &NormalizedSelection) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl SelectionSYM for NormalizedSelection

fn true_() -> Self

The universal selection (matches all nodes).

fn false_() -> Self

The identity selection (matches no nodes).

fn all(inner: Self) -> Self

Selects all values along the current dimension, then applies the inner selection.

fn first(inner: Self) -> Self

Selects the first index along the current dimension for which the inner selection is non-empty.

fn range<R: Into<Range>>(range: R, inner: Self) -> Self

Selects values within the given range along the current dimension, then applies the inner selection.

fn label<L: Into<LabelKey>>(labels: Vec<L>, inner: Self) -> Self

Selects values along the current dimension that match the given labels, then applies the inner selection.

fn any(inner: Self) -> Self

Selects a random index along the current dimension, then applies the inner selection.

fn intersection(lhs: Self, rhs: Self) -> Self

The intersection (logical AND) of two selection expressions.

fn union(lhs: Self, rhs: Self) -> Self

The union (logical OR) of two selection expressions.

impl Eq for NormalizedSelection

impl StructuralPartialEq for NormalizedSelection