Enum Stmt 

pub enum Stmt {
    Sample {
        var: String,
        addr: Addr,
        dist: DistCall,
    },
    Let {
        var: String,
        value: Expr,
    },
    Assign {
        var: String,
        value: Expr,
    },
    Observe {
        addr: Addr,
        dist: DistCall,
        value: Expr,
    },
    Factor {
        logw: Expr,
    },
    For {
        var: String,
        start: Expr,
        end: Expr,
        body: Vec<Stmt>,
    },
    If {
        cond: Expr,
        then_branch: Vec<Stmt>,
        else_branch: Vec<Stmt>,
    },
    Break {},
}

A statement. The JSON form is an object tagged by "stmt".

Variants

Sample

let var <- sample(addr, dist); — draw from dist at addr and bind the draw (with the site’s natural type) to var.

Fields

var: String

The variable the draw is bound to.

addr: Addr

The site’s address.

dist: DistCall

The distribution to draw from.

Let

let var = value; — bind a new variable (shadowing any outer one until the end of the enclosing block).

Fields

var: String

The new variable.

value: Expr

Its value.

Assign

var = value; — reassign a variable bound by an enclosing let (or by the data). The new value is visible for the rest of that variable’s scope, including later iterations of an enclosing loop.

Fields

var: String

The variable to reassign.

value: Expr

Its new value.

Observe

observe(addr, dist, value); — condition on value under dist.

Fields

addr: Addr

The observation’s address.

dist: DistCall

The distribution the value is scored under.

value: Expr

The observed value.

Factor

factor(logw); — add logw to the execution’s log-weight.

Fields

logw: Expr

The log-weight.

For

for var in start..end { body } — run body with var bound to each integer of the half-open range, evaluated once on entry.

Fields

var: String

The loop variable (scoped to the body).

start: Expr

Inclusive start.

end: Expr

Exclusive end.

body: Vec<Stmt>

The loop body.

If

if cond { then } else { else } (else optional; else if chains nest an If as the only statement of the else branch).

Fields

cond: Expr

The condition.

then_branch: Vec<Stmt>

Statements run when the condition is true.

else_branch: Vec<Stmt>

Statements run when it is false (omitted from JSON when empty).

Break

break; — leave the innermost for loop.

Trait Implementations

impl Clone for Stmt

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Stmt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Stmt

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Stmt

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Stmt

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Stmt