Enum CheckExpr 

pub enum CheckExpr {
    GreaterThan {
        column: String,
        value: i64,
    },
    GreaterOrEqual {
        column: String,
        value: i64,
    },
    LessThan {
        column: String,
        value: i64,
    },
    LessOrEqual {
        column: String,
        value: i64,
    },
    Between {
        column: String,
        low: i64,
        high: i64,
    },
    In {
        column: String,
        values: Vec<String>,
    },
    InIntegers {
        column: String,
        values: Vec<i64>,
    },
    CompareColumns {
        left_column: String,
        op: CheckComparisonOp,
        right_column: String,
    },
    TextCompare {
        column: String,
        op: CheckComparisonOp,
        value: String,
    },
    CompareColumnToCoalesce {
        left_column: String,
        op: CheckComparisonOp,
        coalesce_column: String,
        fallback: String,
        fallback_cast: Option<String>,
    },
    LowerTrimEquals {
        column: String,
    },
    Regex {
        column: String,
        pattern: String,
    },
    MaxLength {
        column: String,
        max: usize,
    },
    MinLength {
        column: String,
        min: usize,
    },
    NotNull {
        column: String,
    },
    And(Box<CheckExpr>, Box<CheckExpr>),
    Or(Box<CheckExpr>, Box<CheckExpr>),
    Not(Box<CheckExpr>),
    Sql(String),
}

CHECK constraint expression (AST-native where possible, raw SQL fallback when needed)

Variants

GreaterThan

column > value

Fields

column: String

Column name.

value: i64

Comparison value.

GreaterOrEqual

column >= value

Fields

column: String

Column name.

value: i64

Comparison value.

LessThan

column < value

Fields

column: String

Column name.

value: i64

Comparison value.

LessOrEqual

column <= value

Fields

column: String

Column name.

value: i64

Comparison value.

Between

value BETWEEN low AND high

Fields

column: String

Column name.

low: i64

Lower bound.

high: i64

Upper bound.

In

column IN (values)

Fields

column: String

Column name.

values: Vec<String>

Allowed values.

InIntegers

column IN (integer values)

Fields

column: String

Column name.

values: Vec<i64>

Allowed integer values.

CompareColumns

left_column op right_column

Fields

left_column: String

Left-hand column.

op: CheckComparisonOp

Comparison operator.

right_column: String

Right-hand column.

TextCompare

column op ‘text’

Fields

column: String

Column name.

op: CheckComparisonOp

Comparison operator.

value: String

Text literal.

CompareColumnToCoalesce

column op COALESCE(other_column, ‘fallback’::type)

Fields

left_column: String

Left-hand column.

op: CheckComparisonOp

Comparison operator.

coalesce_column: String

Column used as the first COALESCE argument.

fallback: String

Text fallback value.

fallback_cast: Option<String>

Optional fallback type cast, such as date.

LowerTrimEquals

column = lower(btrim(column))

Fields

column: String

Column name.

Regex

column ~ pattern (regex)

Fields

column: String

Column name.

pattern: String

Regex pattern.

MaxLength

LENGTH(column) <= max

Fields

column: String

Column name.

max: usize

Maximum allowed length.

MinLength

LENGTH(column) >= min

Fields

column: String

Column name.

min: usize

Minimum required length.

NotNull

column IS NOT NULL

Fields

column: String

Column name.

And(Box<CheckExpr>, Box<CheckExpr>)

Logical AND of two expressions.

Or(Box<CheckExpr>, Box<CheckExpr>)

Logical OR of two expressions.

Not(Box<CheckExpr>)

Logical NOT of an expression.

Sql(String)

SQL boolean expression (preserved as-is).

Trait Implementations

impl Clone for CheckExpr

fn clone(&self) -> CheckExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckExpr

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

Formats the value using the given formatter.