Enum Value 

pub enum Value {
    Symbol(SymbolId),
    Integer(i64),
    Float(f64),
    Boolean(bool),
    String(String),
    Timestamp(ClockTime),
}

A typed value that can appear in a memory slot such as crate::Semantic::o or crate::Procedural::trigger.

Mirrors the canonical-form value tags: Symbol (0x01), Integer (0x02), Float (0x03), Boolean (0x04), String (0x05), Timestamp (0x06) — see ir-canonical-form.md § 3.2.

Examples

use mimir_core::{SymbolId, Value};

let v = Value::Symbol(SymbolId::new(42));
assert!(matches!(v, Value::Symbol(_)));

Variants

Symbol(SymbolId)

A symbol reference (wire tag 0x01).

Integer(i64)

A signed 64-bit integer (wire tag 0x02, ZigZag varint-encoded).

Float(f64)

An IEEE 754 binary64 float (wire tag 0x03).

Boolean(bool)

A boolean (wire tag 0x04).

String(String)

A UTF-8 string literal (wire tag 0x05).

Timestamp(ClockTime)

A timestamp (wire tag 0x06).

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