telltale-machine 17.0.0

Protocol machine for choreographic session type protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

//! Persistence model for protocol-machine state deltas.

use serde::{Deserialize, Serialize};

use crate::session::SessionId;

/// Persistence-model contract.
pub trait PersistenceModel {
    /// Persistent state representation.
    type PState: Clone;
    /// Delta representation for incremental updates.
    type Delta: Clone;

    /// Apply one delta to state.
    ///
    /// # Errors
    ///
    /// Returns an error if the delta cannot be applied.
    fn apply(state: &mut Self::PState, delta: &Self::Delta) -> Result<(), String>;

    /// Derive a delta between two states.
    ///
    /// # Errors
    ///
    /// Returns an error if derivation fails.
    fn derive(before: &Self::PState, after: &Self::PState) -> Result<Self::Delta, String>;

    /// Open-session lifecycle delta.
    #[must_use]
    fn open_delta(session: SessionId) -> Self::Delta;

    /// Close-session lifecycle delta.
    #[must_use]
    fn close_delta(session: SessionId) -> Self::Delta;

    /// Optional invoke-action delta.
    #[must_use]
    fn invoke_delta(_session: SessionId, _action: &str) -> Option<Self::Delta> {
        None
    }
}

/// No-op persistence model useful for tests and default ProtocolMachine construction.
#[derive(Debug, Clone, Copy, Default, Serialize, Deserialize)]
pub struct NoopPersistence;

impl PersistenceModel for NoopPersistence {
    type PState = ();
    type Delta = ();

    fn apply(_state: &mut Self::PState, _delta: &Self::Delta) -> Result<(), String> {
        Ok(())
    }

    fn derive(_before: &Self::PState, _after: &Self::PState) -> Result<Self::Delta, String> {
        Ok(())
    }

    fn open_delta(_session: SessionId) -> Self::Delta {}

    fn close_delta(_session: SessionId) -> Self::Delta {}
}