Struct Series 

pub struct Series<A: SerialAlphabet> { /* private fields */ }

An ordered series of alphabet symbols validated against an aggregate rule.

Implementations

impl<A: SerialAlphabet> Series<A>

pub fn try_new( alphabet: A, rule: AggregateRule, order: Vec<A::Symbol>, ) -> Result<Self, SeriesError>

Constructs a series after validating alphabet, membership, and aggregate policy.

pub fn alphabet(&self) -> &A

Returns the alphabet value retained by this series.

pub fn rule(&self) -> &AggregateRule

Returns the aggregate rule retained by this series.

pub fn order(&self) -> &[A::Symbol]

Returns the ordered symbols, never caller-provided ordinals.

pub fn ledger(&self) -> &AggregateLedger<A::Symbol>

Returns construction evidence for membership and aggregate counts.

pub fn permutation_rank(&self) -> Result<Nat, SeriesError>

Returns the shared Lehmer rank when the series is exactly one permutation.

This method delegates to PermutationSpace and does not enumerate any permutations in this crate.

pub fn into_parts(self) -> (A, AggregateRule, Vec<A::Symbol>)

Consumes the series into its validated parts.

impl<A: SerialAlphabet> Series<A>

pub fn apply( &self, operation: &SeriesTransform<A>, ) -> Result<TransformedSeries<A>, SeriesTransformError>

Applies a validated transform and returns a valid series plus algebra evidence.

Trait Implementations

impl<A: Clone + SerialAlphabet> Clone for Series<A>

where A::Symbol: Clone,

fn clone(&self) -> Series<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + SerialAlphabet> Debug for Series<A>

where A::Symbol: Debug,

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

Formats the value using the given formatter.

impl<A: Eq + SerialAlphabet> Eq for Series<A>

where A::Symbol: Eq,

impl<A: PartialEq + SerialAlphabet> PartialEq for Series<A>

where A::Symbol: PartialEq,

fn eq(&self, other: &Series<A>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<A: PartialEq + SerialAlphabet> StructuralPartialEq for Series<A>

where A::Symbol: PartialEq,