Skip to main content

dex_sdk/
wait.rs

1// Copyright (c) 2026 Super Durable, Inc.
2//
3// Licensed under the Sustainable Use License 1.0.
4// You may not use this file except in compliance with the License.
5// See the LICENSE file in the repository root.
6//
7// SPDX-License-Identifier: LicenseRef-Sustainable-Use-1.0
8
9use std::any::TypeId;
10use std::sync::Arc;
11use std::time::Duration;
12
13use dex_protocol::dex::Value as ProtoValue;
14
15use crate::SubFlowOptions;
16
17/// Describes when Dex may invoke a Step's `execute` handler.
18///
19/// Build waits from durable timer and Channel [`Condition`] values. Combinators consume their
20/// inputs and preserve order, which determines timer indexes used by [`crate::TimerId`].
21///
22/// # Examples
23///
24/// ```
25/// use dex_sdk::{Channel, Timer, Wait};
26/// use std::time::Duration;
27///
28/// let approvals = Channel::<String>::new("approvals");
29/// let wait = Wait::any_of([
30///     approvals.for_one(),
31///     Timer::by_duration(Duration::from_secs(300)),
32/// ]);
33/// ```
34pub struct Wait {
35    pub(crate) kind: WaitKind,
36}
37
38pub(crate) enum WaitKind {
39    SkipImmediately,
40    AllOf(Vec<Condition>),
41    AnyOf(Vec<Condition>),
42    AnyCombinationOf(Vec<ConditionCombination>),
43}
44
45impl Wait {
46    /// Skips `wait_for` and asks Dex to invoke `execute` immediately.
47    pub fn skip_immediately() -> Self {
48        Self {
49            kind: WaitKind::SkipImmediately,
50        }
51    }
52
53    /// Waits until one condition is satisfied. The Condition does not need an ID.
54    pub fn until(condition: Condition) -> Self {
55        Self::all_of([condition])
56    }
57
58    /// Waits until every condition is satisfied. Conditions do not need IDs.
59    pub fn all_of(conditions: impl IntoIterator<Item = Condition>) -> Self {
60        Self {
61            kind: WaitKind::AllOf(conditions.into_iter().collect()),
62        }
63    }
64
65    /// Waits until at least one condition is satisfied. Conditions do not need IDs.
66    ///
67    /// Among ready conditions, Dex selects the first in canonical order: Timers, Channels, then
68    /// SubFlows, preserving iterator order within each kind. An unready condition does not block a
69    /// later ready condition. To wait for strict priority, return only the higher-priority
70    /// condition.
71    ///
72    /// Channel consumption is not greedy across alternatives. Only the selected Channel condition
73    /// consumes messages; other ready Channel conditions consume nothing.
74    pub fn any_of(conditions: impl IntoIterator<Item = Condition>) -> Self {
75        Self {
76            kind: WaitKind::AnyOf(conditions.into_iter().collect()),
77        }
78    }
79
80    /// Waits for every Condition in any combination.
81    ///
82    /// Channel consumption is limited to Channel conditions in the selected combination.
83    /// Conditions belonging only to other ready combinations consume nothing.
84    ///
85    /// Every Condition needs a non-empty user ID. Clones of the same Condition
86    /// may be reused across combinations; distinct Conditions need unique IDs.
87    pub fn any_combination_of(
88        combinations: impl IntoIterator<Item = ConditionCombination>,
89    ) -> Self {
90        Self {
91            kind: WaitKind::AnyCombinationOf(combinations.into_iter().collect()),
92        }
93    }
94}
95
96/// Represents one durable timer, Channel, or SubFlow predicate.
97///
98/// Conditions are created by [`crate::Timer`], [`crate::Channel`], [`crate::ChannelMap`], or
99/// [`crate::Join`]. Assign an ID when identifying a timer independently or using
100/// [`Wait::any_combination_of`].
101#[derive(Clone)]
102pub struct Condition {
103    pub(crate) identity: Arc<ConditionIdentity>,
104    pub(crate) id: Option<String>,
105    pub(crate) kind: ConditionKind,
106}
107
108pub(crate) struct ConditionIdentity;
109
110#[derive(Clone)]
111pub(crate) enum ConditionKind {
112    Timer(Duration),
113    Channel {
114        name: String,
115        instance: Option<String>,
116        at_least: Option<usize>,
117        at_most: Option<usize>,
118    },
119    SubFlow(Box<SubFlowDefinition>),
120    /// Fails Wait mapping with this reason; builders defer validation errors this way.
121    Invalid(String),
122}
123
124#[derive(Clone)]
125pub(crate) struct SubFlowDefinition {
126    pub(crate) flow_type: &'static str,
127    pub(crate) type_id: TypeId,
128    pub(crate) input: ProtoValue,
129    pub(crate) options: SubFlowOptions,
130}
131
132impl Condition {
133    pub(crate) fn timer(duration: Duration) -> Self {
134        Self {
135            identity: Arc::new(ConditionIdentity),
136            id: None,
137            kind: ConditionKind::Timer(duration),
138        }
139    }
140
141    pub(crate) fn channel(
142        name: String,
143        instance: Option<String>,
144        at_least: Option<usize>,
145        at_most: Option<usize>,
146    ) -> Self {
147        Self {
148            identity: Arc::new(ConditionIdentity),
149            id: None,
150            kind: ConditionKind::Channel {
151                name,
152                instance,
153                at_least,
154                at_most,
155            },
156        }
157    }
158
159    pub(crate) fn sub_flow(definition: SubFlowDefinition) -> Self {
160        let id = definition.options.condition_id.clone();
161        Self {
162            identity: Arc::new(ConditionIdentity),
163            id,
164            kind: ConditionKind::SubFlow(Box::new(definition)),
165        }
166    }
167
168    pub(crate) fn invalid(reason: String) -> Self {
169        Self {
170            identity: Arc::new(ConditionIdentity),
171            id: None,
172            kind: ConditionKind::Invalid(reason),
173        }
174    }
175
176    /// Assigns a stable ID used by [`crate::TimerId::by_condition_id`].
177    pub fn with_id(mut self, id: impl Into<String>) -> Self {
178        self.id = Some(id.into());
179        self
180    }
181}
182
183/// Groups conditions that must all succeed as one branch of [`Wait::any_combination_of`].
184pub struct ConditionCombination {
185    pub(crate) conditions: Vec<Condition>,
186}
187
188impl ConditionCombination {
189    /// Creates a branch satisfied only when all `conditions` are satisfied.
190    pub fn all_of(conditions: impl IntoIterator<Item = Condition>) -> Self {
191        Self {
192            conditions: conditions.into_iter().collect(),
193        }
194    }
195}