Enum FlowStep 

pub enum FlowStep {
    Step(StepNode),
    If(ConditionalNode),
    ForIn(ForInStatement),
    Let(LetStatement),
    Return(ReturnStatement),
    Break(BreakStatement),
    Continue(ContinueStatement),
    LambdaDataApply(LambdaDataApplyNode),
    Probe(ProbeStep),
    Reason(ReasonStep),
    Validate(ValidateStep),
    Refine(RefineStep),
    Weave(WeaveStep),
    UseTool(UseToolStep),
    Remember(RememberStep),
    Recall(RecallStep),
    Par(ParBlock),
    Hibernate(HibernateStep),
    Deliberate(DeliberateBlock),
    Consensus(ConsensusBlock),
    Forge(ForgeBlock),
    Focus(FocusStep),
    Associate(AssociateStep),
    Aggregate(AggregateStep),
    ExploreStep(ExploreStepNode),
    Ingest(IngestStep),
    ShieldApply(ShieldApplyStep),
    Stream(StreamBlock),
    Navigate(NavigateStep),
    Drill(DrillStep),
    Trail(TrailStep),
    Corroborate(CorroborateStep),
    OtsApply(OtsApplyStep),
    MandateApply(MandateApplyStep),
    ComputeApply(ComputeApplyStep),
    Listen(ListenStep),
    DaemonStep(DaemonStepNode),
    Emit(EmitStatement),
    Publish(PublishStatement),
    Discover(DiscoverStatement),
    Persist(PersistStep),
    Retrieve(RetrieveStep),
    Mutate(MutateStep),
    Purge(PurgeStep),
    Transact(TransactBlock),
    GenericStep(GenericFlowStep),
}

Statements that can appear inside a flow body.

Variants

Step(StepNode)

If(ConditionalNode)

ForIn(ForInStatement)

Let(LetStatement)

Return(ReturnStatement)

Break(BreakStatement)

Fase 19.e — break keyword. Payload-free; carries only its source location for error reporting.

Continue(ContinueStatement)

Fase 19.e — continue keyword. Payload-free; same shape as Break.

LambdaDataApply(LambdaDataApplyNode)

Lambda Data application in a flow step.

Probe(ProbeStep)

Reason(ReasonStep)

Validate(ValidateStep)

Refine(RefineStep)

Weave(WeaveStep)

UseTool(UseToolStep)

Remember(RememberStep)

Recall(RecallStep)

Par(ParBlock)

Hibernate(HibernateStep)

Deliberate(DeliberateBlock)

Consensus(ConsensusBlock)

Forge(ForgeBlock)

Focus(FocusStep)

Associate(AssociateStep)

Aggregate(AggregateStep)

ExploreStep(ExploreStepNode)

Ingest(IngestStep)

ShieldApply(ShieldApplyStep)

Stream(StreamBlock)

Navigate(NavigateStep)

Drill(DrillStep)

Trail(TrailStep)

Corroborate(CorroborateStep)

OtsApply(OtsApplyStep)

MandateApply(MandateApplyStep)

ComputeApply(ComputeApplyStep)

Listen(ListenStep)

DaemonStep(DaemonStepNode)

Emit(EmitStatement)

§λ-L-E Fase 13 — π-calculus output prefix c⟨v⟩.P (Chan-Output / Chan-Mobility).

Publish(PublishStatement)

§λ-L-E Fase 13 — capability extrusion (Publish-Ext, paper §4.3).

Discover(DiscoverStatement)

§λ-L-E Fase 13 — dual of publish (dynamic typed handle import).

Persist(PersistStep)

Retrieve(RetrieveStep)

Mutate(MutateStep)

Purge(PurgeStep)

Transact(TransactBlock)

GenericStep(GenericFlowStep)

Flow-level statements we recognize but parse structurally.

Trait Implementations

impl Debug for FlowStep

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

Formats the value using the given formatter.