Skip to main content

Module view

Module view 

Source
Expand description

Zero-copy views over a validated image.

A InfinityView can only be built from bytes that passed crate::validate::validate, so every accessor is bounds-checked by construction. Variable-length payloads (strings, blobs, secrets) are returned as borrows into the caller’s buffer — no copy, no alignment requirement, and no unsafe: the format stores integers little-endian and the view decodes them with from_le_bytes, which makes the zero-copy contract memory-safe by construction (ADR-0004).

Structs§

InfinityView
A validated, borrow-only module view.
NodeView
A node record in a validated image.

Functions§

node_kind_name
Display name of a node kind.