Enum ArithmeticValue 

pub enum ArithmeticValue {
    I32(i32),
    I64(i64),
    U32(u32),
    U64(u64),
    F32(f32),
    F64(f64),
    Bool(bool),
    Symbol(u32),
    String(String),
}

A typed scalar accepted by the arithmetic expression evaluator.

Variants

I32(i32)

Signed 32-bit integer.

I64(i64)

Signed 64-bit integer.

U32(u32)

Unsigned 32-bit integer.

U64(u64)

Unsigned 64-bit integer.

F32(f32)

32-bit floating-point value.

F64(f64)

64-bit floating-point value.

Bool(bool)

Boolean value.

Symbol(u32)

Interned symbol identifier.

String(String)

String value.

Implementations

impl ArithmeticValue

pub fn from_term(term: &Term) -> Result<Self>

Convert an AST term into a scalar value.

Integer and float terms use the AST literal types (i64 and f64). Callers with schema information can construct a narrower typed variant directly.

pub fn into_term(self) -> Result<Term>

Convert the evaluated scalar back into an AST term.

pub fn scalar_type(&self) -> Option<ScalarType>

Return the runtime scalar type represented by this value.

Source-only strings have no runtime scalar type until they are interned as symbols by ArithmeticValue::from_typed_term.

pub fn from_typed_term(term: &Term, expected: ScalarType) -> Result<Self>

Convert an AST scalar term using the same declared-type conversion as lowering.

Trait Implementations

impl Clone for ArithmeticValue

fn clone(&self) -> ArithmeticValue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ArithmeticValue

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

Formats the value using the given formatter.

impl PartialEq for ArithmeticValue

fn eq(&self, other: &ArithmeticValue) -> 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 ArithmeticValue