Struct CapabilityTxn 

pub struct CapabilityTxn<S> { /* private fields */ }

Atomic capability contribution transaction guarded by Rust typestate.

Only CapabilityTxn<Validated> exposes commit. A prepared transaction cannot publish, and dropping any uncommitted state transfers all completed effects to the catalog-owned asynchronous rollback queue.

use a3s_code_core::capability::{CapabilityTxn, Prepared};

fn publish_without_validation(txn: CapabilityTxn<Prepared>) {
    let _ = txn.commit();
}

Implementations

impl CapabilityTxn<Staged>

pub fn stage<A>( &mut self, id: CapabilityId, adapter: A, ) -> Result<&mut Self, CapabilityProjectionError>

where A: CapabilityProjectionAdapter,

pub fn stage_value( &mut self, id: CapabilityId, value: CapabilityValue, ) -> Result<&mut Self, CapabilityProjectionError>

pub async fn prepare( self, cancellation: CancellationToken, ) -> Result<CapabilityTxn<Prepared>, CapabilityProjectionError>

impl CapabilityTxn<Prepared>

pub fn validate( self, ) -> Result<CapabilityTxn<Validated>, CapabilityProjectionError>

impl CapabilityTxn<Validated>

pub fn commit( self, ) -> Result<CapabilityCommitReceipt, CapabilityProjectionError>

impl<S> CapabilityTxn<S>

pub fn base(&self) -> Result<&CapabilityCatalogStamp, CapabilityProjectionError>

pub fn target(&self) -> Result<&CapabilitySet, CapabilityProjectionError>

Trait Implementations

impl<S> Debug for CapabilityTxn<S>

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

Formats the value using the given formatter.