Expand description
Core traits and helper types shared by Statum crates.
Most users reach these through the top-level statum crate. This crate
holds the small runtime surface that macro-generated code targets:
- state marker traits
- transition capability traits
- runtime error and result types
- projection helpers for event-log style rebuilds
- optional machine introspection and presentation descriptors generated by
#[machine]/#[transition]when theintrospectionfeature is enabled
Modules§
- projection
- Event-stream projection helpers for Statum rebuild flows.
Structs§
- Rebuild
Attempt - One validator evaluation recorded during typed rehydration.
- Rebuild
Input - Describes the persisted input that a rebuild report evaluated.
- Rebuild
Report - A typed rehydration result plus the validator attempts that produced it.
- Rejection
- A structured validator rejection captured during typed rehydration.
Enums§
- Branch
- A first-class two-way branching transition result.
- Error
- Errors returned by Statum runtime helpers.
- Rebuild
Ambiguity - Ambiguity status for a rebuild report.
Traits§
- CanTransition
Map - A machine that can transition by mapping its current state data into
Next. - CanTransition
To - A machine that can transition directly to
Next. - CanTransition
With - A machine that can transition using
Data. - Data
State - A generated state marker that carries payload data.
- State
Marker - A generated state marker type.
- Unit
State - A generated state marker with no payload.
Type Aliases§
- Result
- Convenience result alias used by Statum APIs.
- Validation
- An opt-in validator result that carries structured rejection details.