Struct Sequence 

pub struct Sequence(/* private fields */);

A monotonic sequence number with wrapping u32 arithmetic.

Implementations

impl Sequence

pub const fn new(value: u32) -> Self

Construct a sequence number from a raw u32.

pub const fn value(self) -> u32

Underlying u32 value.

pub const fn advance(self, n: u32) -> Self

Advance the sequence number by n, wrapping at u32::MAX.

pub const fn is_exactly_acked_by(self, acked: u32) -> bool

Returns true if acked is exactly equal to this sequence under wrapping arithmetic. Equivalent to acked == self.value(), but the explicit form documents intent.

pub const fn is_at_least_acked_by(self, acked: u32) -> bool

Returns true if acked is at least this sequence — i.e. the receiver has acknowledged this sequence or any newer one — under wrapping arithmetic per RFC 1982.

“At least” is interpreted on the half-circle: acked is at least self iff (acked - self) mod 2^32 < 2^31. This means the comparison is well-defined as long as the two values are within 2^31 of each other on the wire — far larger than any plausible in-flight window.

Trait Implementations

impl Clone for Sequence

fn clone(&self) -> Sequence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sequence

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

Formats the value using the given formatter.

impl From<Sequence> for u32

fn from(seq: Sequence) -> Self

Converts to this type from the input type.

impl From<u32> for Sequence

fn from(value: u32) -> Self

Converts to this type from the input type.

impl Hash for Sequence

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 PartialEq for Sequence

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

impl Eq for Sequence

impl StructuralPartialEq for Sequence