Enum AfterPredicate 

pub enum AfterPredicate {
    Succeeds,
    Fails,
    Completes,
    TimedOut,
    Cancelled,
    Held,
    Contended,
    Ok,
    Over,
    Promoted,
    Conflicted,
    Applied,
    Stranded,
    Reaches,
}

Variants

Succeeds

Fails

Completes

TimedOut

Terminal statuses from the canonical terminal union (spec/expression-kernel.md): the effect reached a non-success terminal state. TimedOut is spelled times out; Cancelled is cancelled.

Cancelled

Held

Coordination outcomes (spec/coordination.md): the effect completed and its sum-typed value carries the matching variant.

Contended

Ok

Over

Promoted

std.vcs promotion outcomes (DR-0052 grammar pass, the acquire pattern one tier up): the boundary hop COMPLETES with variant Promoted|Conflicted — refusal is data, and succeeds is refused on a promote binding so no workflow proceeds “as if promoted” on a conflicted boundary.

Conflicted

Applied

std.vcs selective-verb outcomes (DR-0052 R4): undo and transport COMPLETE with Applied|Stranded / Applied|Conflicted — the proposal landed, or the dependency-closure / certified precondition refused, as data. Same enforcement as promote/acquire.

Stranded

Reaches

after p reaches "<name>" as m (Family C, child-milestone lifecycle): the invoked child workflow p projected the named milestone mid-flight. The milestone name is carried on AfterBlock.milestone, keeping this variant fieldless/Copy. See spec/decision-records/discriminated-families-design.md section 7.3.

Implementations

impl AfterPredicate

pub fn kernel_str(&self) -> &'static str

The kernel text-scanner’s spelling of this predicate (what after <binding> <predicate> looks like in body text).

impl AfterPredicate

pub fn as_str(&self) -> &'static str

Trait Implementations

impl Clone for AfterPredicate

fn clone(&self) -> AfterPredicate

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for AfterPredicate

impl Debug for AfterPredicate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for AfterPredicate

impl PartialEq for AfterPredicate

fn eq(&self, other: &AfterPredicate) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for AfterPredicate