Enum Value 

pub enum Value {
    Bool(bool),
    U8(u8),
    U16(u16),
    U32(u32),
    U64(u64),
    S8(i8),
    S16(i16),
    S32(i32),
    S64(i64),
    F32(f32),
    F64(f64),
    Char(char),
    String(String),
    List {
        elem_type: ValueType,
        items: Vec<Value>,
    },
    Option {
        inner_type: ValueType,
        value: Option<Box<Value>>,
    },
    Result {
        ok_type: ValueType,
        err_type: ValueType,
        value: Result<Box<Value>, Box<Value>>,
    },
    Record {
        type_name: String,
        fields: Vec<(String, Value)>,
    },
    Variant {
        type_name: String,
        case_name: String,
        tag: usize,
        payload: Vec<Value>,
    },
    Tuple(Vec<Value>),
    Flags(u64),
}

A runtime value that can be passed across package boundaries

Variants

Bool(bool)

U8(u8)

U16(u16)

U32(u32)

U64(u64)

S8(i8)

S16(i16)

S32(i32)

S64(i64)

F32(f32)

F64(f64)

Char(char)

String(String)

List

Fields

elem_type: ValueType

items: Vec<Value>

Option

Fields

inner_type: ValueType

value: Option<Box<Value>>

Result

Fields

ok_type: ValueType

err_type: ValueType

value: Result<Box<Value>, Box<Value>>

Record

Fields

type_name: String

fields: Vec<(String, Value)>

Variant

Fields

type_name: String

case_name: String

tag: usize

payload: Vec<Value>

Tuple(Vec<Value>)

Flags(u64)

Implementations

impl Value

pub fn sym(s: impl Into<String>) -> Self

Helper to create a symbol (variant tag 0 with string payload)

pub fn num(n: i64) -> Self

Helper to create a number (variant tag 1 with s64 payload)

pub fn lst(items: Vec<Value>) -> Self

Helper to create a list (variant tag 4 with list payload)

pub fn infer_type(&self) -> ValueType

Infer the ValueType from this Value

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<&str> for Value

fn from(v: &str) -> Self

Converts to this type from the input type.

impl<T: Into<Value> + KnownValueType, const N: usize> From<[T; N]> for Value

fn from(v: [T; N]) -> Self

Converts to this type from the input type.

impl From<()> for Value

fn from(_: ()) -> Self

Converts to this type from the input type.

impl<A: Into<Value>> From<(A,)> for Value

fn from((a): (A,)) -> Self

Converts to this type from the input type.

impl<A: Into<Value>, B: Into<Value>> From<(A, B)> for Value

fn from((a, b): (A, B)) -> Self

Converts to this type from the input type.

impl<A: Into<Value>, B: Into<Value>, C: Into<Value>> From<(A, B, C)> for Value

fn from((a, b, c): (A, B, C)) -> Self

Converts to this type from the input type.

impl<A: Into<Value>, B: Into<Value>, C: Into<Value>, D: Into<Value>> From<(A, B, C, D)> for Value

fn from((a, b, c, d): (A, B, C, D)) -> Self

Converts to this type from the input type.

impl<K: Into<Value> + KnownValueType + Ord, V: Into<Value> + KnownValueType> From<BTreeMap<K, V>> for Value

fn from(v: BTreeMap<K, V>) -> Self

Converts to this type from the input type.

impl<T: Into<Value> + KnownValueType + Ord> From<BTreeSet<T>> for Value

fn from(v: BTreeSet<T>) -> Self

Converts to this type from the input type.

impl<T: Into<Value>> From<Box<T>> for Value

fn from(v: Box<T>) -> Self

Converts to this type from the input type.

impl<T: Into<Value> + KnownValueType> From<Option<T>> for Value

fn from(v: Option<T>) -> Self

Converts to this type from the input type.

impl<T: Into<Value> + KnownValueType, E: Into<Value> + KnownValueType> From<Result<T, E>> for Value

fn from(r: Result<T, E>) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(v: String) -> Self

Converts to this type from the input type.

impl<T: Into<Value> + KnownValueType> From<Vec<T>> for Value

fn from(v: Vec<T>) -> 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<char> for Value

fn from(v: char) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(v: f32) -> 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<i16> for Value

fn from(v: i16) -> 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<i8> for Value

fn from(v: i8) -> Self

Converts to this type from the input type.

impl From<u16> for Value

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Value

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

fn from(v: u8) -> Self

Converts to this type from the input type.

impl FromStr for Value

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl FromValue for Value

FromValue implementation for Value itself (identity conversion)

fn from_value(v: Value) -> Result<Self, ConversionError>

impl GraphCodec for Value

fn encode_graph(&self, encoder: &mut Encoder) -> Result<u32, AbiError>

fn decode_graph(decoder: &Decoder<'_>, root: u32) -> Result<Self, AbiError>

impl KnownValueType for Value

Value is dynamic — its actual ValueType is only known at runtime (Value::infer_type). The compile-time fallback is String, matching the previous PackType for Value behavior. Prefer concrete types when you need accurate static typing.

fn known_value_type() -> ValueType

impl PartialEq for Value

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: TryFrom<Value, Error = ConversionError>, const N: usize> TryFrom<Value> for [T; N]

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for ()

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for (A,)

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Value, Error = ConversionError>, B: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for (A, B)

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Value, Error = ConversionError>, B: TryFrom<Value, Error = ConversionError>, C: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for (A, B, C)

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<A: TryFrom<Value, Error = ConversionError>, B: TryFrom<Value, Error = ConversionError>, C: TryFrom<Value, Error = ConversionError>, D: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for (A, B, C, D)

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<K: TryFrom<Value, Error = ConversionError> + Ord, V: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for BTreeMap<K, V>

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: TryFrom<Value, Error = ConversionError> + Ord> TryFrom<Value> for BTreeSet<T>

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for String

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: TryFrom<Value, Error = ConversionError>> TryFrom<Value> for Vec<T>

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for bool

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for char

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for f32

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for f64

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for i16

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for i32

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for i64

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for i8

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for u16

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for u32

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for u64

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Value> for u8

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(v: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for Value