Trait tc_transact::lock::Mutate

pub trait Mutate: Send {
    type Pending: Clone + Send;
    fn diverge(&self, txn_id: &TxnId) -> Self::Pending;
    fn converge<'life0, 'async_trait>(
        &'life0 mut self, 
        new_value: Self::Pending
    ) -> Pin<Box<dyn Future<Output = ()> + Send + 'async_trait>>
    where
        'life0: 'async_trait,
        Self: 'async_trait;
}

Define a way to manage transaction-specific versions of a state.

Associated Types

type Pending: Clone + Send

The type of this state when pending a transaction commit.

Required methods

fn diverge(&self, txn_id: &TxnId) -> Self::Pending

Create a new transaction-specific version of this state.

fn converge<'life0, 'async_trait>(
    &'life0 mut self,
    new_value: Self::Pending
) -> Pin<Box<dyn Future<Output = ()> + Send + 'async_trait>> where
    'life0: 'async_trait,
    Self: 'async_trait, 

Canonicalize a transaction-specific version.

Implementors

impl<T: Clone + Send> Mutate for Mutable<T>