Struct TypeDef 

pub struct TypeDef {
    pub name: String,
    pub is_builtin: bool,
    pub not_null: bool,
    pub is_domain: bool,
    pub sql: String,
    pub domain_checks: Vec<DomainConstraint>,
    pub kind: TypeDefKind,
}

Fields

name: String

is_builtin: bool

not_null: bool

is_domain: bool

Whether this is a domain (CREATE DOMAIN) vs a custom type (CREATE TYPE).

sql: String

Original SQL for round-trip persistence. Stored verbatim from creation.

domain_checks: Vec<DomainConstraint>

CHECK constraints from CREATE DOMAIN, stored as first-class data. Empty for regular CREATE TYPE definitions.

kind: TypeDefKind

Implementations

impl TypeDef

pub fn is_struct(&self) -> bool

Returns true if this is a STRUCT type.

pub fn is_union(&self) -> bool

Returns true if this is a UNION type.

pub fn struct_def(&self) -> Option<&StructDef>

Returns the StructDef if this is a STRUCT type.

pub fn union_def(&self) -> Option<&UnionDef>

Returns the UnionDef if this is a UNION type.

pub fn encode(&self) -> Option<&Expr>

Returns the encode expression (Custom types only).

pub fn decode(&self) -> Option<&Expr>

Returns the decode expression (Custom types only).

pub fn base(&self) -> &str

Returns the base type name.

pub fn params(&self) -> &[TypeParam]

Returns the params (Custom types only, empty for Struct/Union).

pub fn operators(&self) -> &[TypeOperator]

Returns the operators (Custom types only, empty for Struct/Union).

pub fn default_expr(&self) -> Option<&Expr>

Returns the default expression (Custom types only).

pub fn find_struct_field(&self, name: &str) -> Option<(usize, &StructFieldDef)>

Find a struct field by name. Returns (field_index, &StructFieldDef).

pub fn resolve_union_tag_index(&self, tag_name: &str) -> Option<u8>

Resolve a tag name to its numeric index within this union type. Returns None if this is not a union or the variant doesn’t exist.

pub fn find_union_variant(&self, name: &str) -> Option<(u8, &UnionVariantDef)>

Find a union variant by tag name. Returns (tag_index, &UnionVariantDef).

pub fn from_create_type( type_name: &str, body: &CreateTypeBody, is_builtin: bool, sql: String, ) -> Result<Self>

Construct a TypeDef from a parsed CREATE TYPE statement.

pub fn from_domain( domain_name: &str, base_type: &str, not_null: bool, constraints: &[DomainConstraint], default: Option<Box<Expr>>, sql: String, ) -> Self

Construct a TypeDef from a parsed CREATE DOMAIN statement. Stores constraints as first-class data for propagation to table CHECK constraints.

pub fn value_input_type(&self) -> &str

The expected input type for value in this custom type. Looks for a value parameter with a type annotation. Falls back to base type if value is not declared.

pub fn user_params(&self) -> impl Iterator<Item = &TypeParam>

The non-value params (user-provided at column declaration time).

pub fn to_sql(&self) -> &str

Returns the original SQL used to create this type or domain.

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> TypeDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

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

Formats the value using the given formatter.