Enum AuthorityExpr 

pub enum AuthorityExpr {
    Var(String),
    Check {
        effect: String,
        operation: String,
        args: Vec<String>,
    },
    Observe {
        effect: String,
        operation: String,
        args: Vec<String>,
    },
    Transfer {
        subject: String,
        from: String,
        to: String,
    },
    Constructor {
        name: String,
        arg: Option<String>,
    },
    Call {
        name: String,
        args: Vec<String>,
    },
}

Authority- or evidence-oriented expression surface syntax.

Variants

Var(String)

Check

Fields

effect: String

operation: String

args: Vec<String>

Observe

Fields

effect: String

operation: String

args: Vec<String>

Transfer

Fields

subject: String

from: String

to: String

Constructor

Fields

name: String

arg: Option<String>

Call

Fields

name: String

args: Vec<String>

Trait Implementations

impl Clone for AuthorityExpr

fn clone(&self) -> AuthorityExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AuthorityExpr

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

Formats the value using the given formatter.

impl PartialEq for AuthorityExpr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AuthorityExpr

impl StructuralPartialEq for AuthorityExpr