Enum Value 

pub enum Value {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    String(Box<str>),
    Tensor(Box<Tensor>),
    Reference(Reference),
    Expression(Box<Expression>),
}

Re-export core types for convenience. A scalar value in HEDL.

Optimized memory layout:

• Large variants (String, Tensor, Expression) are boxed to keep enum size small
• Small values (Null, Bool, Int, Float) remain inline
• Total enum size: 16 bytes (down from 32+ bytes)
• Reduces memory usage by 40-50% for typical documents

Variants

Null

Null value (~).

Bool(bool)

Boolean value (true/false).

Int(i64)

Integer value.

Float(f64)

Floating-point value.

String(Box<str>)

String value (boxed to reduce enum size).

Tensor(Box<Tensor>)

Tensor (multi-dimensional array, boxed to reduce enum size).

Reference(Reference)

Reference to another node.

Expression(Box<Expression>)

Parsed expression from $(…) (boxed to reduce enum size).

Implementations

impl Value

pub fn is_null(&self) -> bool

Returns true if this value is null.

pub fn is_reference(&self) -> bool

Returns true if this value is a reference.

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

Try to get the value as a string.

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

Try to get the value as an integer.

pub fn as_float(&self) -> Option<f64>

Try to get the value as a float.

pub fn as_bool(&self) -> Option<bool>

Try to get the value as a boolean.

pub fn as_reference(&self) -> Option<&Reference>

Try to get the value as a reference.

impl Value

pub fn as_expression(&self) -> Option<&Expression>

Try to get the expression if this is an Expression variant.

pub fn coerce_to(&self, expected: &ExpectedType) -> CoercionResult

Attempt to coerce this value to the expected type.

Uses lenient mode (equivalent to Standard level) by default.

Examples

use hedl_core::Value;
use hedl_core::types::ExpectedType;

let value = Value::String("42".to_string().into());
let result = value.coerce_to(&ExpectedType::Int);
assert!(result.is_ok());

pub fn can_coerce_to(&self, expected: &ExpectedType) -> bool

Check if this value can be coerced to the expected type.

Returns true if coercion would succeed (either matched or coerced).

Examples

use hedl_core::Value;
use hedl_core::types::ExpectedType;

let value = Value::Int(42);
assert!(value.can_coerce_to(&ExpectedType::Float));

let value = Value::String("42".to_string().into());
assert!(value.can_coerce_to(&ExpectedType::Int));

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<(), Error>

Formats the value using the given formatter.

impl Display for Value

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

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