Skip to main content

ProjectedOrdinaryRecord

Struct ProjectedOrdinaryRecord 

Source
pub struct ProjectedOrdinaryRecord { /* private fields */ }
Expand description

Sealed ordinary fixed-point poststate for one atomic durable transaction.

Implementations§

Source§

impl ProjectedOrdinaryRecord

Source

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

Borrows the atomically projected claim frontiers.

Source

pub const fn floor(&self) -> FloorComputation

Returns the complete preferred/cap/resulting floor computation.

Source

pub const fn retained_charge(&self) -> WideResourceVector

Returns exact physical retained occupancy after the floor transition.

Source

pub const fn baseline(&self) -> WideResourceVector

Returns exact post-projection baseline B.

Source

pub const fn accounting(&self) -> ClosureAccounting

Returns the resulting zero-debt closure accounting.

Source

pub const fn required_capacity(&self) -> RequiredCapacityPlan

Returns the exact ordinary required-capacity envelope.

Source

pub const fn order(&self) -> OrderAllocation

Returns the admitted caller-major allocation.

Source

pub const fn sequence(&self) -> SequenceAdmission

Returns the admitted caller-sequence allocation and resulting reserve.

Source

pub const fn observer_floor(&self) -> ObserverFloorPermit

Returns the shared stage-11 permit selected before frontier mutation.

Source

pub const fn closure(&self) -> RemainingClosurePermit

Returns the shared stage-12 permit selected before frontier mutation.

Source

pub const fn caller_record(&self) -> RetainedCausalRecord

Returns the exact retained caller record.

Source

pub const fn caller_charge(&self) -> RetainedRecordCharge

Returns the caller record’s exact keyed storage charge.

Source

pub fn retained_records(&self) -> &[RetainedCausalRecord]

Borrows every projected retained causal row in sequence order.

Source

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

Borrows one exact keyed charge per projected retained row.

Source

pub fn new_marker_candidates(&self) -> &[MarkerCandidateAuthority]

Borrows newly planned markers in canonical participant order.

Source

pub fn into_frontiers(self) -> ClaimFrontiers

Consumes the projection into its updated frontier authority after the caller has persisted the accompanying rows and accounting atomically.

Trait Implementations§

Source§

impl Debug for ProjectedOrdinaryRecord

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Eq for ProjectedOrdinaryRecord

Source§

impl PartialEq for ProjectedOrdinaryRecord

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ProjectedOrdinaryRecord

Auto Trait Implementations§

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.