Skip to main content

RecordAdmissionPrestate

Struct RecordAdmissionPrestate 

Source
pub struct RecordAdmissionPrestate<'a, EF, V, LF> { /* private fields */ }
Expand description

Complete unchanged durable prestate consumed by ordinary admission.

Order/sequence ledgers, retained rows, marker owners, and participant cursors are intentionally absent as independent fields: the owned ClaimFrontiers carries them as one validated authority.

Implementations§

Source§

impl<'a, EF, V, LF> RecordAdmissionPrestate<'a, EF, V, LF>

Source

pub const fn new( request: RecordAdmission, presented_identity: PresentedIdentity<'a, EF, V, LF>, binding: &'a BindingState, receiving_binding_epoch: BindingEpoch, connection_tracking: ConnectionConversationTracking, connection_capacity: CapacityCounter, closure_accounting: ClosureAccounting, max_ordinary_record_charge: ResourceVector, frontiers: ClaimFrontiers, retained_charges: Vec<RetainedRecordCharge>, observer_progress: DeliverySeq, projection_limits: OrdinaryProjectionLimits, ) -> Self

Captures the exact request, lookup/capacity state, complete validated frontiers, factual retained charges, observer state, and signed limits.

Source

pub const fn request(&self) -> &RecordAdmission

Borrows the exact payload-bearing request.

Source

pub const fn binding(&self) -> &BindingState

Borrows the unchanged authoritative binding state used by lookup.

Source

pub const fn receiving_binding_epoch(&self) -> BindingEpoch

Returns the unchanged receiving binding epoch.

Source

pub const fn frontiers(&self) -> &ClaimFrontiers

Borrows the unchanged validated claim-frontier aggregate.

Source

pub const fn connection_capacity(&self) -> CapacityCounter

Returns the unchanged semantic connection-capacity counter.

Source

pub const fn closure_accounting(&self) -> ClosureAccounting

Returns the unchanged closure-accounting snapshot.

Source

pub const fn observer_progress(&self) -> DeliverySeq

Returns the unchanged hard-observer progress.

Source

pub fn retained_charges(&self) -> &[RetainedRecordCharge]

Borrows exact keyed durable charges for the retained suffix.

Trait Implementations§

Source§

impl<'a, EF: Debug, V: Debug, LF: Debug> Debug for RecordAdmissionPrestate<'a, EF, V, LF>

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'a, EF, V, LF> Freeze for RecordAdmissionPrestate<'a, EF, V, LF>

§

impl<'a, EF, V, LF> RefUnwindSafe for RecordAdmissionPrestate<'a, EF, V, LF>

§

impl<'a, EF, V, LF> Send for RecordAdmissionPrestate<'a, EF, V, LF>
where V: Sync, EF: Sync, LF: Sync,

§

impl<'a, EF, V, LF> Sync for RecordAdmissionPrestate<'a, EF, V, LF>
where V: Sync, EF: Sync, LF: Sync,

§

impl<'a, EF, V, LF> Unpin for RecordAdmissionPrestate<'a, EF, V, LF>

§

impl<'a, EF, V, LF> UnsafeUnpin for RecordAdmissionPrestate<'a, EF, V, LF>

§

impl<'a, EF, V, LF> UnwindSafe for RecordAdmissionPrestate<'a, EF, V, LF>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.