Struct CodeModuleValue 

pub struct CodeModuleValue { /* private fields */ }

Owned CCMAS value + AST builder. Constructs canonical CCMAS bytes programmatically for reference and testing. alloc-gated — the pipeline binds the borrowed CodeModuleCarrier handle, which needs no allocator. There is no width / count ceiling.

Implementations

impl CodeModuleValue

pub fn parse(raw: &[u8]) -> Result<Self, ShapeViolation>

Parse + canonicalize raw CCMAS bytes (Rivest canonical or token-list form), retaining the canonical bytes.

Errors

A validCcmas/validUtf8SExpr [ShapeViolation] if raw is not a well-formed S-expression.

pub fn module(name: &str, items: &[CodeModuleValue]) -> Self

Build a Module AST node: (3:mod <name> <item>…).

pub fn function( name: &str, parameters: &[CodeModuleValue], return_type: &CodeModuleValue, body: &CodeModuleValue, ) -> Self

Build a Function AST node: (3:fun <name> (<param>…) <ret> <body>).

pub fn atom(text: &str) -> Self

Build an Atom AST node (Identifier, Literal, etc.): <len>:<text>.

pub fn tagged_bytes(&self) -> &[u8]

Borrow the CCMAS canonical bytes.

Trait Implementations

impl Clone for CodeModuleValue

fn clone(&self) -> CodeModuleValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CodeModuleValue

Available on crate feature alloc only.

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

Formats the value using the given formatter.

impl Eq for CodeModuleValue

impl PartialEq for CodeModuleValue

fn eq(&self, other: &CodeModuleValue) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CodeModuleValue