Enum DataType 

#[non_exhaustive]
pub enum DataType {
    Integer(IntegerDataType),
    Decimal(DecimalDataType),
    Float(FloatDataType),
    Boolean(BooleanDataType),
    Char(CharDataType),
    VarChar(VarCharDataType),
    Text(TextDataType),
    Binary(BinaryDataType),
    VarBinary(VarBinaryDataType),
    Date(DateDataType),
    Time(TimeDataType),
    Timestamp(TimestampDataType),
    TimestampTz(TimestampTzDataType),
    DateTime(DateTimeDataType),
    Interval(IntervalDataType),
    Uuid(UuidDataType),
    Json(JsonDataType),
    Array(ArrayDataType),
    Map(MapDataType),
    Struct(StructDataType),
}

Unified data type enumeration covering all supported types across databases.

This is the primary type system for Razeri. Every field, column, and parameter in a design document is typed using DataType. The enum captures enough metadata to generate correct DDL for every target while remaining abstract over platform-specific implementation details.

Type Categories

Category	Variants	Example
Numeric	Integer, Decimal, Float	INT, DECIMAL(19,4), DOUBLE
Boolean	Boolean	BOOLEAN, BIT
String	Char, VarChar, Text	VARCHAR(100), TEXT
Binary	Binary, VarBinary	BYTEA, VARBINARY
Date/Time	Date, Time, Timestamp, TimestampTz, DateTime, Interval	DATE, TIMESTAMP
Special	Uuid, Json	UUID, JSONB
Collection	Array, Map, Struct	INTEGER[], MAP<TEXT,INT>, STRUCT<a INT>

Design Principles

1. Abstract over database-specific implementations — DataType captures enough metadata to generate correct DDL for each target, but does not embed platform-specific syntax.
2. Preserve precision metadata — Decimal types carry precision and scale; string types carry length constraints; timestamp types carry fractional seconds precision.
3. Every type renders somewhere — a dialect answers for every variant, emulating a type it does not have (JSON stored as NVARCHAR(MAX) on SQL Server, a struct stored as jsonb on PostgreSQL) rather than refusing.

Usage

use razeri_plugin_contract::DataType;

// Convenience constructors for common types
let id = DataType::bigint();
let name = DataType::varchar(255);
let price = DataType::decimal(19, 4);
let created = DataType::timestamp();

// JSON with binary storage (JSONB in PostgreSQL, VARIANT in Snowflake)
let data = DataType::json();

Cross-Database Mapping

Each variant maps to platform-specific types as documented in the variant definitions. Dialect plugins resolve the final SQL type string during rendering; the rendering traits live in this crate’s renderer module.

The enum is #[non_exhaustive]

New types are added over time, so a match outside this crate needs a fallback arm. A dialect’s fallback should render the closest type the engine does have — its JSON or text type — rather than panicking: a type the dialect has not been taught about is still a column someone declared.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Integer(IntegerDataType)

Signed/unsigned integer (1, 2, 4, or 8 bytes).

Decimal(DecimalDataType)

Exact numeric with fixed precision and scale.

Float(FloatDataType)

Approximate floating-point (4 or 8 bytes).

Boolean(BooleanDataType)

Boolean (true/false).

Char(CharDataType)

Fixed-length character string.

VarChar(VarCharDataType)

Variable-length character string.

Text(TextDataType)

Unbounded text type.

Binary(BinaryDataType)

Fixed-length binary data.

VarBinary(VarBinaryDataType)

Variable-length binary data.

Date(DateDataType)

Date only (year, month, day).

Time(TimeDataType)

Time only (hour, minute, second, optional timezone).

Timestamp(TimestampDataType)

Timestamp without timezone.

TimestampTz(TimestampTzDataType)

Timestamp with timezone.

DateTime(DateTimeDataType)

Combined date and time (legacy).

Interval(IntervalDataType)

Interval/duration.

Uuid(UuidDataType)

UUID/GUID.

Json(JsonDataType)

JSON/semi-structured data.

Array(ArrayDataType)

Array of elements.

Map(MapDataType)

Map/dictionary with key-value pairs.

Struct(StructDataType)

Record with an ordered list of named fields.

Implementations

impl DataType

pub fn tinyint() -> Self

Creates a 1-byte signed integer (TINYINT / SMALLINT / Int8).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::tinyint();
assert!(matches!(ty, DataType::Integer(_)));

pub fn smallint() -> Self

Creates a 2-byte signed integer (SMALLINT / Int16).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::smallint();
assert!(matches!(ty, DataType::Integer(_)));

pub fn int() -> Self

Creates a 4-byte signed integer (INT / INTEGER / Int32).

Example

use razeri_plugin_contract::DataType;

let id = DataType::int();
assert!(matches!(id, DataType::Integer(_)));

pub fn bigint() -> Self

Creates an 8-byte signed integer (BIGINT / Int64).

Example

use razeri_plugin_contract::DataType;

let id = DataType::bigint();
assert!(matches!(id, DataType::Integer(_)));

pub fn decimal(precision: u8, scale: u8) -> Self

Creates a DECIMAL(precision, scale) type.

Panics

Panics if precision is 0 or exceeds 38, or if scale > precision.

Example

use razeri_plugin_contract::DataType;

let price = DataType::decimal(19, 4);
assert!(matches!(price, DataType::Decimal(_)));

use razeri_plugin_contract::DataType;

let _ = DataType::decimal(0, 0); // panics: precision must be 1-38

pub fn float() -> Self

Creates a single-precision float (REAL / FLOAT4).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::float();
assert!(matches!(ty, DataType::Float(_)));

pub fn double() -> Self

Creates a double-precision float (DOUBLE PRECISION / DOUBLE).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::double();
assert!(matches!(ty, DataType::Float(_)));

pub fn boolean() -> Self

Creates a boolean type (BOOLEAN / BIT).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::boolean();
assert!(matches!(ty, DataType::Boolean(_)));

pub fn varchar(max_length: u32) -> Self

Creates a VARCHAR(max_length) type.

Example

use razeri_plugin_contract::DataType;

let name = DataType::varchar(255);
assert!(matches!(name, DataType::VarChar(_)));

pub fn text() -> Self

Creates an unbounded text type (TEXT / VARCHAR(MAX) / STRING).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::text();
assert!(matches!(ty, DataType::Text(_)));

pub fn date() -> Self

Creates a date-only type (DATE).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::date();
assert!(matches!(ty, DataType::Date(_)));

pub fn timestamp() -> Self

Creates a timestamp without timezone (TIMESTAMP).

Example

use razeri_plugin_contract::DataType;

let created = DataType::timestamp();
assert!(matches!(created, DataType::Timestamp(_)));

pub fn timestamp_tz() -> Self

Creates a timestamp with timezone (TIMESTAMPTZ / DATETIMEOFFSET).

Example

use razeri_plugin_contract::DataType;

let created_tz = DataType::timestamp_tz();
assert!(matches!(created_tz, DataType::TimestampTz(_)));

pub fn uuid() -> Self

Creates a UUID type (UUID / UNIQUEIDENTIFIER).

Example

use razeri_plugin_contract::DataType;

let ty = DataType::uuid();
assert!(matches!(ty, DataType::Uuid(_)));

pub fn json() -> Self

Creates a JSON type with binary storage (JSONB in PostgreSQL, VARIANT in Snowflake).

Example

use razeri_plugin_contract::DataType;

let data = DataType::json();
assert!(matches!(data, DataType::Json(_)));

pub fn json_text() -> Self

Creates a JSON type with text storage (preserves formatting).

Example

use razeri_plugin_contract::DataType;

let data = DataType::json_text();
assert!(matches!(data, DataType::Json(_)));

Trait Implementations

impl Clone for DataType

fn clone(&self) -> DataType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataType

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

Formats the value using the given formatter.

impl Eq for DataType

impl PartialEq for DataType

fn eq(&self, other: &DataType) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DataType