Struct Module 

pub struct Module<State = Unverified> { /* private fields */ }

Explicit constant pool, function table, and entry function, with typestate.

Implementations

impl<State> Module<State>

pub fn constants(&self) -> &[Constant]

pub fn functions(&self) -> &[Function]

pub const fn entry(&self) -> FunctionId

impl Module<Unverified>

pub fn new( constants: Vec<Constant>, functions: Vec<Function>, entry: FunctionId, ) -> Self

pub fn verify(self) -> Result<Module<Verified>, VerifyError>

Consumes untrusted structure and is the only route to Module<Verified>.

Errors

Returns the first structural violation found (bounds, references, CFG, handlers, or definite initialization).

impl Module<Verified>

pub fn certificate(&self, function: FunctionId) -> Option<&Certificate>

pub fn verification_bytes(&self) -> usize

Heap bytes retained by this module’s verification certificates.

pub fn encode(&self) -> Vec<u8>

Emits one deterministic canonical representation.

Trait Implementations

impl<State: Clone> Clone for Module<State>

fn clone(&self) -> Module<State>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<State: Debug> Debug for Module<State>

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

Formats the value using the given formatter.

impl<State: Eq> Eq for Module<State>

impl<State: PartialEq> PartialEq for Module<State>

fn eq(&self, other: &Module<State>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<State: PartialEq> StructuralPartialEq for Module<State>