Enum Clause 

pub enum Clause {
    Given {
        events: Core,
        actor: Option<Arc<str>>,
        span: Span,
    },
    When {
        actor: Option<Arc<str>>,
        commands: Vec<Core>,
        span: Span,
    },
    Stub {
        atom: Effect,
        params: Vec<VarId>,
        value: Core,
        span: Span,
    },
    Expect {
        what: Expectation,
        span: Span,
    },
}

Variants

Given

given [Added(…)] by "ana" — the log the state is folded from.

Fields

events: Core

actor: Option<Arc<str>>

span: Span

When

when session("ana") sends Add(…), Toggle(…) — proposals through the real validate.

Fields

actor: Option<Arc<str>>

commands: Vec<Core>

span: Span

Stub

stub net.out(payments.example.com): Declined — §21.3 rules 2 and 3.

Fields

atom: Effect

params: Vec<VarId>

The stubbed definition’s parameters, when the stub answers from them (rule 3). Empty for a plain value (rule 2), which is evaluated once and does not see the call.

value: Core

span: Span

Expect

Fields

what: Expectation

span: Span

Trait Implementations

impl Clone for Clause

fn clone(&self) -> Clause

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Clause

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

Formats the value using the given formatter.