Struct EvaluatorFunction 

pub struct EvaluatorFunction {
    pub span: SourceSpan,
    pub name: Identifier,
    pub params: Vec<TraceSegment>,
    pub body: Vec<Statement>,
}

Evaluator functions take a vector of trace bindings as parameters where each trace binding represents one or a group of columns in the execution trace that are passed to the evaluator function, and enforce integrity constraints on those trace columns.

Fields

span: SourceSpan

name: Identifier

params: Vec<TraceSegment>

body: Vec<Statement>

Implementations

impl EvaluatorFunction

pub const fn new( span: SourceSpan, name: Identifier, params: Vec<TraceSegment>, body: Vec<Statement>, ) -> Self

Creates a new function.

Trait Implementations

impl Clone for EvaluatorFunction

fn clone(&self) -> EvaluatorFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvaluatorFunction

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

Formats the value using the given formatter.

impl PartialEq for EvaluatorFunction

fn eq(&self, other: &Self) -> 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 Spanned for EvaluatorFunction

fn span(&self) -> SourceSpan

impl Eq for EvaluatorFunction