legend 0.1.0

Strict, composable saga VM for sequential workflows with compensation
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

#![deny(missing_docs)]

//! Legend — strict composable sagas for sequential workflows.
//!
//! # Design Goals
//!
//! Legend is focused on **compile-time guarantees**:
//!
//! - **HList-based sequences**: Empty programs are compile errors, not runtime panics
//! - **Typestate execution**: Invalid state transitions are caught at compile time
//! - **Strict compensation**: No silent failures - compensation must explicitly succeed or fail
//!
//! # Core Concepts
//!
//! - [`Step`]: A single operation with `execute` and `compensate`
//! - [`Execution`]: Runtime state with typestate tracking (`New`, `Paused`, `Completed`, `Failed`)
//!
// Re-export paste for macros
pub use paste;

// Modules
pub mod execution;
pub mod hlist;
mod macros;
pub mod step;
pub mod store;

// Re-exports for convenience
pub use execution::{
    Completed, Execution, ExecutionPhase, ExecutionResult, ExecutionState, Failed, New, Paused,
    StepStatus, StepTiming,
};
pub use hlist::{BlockResult, HCons, HNil, HSingle, InstructionList};
pub use step::{CompensationOutcome, RetryPolicy, Step, StepOutcome, StepWrapper};
pub use store::{ExecutionId, InMemoryStore, PausedRecord, Store, StoreError};

#[cfg(test)]
mod tests;