Enum Value 

pub enum Value {
    Int(i64),
    Float(f64),
    Bool(bool),
    Text(String),
    Char(char),
    Nothing,
}

Dynamic value type for heterogeneous collections.

Value enables tuples and other heterogeneous data structures in Logos. It supports basic arithmetic between compatible types and provides runtime type coercion where sensible.

Variants

• Int(i64) - Integer values
• Float(f64) - Floating-point values
• Bool(bool) - Boolean values
• Text(String) - String values
• Char(char) - Single character values
• Nothing - Unit/null value

Arithmetic

Arithmetic operations are supported between numeric types:

• Int op Int → Int
• Float op Float → Float
• Int op Float or Float op Int → Float (promotion)
• Text + Text → Text (concatenation)

Panics

Arithmetic on incompatible variants panics at runtime.

Examples

use logicaffeine_data::Value;

let a = Value::Int(10);
let b = Value::Int(3);
assert_eq!(a + b, Value::Int(13));

let x = Value::Float(2.5);
let y = Value::Int(2);
assert_eq!(x * y, Value::Float(5.0));

Variants

Int(i64)

Integer values.

Float(f64)

Floating-point values.

Bool(bool)

Boolean values.

Text(String)

String values.

Char(char)

Single character values.

Nothing

Unit/null value.

Trait Implementations

impl Add for Value

type Output = Value

The resulting type after applying the + operator.

fn add(self, other: Value) -> Value

Performs the + operation.

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

type Output = Value

The resulting type after applying the / operator.

fn div(self, other: Value) -> Value

Performs the / operation.

impl From<&str> for Value

fn from(s: &str) -> 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<bool> for Value

fn from(b: bool) -> Self

Converts to this type from the input type.

impl From<char> for Value

fn from(c: char) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(n: f64) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(n: i64) -> Self

Converts to this type from the input type.

impl Mul for Value

type Output = Value

The resulting type after applying the * operator.

fn mul(self, other: Value) -> Value

Performs the * operation.

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

type Output = Value

The resulting type after applying the - operator.

fn sub(self, other: Value) -> Value

Performs the - operation.

impl StructuralPartialEq for Value