Struct IdStore 

struct IdStore<K, V> {
    entries: Vec<(K, V)>,
}

A family’s inputs sorted by identity.

A sorted vector rather than a map: a store holds a handful of inputs, is written only by the binders, and is read on the resolution path by a borrowed identity — which a map keyed by the owned identity could not look up without allocating a key. A binary search over the borrowed identity’s own order costs nothing per lookup, and iteration is the identity’s order for free, which is the lift order.

Fields

entries: Vec<(K, V)>

Implementations

impl<K: Ord, V> IdStore<K, V>

fn insert(&mut self, id: K, value: V)

Pins value under id, replacing what was pinned there.

fn get_by(&self, order: impl FnMut(&K) -> Ordering) -> Option<&V>

The value pinned under the identity order places — how a borrowed identity is looked up without building an owned key.

fn iter(&self) -> impl Iterator<Item = (&K, &V)>

Every entry, in identity order.

fn keys(&self) -> impl Iterator<Item = &K>

Every identity, in order.

fn retain(&mut self, keep: impl FnMut(&K, &V) -> bool)

Keeps only the entries keep accepts, in order.

fn fill_from(&mut self, other: &Self) -> Vec<K>

where K: Clone, V: Clone,

Pins every entry of other whose identity this store lacks, leaving the ones it holds; returns the identities added.

impl IdStore<CurveId, Term>

fn get_ref(&self, id: CurveIdRef<'_>) -> Option<&Term>

The term pinned under a borrowed id, without building an owned key.

Trait Implementations

impl<K: Clone, V: Clone> Clone for IdStore<K, V>

fn clone(&self) -> IdStore<K, V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K: Debug, V: Debug> Debug for IdStore<K, V>

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

Formats the value using the given formatter.

impl<K, V> Default for IdStore<K, V>

fn default() -> Self

Returns the “default value” for a type.

impl<K: PartialEq, V: PartialEq> PartialEq for IdStore<K, V>

fn eq(&self, other: &IdStore<K, V>) -> 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<K: PartialEq, V: PartialEq> StructuralPartialEq for IdStore<K, V>