Struct FreshParticipantCapacityCounter 

pub struct FreshParticipantCapacityCounter { /* private fields */ }

Provably empty, nonzero per-participant capacity for fresh enrollment.

This type removes the unreachable enrollment refusal arms while still forcing the successful transaction to reserve both new participant rows.

Implementations

impl FreshParticipantCapacityCounter

pub const fn try_new( limit: u64, occupied: u64, ) -> Result<Self, FreshParticipantCapacityCounterInvariantError>

Restores a fresh-participant counter only at occupancy zero.

Errors

Returns FreshParticipantCapacityCounterInvariantError::Capacity for an invalid base counter or FreshParticipantCapacityCounterInvariantError::Nonempty when a not-yet-minted participant already has a row.

pub const fn limit(self) -> u64

Returns the signed nonzero per-participant limit.

pub const fn occupied(self) -> u64

Returns the type-proven zero occupancy.

Trait Implementations

impl Clone for FreshParticipantCapacityCounter

fn clone(&self) -> FreshParticipantCapacityCounter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FreshParticipantCapacityCounter

impl Debug for FreshParticipantCapacityCounter

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

Formats the value using the given formatter.

impl Eq for FreshParticipantCapacityCounter

impl PartialEq for FreshParticipantCapacityCounter

fn eq(&self, other: &FreshParticipantCapacityCounter) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FreshParticipantCapacityCounter