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