Skip to main content
Version: v0.3.0

src/sydra/query/value.zig

Purpose​

Defines a runtime value representation used during query execution and expression evaluation.

See also​

Definition index (public)​

pub const ConvertError = error { ... }​

  • TypeMismatch

pub const Value = union(enum)​

Variants:

  • null
  • boolean: bool
  • integer: i64
  • float: f64
  • string: []const u8

Helpers:

  • isNull()
  • asBool(), asFloat(), asInt(), asString() (type-checked conversions)
  • equals(a, b) – equality across compatible numeric types
  • compareNumeric(a, b) – ordering comparison using float conversion
  • copySlice(allocator, values) – shallow copy a []Value slice

Conversion rules (as implemented)​

  • asBool accepts only .boolean.
  • asInt accepts only .integer.
  • asString accepts only .string.
  • asFloat accepts:
    • .float as-is
    • .integer by converting to f64

Equality rules (as implemented)​

  • .integer and .float compare equal if their f64 values are equal.
  • Other mixed-type comparisons return false.

Code excerpt​

src/sydra/query/value.zig (Value + conversions excerpt)
pub const Value = union(enum) {
    null,
    boolean: bool,
    integer: i64,
    float: f64,
    string: []const u8,

    pub fn asFloat(self: Value) ConvertError!f64 {
        return switch (self) {
            .float => |f| f,
            .integer => |i| @as(f64, @floatFromInt(i)),
            else => ConvertError.TypeMismatch,
        };
    }

    pub fn equals(a: Value, b: Value) bool {
        return switch (a) {
            .integer => |ai| switch (b) {
                .integer => |bi| ai == bi,
                .float => |bf| @as(f64, @floatFromInt(ai)) == bf,
                else => false,
            },
            .float => |af| switch (b) {
                .float => |bf| af == bf,
                .integer => |bi| af == @as(f64, @floatFromInt(bi)),
                else => false,
            },
            else => a == b,
        };
    }
};