Struct Function 

pub struct Function {
    pub name: String,
    pub arity: u16,
    pub locals_count: u16,
    pub code: Vec<Op>,
    pub effects: Vec<DeclaredEffect>,
    pub body_hash: BodyHash,
    pub refinements: Vec<Option<Refinement>>,
}

Fields

name: String

arity: u16

locals_count: u16

code: Vec<Op>

effects: Vec<DeclaredEffect>

Declared effects on this function’s signature (spec §7).

body_hash: BodyHash

Content hash of the bytecode body — see compute_body_hash. Populated at the end of the compile pass; used at Op::MakeClosure to give every Value::Closure a canonical identity that does not depend on the closure literal’s source location (#222).

refinements: Vec<Option<Refinement>>

Per-parameter refinement predicates (#209 slice 3). Some(r) for params declared with Type{x | predicate}, None otherwise. The VM evaluates these at Op::Call time before pushing the frame; failure raises VmError::RefinementFailed and the tracer records a verdict event with the same shape as a runtime gate’s gate.verdict.

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Function

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Function

fn eq(&self, other: &Function) -> 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 Serialize for Function

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 Function