Struct ContractValue 

pub struct ContractValue { /* private fields */ }

A transport-neutral contract value with an invariant-preserving private representation.

All floating-point values are finite, so structural equality is reflexive in practice. IEEE equality still treats 0.0 and -0.0 as equal.

Implementations

impl ContractValue

pub fn null() -> Self

Constructs a null value.

pub fn bool(value: bool) -> Self

Constructs a boolean value.

pub fn i64(value: i64) -> Self

Constructs a signed 64-bit integer value.

pub fn u64(value: u64) -> Self

Constructs an unsigned 64-bit integer value.

pub fn f32(value: f32) -> Result<Self, ValueError>

Constructs a finite 32-bit floating-point value.

pub fn f64(value: f64) -> Result<Self, ValueError>

Constructs a finite 64-bit floating-point value.

pub fn string(value: impl Into<String>) -> Self

Constructs a UTF-8 string value.

pub fn bytes(value: impl Into<Vec<u8>>) -> Self

Constructs a byte string value.

pub fn list(items: impl IntoIterator<Item = ContractValue>) -> Self

Constructs a list. Only contract values can be nested, so Missing cannot appear inside a list.

use boxology_contract::{ContractValue, SlotValue};
let _ = ContractValue::list([SlotValue::Missing]);

pub fn object( entries: impl IntoIterator<Item = (String, ContractValue)>, ) -> Result<Self, ValueError>

Constructs an insertion-ordered object with unique keys. Object values cannot be Missing because they are contract values rather than slots.

use boxology_contract::{ContractValue, SlotValue};
let _ = ContractValue::object([("key".into(), SlotValue::Missing)]);

pub fn enum_value(tag: impl Into<String>, payload: SlotValue) -> Self

Constructs an enum node. A missing payload is legal at this call-slot boundary.

pub fn opaque(payload: OpaquePayload) -> Self

Constructs an opaque transport-neutral value.

pub fn sensitive(inner: ContractValue) -> Self

Marks an entire value subtree as sensitive for diagnostic redaction.

pub fn view(&self) -> ValueRef<'_>

Borrows this value through its read-only semantic view.

Trait Implementations

impl Clone for ContractValue

fn clone(&self) -> ContractValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractValue

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

Formats the value using the given formatter.

impl PartialEq for ContractValue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ContractValue