Enum Value 

pub enum Value {
    Null,
    Boolean(Option<bool>),
    Int8(Option<i8>),
    Int16(Option<i16>),
    Int32(Option<i32>),
    Int64(Option<i64>),
    Int128(Option<i128>),
    UInt8(Option<u8>),
    UInt16(Option<u16>),
    UInt32(Option<u32>),
    UInt64(Option<u64>),
    UInt128(Option<u128>),
    Float32(Option<f32>),
    Float64(Option<f64>),
    Decimal(Option<Decimal>, u8, u8),
    Char(Option<char>),
    Varchar(Option<String>),
    Blob(Option<Box<[u8]>>),
    Date(Option<Date>),
    Time(Option<Time>),
    Timestamp(Option<PrimitiveDateTime>),
    TimestampWithTimezone(Option<OffsetDateTime>),
    Interval(Option<Interval>),
    Uuid(Option<Uuid>),
    Array(Option<Box<[Value]>>, Box<Value>, u32),
    List(Option<Vec<Value>>, Box<Value>),
    Map(Option<HashMap<Value, Value>>, Box<Value>, Box<Value>),
    Json(Option<Value>),
    Struct(Option<Vec<(String, Value)>>, Vec<(String, Value)>),
    Unknown(Option<String>),
}

Strongly-typed, nullable SQL value representation used across Tank.

Variants wrap Option<T> – None signifies SQL NULL (except Null which unconditionally represents a NULL of unknown type). Complex variants carry additional shape metadata (element type, length, precision, etc.).

Variants

Null

Untyped NULL placeholder.

Boolean(Option<bool>)

Int8(Option<i8>)

Int16(Option<i16>)

Int32(Option<i32>)

Int64(Option<i64>)

Int128(Option<i128>)

UInt8(Option<u8>)

UInt16(Option<u16>)

UInt32(Option<u32>)

UInt64(Option<u64>)

UInt128(Option<u128>)

Float32(Option<f32>)

Float64(Option<f64>)

Decimal(Option<Decimal>, u8, u8)

Arbitrary precision decimal with width/scale hints.

Char(Option<char>)

Varchar(Option<String>)

Blob(Option<Box<[u8]>>)

Date(Option<Date>)

Time(Option<Time>)

Timestamp(Option<PrimitiveDateTime>)

TimestampWithTimezone(Option<OffsetDateTime>)

Interval(Option<Interval>)

Uuid(Option<Uuid>)

Array(Option<Box<[Value]>>, Box<Value>, u32)

Fixed-size homogeneous array.

List(Option<Vec<Value>>, Box<Value>)

Variable length homogeneous list.

Map(Option<HashMap<Value, Value>>, Box<Value>, Box<Value>)

Map with homogeneous key/value types.

Json(Option<Value>)

Struct(Option<Vec<(String, Value)>>, Vec<(String, Value)>)

Struct with named fields and their types.

Unknown(Option<String>)

Parsing fallback / unknown driver-provided type.

Implementations

impl Value

pub fn same_type(&self, other: &Self) -> bool

pub fn is_null(&self) -> bool

pub fn as_null(&self) -> Value

pub fn try_as(self, value: &Value) -> Result<Value>

Trait Implementations

impl AsValue for Value

fn as_empty_value() -> Value

Return an “empty” (NULL-like) value variant for this type. Used when constructing composite Value containers (arrays, maps) or representing absent optional data. This should never allocate and should not rely on default trait implementations of Self.

fn as_value(self) -> Value

Convert this value into its owned Value representation. This should perform any necessary wrapping (e.g. collections into List, decimals into Decimal) but avoid lossy transformations unless explicitly documented.

fn try_from_value(value: Value) -> Result<Self>

where Self: Sized,

Attempt to convert a dynamic Value into Self.

fn parse(input: impl AsRef<str>) -> Result<Self>

where Self: Sized,

Parse a full string into Self delegating to [AsValue::extract].

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

fn default() -> Value

Returns the “default value” for a type.

impl Expression for Value

fn write_query( &self, writer: &dyn SqlWriter, context: &mut Context, out: &mut String, )

Serialize the expression into the output string using the sql writer.

fn is_ordered(&self) -> bool

Whether this expression carries ordering information.

impl From<&'static str> for Value

fn from(value: &'static str) -> Self

Converts to this type from the input type.

impl Hash for Value

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl OpPrecedence for Value

fn precedence(&self, _writer: &dyn SqlWriter) -> i32

Lower numbers bind weaker, writers parenthesize when child precedence <= operator precedence.

impl PartialEq for Value

fn eq(&self, other: &Self) -> 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 ToTokens for Value

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.

impl Eq for Value