Enum Value 

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

A dynamically-tagged runtime value.

Value::Cap is an opaque CapId for Send / Ask. Authority lives in the runtime [crate::CapTable], keyed by holder — not in this tag. Value::Pid remains for identity inside authenticated messages.

Value::Str / Value::Bytes are heap payloads shared via Arc.

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(CapId)

Opaque capability token. 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<CapId>

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).

Value::Str / Value::Bytes / hop payloads 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.

pub fn heap_size(&self) -> usize

Heap bytes owned (transitively) by this value, excluding the enum itself.

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<CapId> for Value

fn from(c: CapId) -> 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<i32> for Value

fn from(v: i32) -> 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 From<u64> for Value

fn from(v: u64) -> 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