Enum Effect 

pub enum Effect {
    Print {
        expr: Expr,
        span: Option<Span>,
    },
    Let {
        name: String,
        value: Expr,
        constant: bool,
        span: Option<Span>,
    },
    Assert {
        prop: Prop,
        span: Option<Span>,
    },
    Output {
        expr: Expr,
        span: Option<Span>,
    },
    Unwrap {
        name: String,
        pair: Expr,
        data: String,
        ctors: Vec<String>,
        ty: Type,
        span: Option<Span>,
    },
}

Variants

Print

Fields

expr: Expr

span: Option<Span>

Let

Fields

name: String

value: Expr

constant: bool

span: Option<Span>

Assert

Fields

prop: Prop

span: Option<Span>

Output

Prints the lines expr holds, oldest first (see output).

Fields

expr: Expr

span: Option<Span>

Unwrap

Binds name to the value of pair, made by the first of ctors, or stops main with the message of its abort, made by the second (see output).

Fields

name: String

pair: Expr

data: String

ctors: Vec<String>

ty: Type

span: Option<Span>

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Effect

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Effect

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Effect

impl PartialEq for Effect

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Effect

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 Effect