Skip to main content

aura_guards/
prelude.rs

1//! Aura Guards prelude.
2//!
3//! Curated re-exports for guard-chain usage without pulling in extra modules.
4
5pub use crate::guards::chain::{
6    create_send_guard, create_send_guard_op, SendGuardChain, SendGuardResult,
7};
8pub use crate::guards::execution::execute_guarded_operation;
9pub use crate::guards::executor::{execute_guarded_choreography, BorrowedEffectInterpreter};
10pub use crate::guards::{
11    GuardContextProvider, GuardEffects, GuardOperation, GuardedExecutionResult, JournalCoupler,
12    LeakageBudget, ProtocolGuard,
13};
14
15/// Composite effect requirements for guard-chain usage.
16pub trait GuardsEffects:
17    GuardEffects + GuardContextProvider + aura_core::effects::time::PhysicalTimeEffects
18{
19}
20
21impl<T> GuardsEffects for T where
22    T: GuardEffects + GuardContextProvider + aura_core::effects::time::PhysicalTimeEffects
23{
24}