Struct Lattice 

pub struct Lattice<A, P = ()>
where
    A: Axis,
{ /* private fields */ }

A non-empty, strictly ascending sequence of finite f64 anchors, each paired with a payload P, tagged with its Axis.

Storage is a single Box<[(f64, P)]> — co-indexing of scalars and payloads is structural, not an unwritten invariant.

P defaults to () for the no-payload case; Lattice<A> and Lattice<A, ()> are the same type. Construct via FromIterator: pairs.into_iter().collect::<Lattice<A, P>>() for the payload case or xs.into_iter().collect::<Lattice<A>>() for the unit case.

Implementations

impl<A, P> Lattice<A, P>

where A: Axis,

pub fn len(&self) -> usize

Anchor count. Always >= 1.

pub fn is_empty(&self) -> bool

True iff the lattice has no anchors. Always false in practice (constructor guarantees len >= 1), exposed to satisfy clippy.

pub fn scalars(&self) -> impl ExactSizeIterator

Iterator over scalars in ascending order.

pub fn payload(&self, anchor: Anchor) -> &P

Payload at the given anchor.

pub fn bracket(&self, observed: Scalar<A>) -> Bracket

Locate bracketing anchors (lo, hi) for observed. Returns Bracket(a, a) when clamped at an extreme, Bracket(lo, hi) with distinct indices when observed is strictly between two anchors.

impl<A, P> Lattice<A, P>

where A: Axis,

pub fn snap(&self, observed: Scalar<A>) -> Anchor

pub fn pharmonic(&self, bracket: Bracket, observed: Scalar<A>) -> f64

Pseudo-harmonic conditional probability of the lower anchor for observation x bracketed by (lo, hi). Encodes the Ganzfried-Sandholm 2013 formula p = (B-x)(1+A) / (B-A)(1+x).

The (1+x) term assumes the axis is non-negative — see Axis. The lo != hi precondition is asserted; callers must check Bracket::is_clamped first.

pub fn harmonic<R>(&self, observed: Scalar<A>, rng: &mut R) -> Anchor

where R: Rng + ?Sized,

pub fn phargmax(&self, observed: Scalar<A>) -> Anchor

Trait Implementations

impl<A, P> Clone for Lattice<A, P>

where A: Axis, P: Clone,

fn clone(&self) -> Lattice<A, P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A, P> Debug for Lattice<A, P>

where A: Axis, P: Debug,

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

Formats the value using the given formatter.

impl<A, P> FromIterator<(f64, P)> for Lattice<A, P>

where A: Axis,

fn from_iter<I>(iter: I) -> Lattice<A, P>

where I: IntoIterator<Item = (f64, P)>,

Construct from (scalar, payload) pairs. Sorts by scalar internally. Panics on empty input, non-finite scalars, or duplicate keys — these are developer errors, not user input.

impl<A> FromIterator<f64> for Lattice<A>

where A: Axis,

fn from_iter<I>(iter: I) -> Lattice<A>

where I: IntoIterator<Item = f64>,

Construct a unit-payload lattice from bare scalars.