Struct ColumnSchema

pub struct ColumnSchema {
    pub table_id: TableId,
    pub col_pos: ColId,
    pub col_name: Box<str>,
    pub col_type: AlgebraicType,
}

A struct representing the schema of a database column.

Fields

table_id: TableId

The ID of the table this column is attached to.

col_pos: ColId

The position of the column within the table.

col_name: Box<str>

The name of the column. Unique within the table.

col_type: AlgebraicType

The type of the column. This will never contain any AlgebraicTypeRefs, that is, it will be resolved.

Implementations

impl ColumnSchema

pub fn for_test( pos: impl Into<ColId>, name: impl Into<Box<str>>, ty: AlgebraicType, ) -> Self

Trait Implementations

impl Clone for ColumnSchema

fn clone(&self) -> ColumnSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnSchema

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

Formats the value using the given formatter.

impl From<&ColumnSchema> for ProductTypeElement

fn from(value: &ColumnSchema) -> Self

Converts to this type from the input type.

impl From<ColumnSchema> for Column

fn from(schema: ColumnSchema) -> Self

Converts to this type from the input type.

impl Ord for ColumnSchema

fn cmp(&self, other: &ColumnSchema) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ColumnSchema

fn eq(&self, other: &ColumnSchema) -> 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 PartialOrd for ColumnSchema

fn partial_cmp(&self, other: &ColumnSchema) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Schema for ColumnSchema

type Def = ColumnDef

The Def type corresponding to this schema type.

type ParentId = ()

The Id type corresponding to the parent of this schema type. Set to () if there is no parent.

type Id = (TableId, ColId)

The Id type corresponding to this schema type.

fn from_module_def( module_def: &ModuleDef, def: &ColumnDef, _parent_id: (), (table_id, col_pos): (TableId, ColId), ) -> Self

Construct a schema entity from a validated ModuleDef. Panics if module_def does not contain def.

fn check_compatible( &self, module_def: &ModuleDef, def: &Self::Def, ) -> Result<(), Error>

Check that a schema entity is compatible with a definition.

impl Eq for ColumnSchema

impl StructuralPartialEq for ColumnSchema