Struct Inputs 

pub struct Inputs { /* private fields */ }

The verified inputs a macro phase may read.

Construction is the verification: an Inputs cannot hold bytes that do not match their declared hash, because Inputs::bind is the only way in and it checks. That is why the reading primitive has no error path for a bad hash — the state is unrepresentable rather than guarded against.

Implementations

impl Inputs

pub fn new() -> Self

pub fn hash_of(bytes: &[u8]) -> String

The BLAKE3 content hash of bytes, in declaration form.

pub fn bind( &mut self, decl: &Declaration, bytes: Vec<u8>, ) -> Result<(), InputError>

Bind bytes to a declaration, verifying the hash.

Refuses on mismatch. Accepting the bytes and warning would defeat the point: the declaration is a claim about which bytes, and honouring a different set makes the build irreproducible in exactly the way content addressing exists to prevent.

pub fn get(&self, name: &str) -> Option<&[u8]>

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Inputs

fn clone(&self) -> Inputs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Inputs

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

Formats the value using the given formatter.

impl Default for Inputs

fn default() -> Inputs

Returns the “default value” for a type.