#[non_exhaustive]pub enum CompositeBody {
AllOf {
members: Vec<ResumeCondition>,
},
Count {
n: u32,
count_kind: CountKind,
matcher: Option<SignalMatcher>,
waitpoints: Vec<String>,
},
}Expand description
RFC-013 reserves this enum slot; RFC-014 populates it with the
concrete composition vocabulary (AllOf + Count). The enum is
#[non_exhaustive] so RFC-016 or later RFCs may add variants
(AnyOf has been explicitly rejected per RFC-014 §2.3 in favour of
Count { n: 1, .. }; the guard exists for orthogonal future work).
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
AllOf
All listed sub-conditions must be satisfied. Order-independent. Once satisfied, further signals to member waitpoints are observed but do not re-open satisfaction. RFC-014 §2.1.
Fields
members: Vec<ResumeCondition>Count
At least n distinct satisfiers (by CountKind) must match.
matcher optionally constrains participating signals; None
lets any signal on any of waitpoints count. RFC-014 §2.1.
Implementations§
Source§impl CompositeBody
impl CompositeBody
Sourcepub fn all_of(members: impl IntoIterator<Item = ResumeCondition>) -> Self
pub fn all_of(members: impl IntoIterator<Item = ResumeCondition>) -> Self
AllOf { members } constructor (RFC-014 §10.3 SDK surface).
Sourcepub fn count(
n: u32,
count_kind: CountKind,
matcher: Option<SignalMatcher>,
waitpoints: impl IntoIterator<Item = String>,
) -> Self
pub fn count( n: u32, count_kind: CountKind, matcher: Option<SignalMatcher>, waitpoints: impl IntoIterator<Item = String>, ) -> Self
Count constructor with explicit kind + waitpoint set.
Trait Implementations§
Source§impl Clone for CompositeBody
impl Clone for CompositeBody
Source§fn clone(&self) -> CompositeBody
fn clone(&self) -> CompositeBody
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more