pub struct PreparedRecordCommit { /* private fields */ }Expand description
Immutable prepared replacements. Construct before opening a physical writer.
Implementations§
Source§impl PreparedRecordCommit
impl PreparedRecordCommit
Sourcepub fn required_keys(&self) -> impl Iterator<Item = &[u8]>
pub fn required_keys(&self) -> impl Iterator<Item = &[u8]>
Keys validated without being written. Providers must charge any temporary driver bindings for these keys as well as replacement records.
Source§impl PreparedRecordCommit
impl PreparedRecordCommit
pub fn new( writes: &[RecordWrite<'_>], control: &StorageReadControl, ) -> VersionResult<Self>
pub fn records(&self) -> &[PreparedRecordWrite]
Sourcepub fn validate_snapshot(&self, current: CommitSequence) -> VersionResult<()>
pub fn validate_snapshot(&self, current: CommitSequence) -> VersionResult<()>
Check the snapshot used to discover derived dependencies under exclusive admission, after resolving any existing receipt and before validating record heads. A mismatch proves this pending attempt has not published and permits pure effect preparation to restart.
pub fn fingerprint(&self) -> CommitFingerprint
Sourcepub fn validate(
&self,
cancellation: &CancellationToken,
head_revision: impl FnMut(&[u8]) -> VersionResult<Option<CommitSequence>>,
) -> VersionResult<()>
pub fn validate( &self, cancellation: &CancellationToken, head_revision: impl FnMut(&[u8]) -> VersionResult<Option<CommitSequence>>, ) -> VersionResult<()>
Check all preconditions under the provider’s exclusive commit boundary. The callback reads current committed heads, not the caller’s old snapshot.
Auto Trait Implementations§
impl Freeze for PreparedRecordCommit
impl RefUnwindSafe for PreparedRecordCommit
impl Send for PreparedRecordCommit
impl Sync for PreparedRecordCommit
impl Unpin for PreparedRecordCommit
impl UnsafeUnpin for PreparedRecordCommit
impl UnwindSafe for PreparedRecordCommit
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more