Enum Value 

pub enum Value {
    Unit,
    Bool(bool),
    Int(i64),
    Float(f64),
    Pid(u64),
    Message(Message),
    Cap(u64),
    Str(Arc<str>),
    Bytes(Arc<[u8]>),
}

A dynamically-tagged runtime value.

Value::Cap is an unforgeable address for Send / Ask (phase 2). Value::Pid remains for identity inside authenticated messages (Message.sender / msg_sender), not for ambient addressing.

Value::Str / Value::Bytes are heap payloads shared via Arc so register moves and mailbox hops clone the handle, not the buffer.

Variants

Unit

Bool(bool)

Int(i64)

Float(f64)

Pid(u64)

Internal / message identity (FlowId as u64). Not a Send target.

Message(Message)

Atomic Hop envelope. See Message.

Cap(u64)

Unforgeable capability (CapId as u64). Required for Send / Ask.

Str(Arc<str>)

UTF-8 text (constant pool, natives, host).

Bytes(Arc<[u8]>)

Opaque byte buffer (constant pool, natives, host).

Implementations

impl Value

pub fn str(s: impl AsRef<str>) -> Self

Build a Value::Str from anything string-like.

pub fn bytes(b: impl AsRef<[u8]>) -> Self

Build a Value::Bytes from a byte slice.

pub fn is_truthy(&self) -> bool

Truthiness used by Opcode::Branch: falsy are Unit, Bool(false), Int(0), empty Value::Str, and empty Value::Bytes.

pub fn as_int(&self) -> Option<i64>

pub fn as_pid(&self) -> Option<u64>

pub fn as_cap(&self) -> Option<u64>

pub fn as_message(&self) -> Option<Message>

pub fn as_str(&self) -> Option<&str>

pub fn as_bytes(&self) -> Option<&[u8]>

pub fn memory_size(&self) -> usize

Bytes this value is charged for against a mailbox byte budget (see crate::MailboxBytes).

This is a charge model, not an RSS measurement

Value::Str / Value::Bytes are Arc-shared: the same buffer cloned into N mailboxes exists once in memory, but each mailbox is charged the full length. That over-counts on purpose — a budget that under-counts shared payloads is not a bound at all, since a single producer could fan one large Arc out to every inbox and stay “within budget” everywhere while the host pays once per distinct buffer it keeps alive.

The inline size_of::<Value>() term is included so a flood of scalar hops is also bounded, not just blob hops.

pub fn heap_size(&self) -> usize

Heap bytes owned (transitively) by this value, excluding the enum itself. Zero for every scalar variant.

pub fn type_name(&self) -> &'static str

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Display for Value

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

Formats the value using the given formatter.

impl From<&[u8]> for Value

fn from(b: &[u8]) -> Self

Converts to this type from the input type.

impl From<&str> for Value

fn from(s: &str) -> Self

Converts to this type from the input type.

impl From<Message> for Value

fn from(m: Message) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(s: String) -> Self

Converts to this type from the input type.

impl From<Vec<u8>> for Value

fn from(b: Vec<u8>) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(v: bool) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(v: f64) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(v: i64) -> Self

Converts to this type from the input type.

impl PartialEq for Value

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Value