Struct spacetimedb_sats::relation::Header

pub struct Header {
    pub table_name: String,
    pub fields: Vec<Column>,
    pub constraints: Vec<(ColList, Constraints)>,
}

Fields

table_name: String

fields: Vec<Column>

constraints: Vec<(ColList, Constraints)>

Implementations

impl Header

pub fn new( table_name: String, fields: Vec<Column>, constraints: Vec<(ColList, Constraints)> ) -> Self

pub fn from_product_type(table_name: String, fields: ProductType) -> Self

pub fn for_mem_table(fields: ProductType) -> Self

pub fn as_without_table_name(&self) -> HeaderOnlyField<'_>

pub fn ty(&self) -> ProductType

pub fn find_by_name(&self, field_name: &str) -> Option<&Column>

pub fn column_pos<'a>(&'a self, col: &'a FieldName) -> Option<ColId>

pub fn column_pos_or_err<'a>( &'a self, col: &'a FieldName ) -> Result<ColId, RelationError>

pub fn find_pos_by_name(&self, name: &str) -> Option<ColId>

Finds the position of a field with name.

pub fn column<'a>(&'a self, col: &'a FieldName) -> Option<&Column>

pub fn has_constraint(&self, field: &FieldName, constraint: Constraints) -> bool

pub fn project( &self, cols: &[impl Into<FieldExpr> + Clone] ) -> Result<Self, RelationError>

Project the FieldExpr & the Constraints that referenced them

pub fn extend(&self, right: &Self) -> Self

Adds the fields & Constraints from right to this Header, renaming duplicated fields with a counter like a, a => a, a0.

Trait Implementations

impl Clone for Header

fn clone(&self) -> Header

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Header

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

Formats the value using the given formatter.

impl Display for Header

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

Formats the value using the given formatter.

impl From<&TableSchema> for Header

fn from(value: &TableSchema) -> Self

Converts to this type from the input type.

impl From<AlgebraicType> for Header

fn from(value: AlgebraicType) -> Self

Converts to this type from the input type.

impl From<Header> for ProductType

fn from(value: Header) -> Self

Converts to this type from the input type.

impl From<ProductType> for Header

fn from(value: ProductType) -> Self

Converts to this type from the input type.

impl Hash for Header

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 Ord for Header

fn cmp(&self, other: &Header) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Header

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Header

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

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

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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

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

impl Eq for Header

impl StructuralPartialEq for Header