Trait ExecutionReceiptStorePort 

pub trait ExecutionReceiptStorePort: Send + Sync {
    // Required methods
    fn record_intent<'life0, 'async_trait>(
        &'life0 self,
        intent: ExecutionIntent,
    ) -> Pin<Box<dyn Future<Output = Result<RecordExecutionIntentOutcome, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
    fn intent<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        operation_id: &'life1 ExecutionOperationId,
        claim_fence: &'life2 StepClaimFence,
    ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionIntent>, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
    fn intents<'life0, 'life1, 'async_trait>(
        &'life0 self,
        operation_id: &'life1 ExecutionOperationId,
    ) -> Pin<Box<dyn Future<Output = Result<Vec<ExecutionIntent>, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
    fn operation<'life0, 'life1, 'async_trait>(
        &'life0 self,
        operation_id: &'life1 ExecutionOperationId,
    ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionOperation>, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
    fn receipt<'life0, 'life1, 'async_trait>(
        &'life0 self,
        operation_id: &'life1 ExecutionOperationId,
    ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionReceipt>, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
    fn record_reconciliation_requirement<'life0, 'async_trait>(
        &'life0 self,
        requirement: ExecutionReconciliationRequirement,
    ) -> Pin<Box<dyn Future<Output = Result<(), DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
    fn reconciliation_requirement<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        operation_id: &'life1 ExecutionOperationId,
        claim_fence: &'life2 StepClaimFence,
    ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionReconciliationRequirement>, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
    fn record_receipt<'life0, 'async_trait>(
        &'life0 self,
        receipt: ExecutionReceipt,
    ) -> Pin<Box<dyn Future<Output = Result<RecordExecutionReceiptOutcome, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
    fn recoverable<'life0, 'life1, 'async_trait>(
        &'life0 self,
        after: Option<&'life1 ExecutionRecoveryCursor>,
        limit: ExecutionRecoveryPageLimit,
    ) -> Pin<Box<dyn Future<Output = Result<ExecutionRecoveryPage, DomainError>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
}

Durable intents and immutable terminal receipts for recoverable workers.

Required Methods

fn record_intent<'life0, 'async_trait>( &'life0 self, intent: ExecutionIntent, ) -> Pin<Box<dyn Future<Output = Result<RecordExecutionIntentOutcome, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

fn intent<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, operation_id: &'life1 ExecutionOperationId, claim_fence: &'life2 StepClaimFence, ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionIntent>, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

fn intents<'life0, 'life1, 'async_trait>( &'life0 self, operation_id: &'life1 ExecutionOperationId, ) -> Pin<Box<dyn Future<Output = Result<Vec<ExecutionIntent>, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

fn operation<'life0, 'life1, 'async_trait>( &'life0 self, operation_id: &'life1 ExecutionOperationId, ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionOperation>, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

fn receipt<'life0, 'life1, 'async_trait>( &'life0 self, operation_id: &'life1 ExecutionOperationId, ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionReceipt>, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

fn record_reconciliation_requirement<'life0, 'async_trait>( &'life0 self, requirement: ExecutionReconciliationRequirement, ) -> Pin<Box<dyn Future<Output = Result<(), DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

fn reconciliation_requirement<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, operation_id: &'life1 ExecutionOperationId, claim_fence: &'life2 StepClaimFence, ) -> Pin<Box<dyn Future<Output = Result<Option<ExecutionReconciliationRequirement>, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

fn record_receipt<'life0, 'async_trait>( &'life0 self, receipt: ExecutionReceipt, ) -> Pin<Box<dyn Future<Output = Result<RecordExecutionReceiptOutcome, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

fn recoverable<'life0, 'life1, 'async_trait>( &'life0 self, after: Option<&'life1 ExecutionRecoveryCursor>, limit: ExecutionRecoveryPageLimit, ) -> Pin<Box<dyn Future<Output = Result<ExecutionRecoveryPage, DomainError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors