Struct CompositeType

pub struct CompositeType {
    pub name: String,
    pub members: HashMap<String, Box<dyn DataType>>,
}

Fields

name: String

members: HashMap<String, Box<dyn DataType>>

Implementations

impl CompositeType

pub fn new(name: String, members: HashMap<String, Box<dyn DataType>>) -> Self

pub fn empty(name: String) -> Self

pub fn add_member(self, name: String, data_type: Box<dyn DataType>) -> Self

Trait Implementations

impl Clone for CompositeType

fn clone(&self) -> CompositeType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl DataType for CompositeType

fn literal(&self) -> String

Return the literal representation for this DataType

fn equals(&self, other: &Box<dyn DataType>) -> bool

Return if other DataType is equal or not to current Type

fn as_any(&self) -> &dyn Any

Return the current value as dynamic Any

fn can_perform_add_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform + operator with between current DataType and any one of them

fn add_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform = operator between current type and argument type

fn can_perform_sub_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform - operator with between current DataType and any one of them

fn sub_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform - operator between current type and argument type

fn can_perform_mul_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform * operator with between current DataType and any one of them

fn mul_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform * operator between current type and argument type

fn can_perform_div_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform / operator with between current DataType and any one of them

fn div_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform / operator between current type and argument type

fn can_perform_rem_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform % operator with between current DataType and any one of them

fn rem_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform & operator between current type and argument type

fn can_perform_caret_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform ^ operator with between current DataType and any one of them

fn caret_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform ^ operator between current type and argument type

fn can_perform_or_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform | operator with between current DataType and any one of them

fn or_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform | operator between current type and argument type

fn can_perform_and_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform & operator with between current DataType and any one of them

fn and_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform & operator between current type and argument type

fn can_perform_xor_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform # operator with between current DataType and any one of them

fn xor_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform # operator between current type and argument type

fn can_perform_shl_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform << operator with between current DataType and any one of them

fn shl_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform << operator between current type and argument type

fn can_perform_shr_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform >> operator with between current DataType and any one of them

fn shr_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform >> operator between current type and argument type

fn can_perform_logical_or_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform || or OR operator with between current DataType and any one of them

fn logical_or_op_result_type( &self, other: &Box<dyn DataType>, ) -> Box<dyn DataType>

Return the expected type after perform || or OR operator between current type and argument type

fn can_perform_logical_and_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform && or AND operator with between current DataType and any one of them

fn logical_and_op_result_type( &self, other: &Box<dyn DataType>, ) -> Box<dyn DataType>

Return the expected type after perform && or AND operator between current type and argument type

fn can_perform_logical_xor_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `XOR’ operator with between current DataType and any one of them

fn logical_xor_op_result_type( &self, other: &Box<dyn DataType>, ) -> Box<dyn DataType>

Return the expected type after perform ‘XOR’ operator between current type and argument type

fn can_perform_index_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `[I]’ operator with between current DataType and any one of them

fn index_op_result_type(&self, other: &Box<dyn DataType>) -> Box<dyn DataType>

Return the expected type after perform ‘[]’ operator on current type

fn can_perform_slice_op(&self) -> bool

Return true if this type support Slice operator with

fn can_perform_slice_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `[S : E]’ operator with between current DataType and any one of them

fn can_perform_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `=’ operator with between current DataType and any one of them

fn can_perform_group_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `= [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_bang_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform !=' or <>` operator with between current DataType and any one of them

fn can_perform_group_bang_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `!= [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_null_safe_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `<=>’ operator with between current DataType and any one of them

fn can_perform_group_null_safe_eq_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `<=> [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_gt_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `>’ operator with between current DataType and any one of them

fn can_perform_group_gt_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `> [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_gte_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `>=’ operator with between current DataType and any one of them

fn can_perform_group_gte_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `>= [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_lt_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `<’ operator with between current DataType and any one of them

fn can_perform_group_lt_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `< [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_lte_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `=<’ operator with between current DataType and any one of them

fn can_perform_group_lte_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `<= [ALL|ANY|SOME]’ operator with between current DataType and any one of them

fn can_perform_not_op(&self) -> bool

Return a list of types that it’s possible to perform unary `NOT’ operator with between current DataType and any one of them

fn not_op_result_type(&self) -> Box<dyn DataType>

Return the expected type after perform unary `NOT’ operator on current type

fn can_perform_neg_op(&self) -> bool

Return a list of types that it’s possible to perform unary `-’ operator with between current DataType and any one of them

fn neg_op_result_type(&self) -> Box<dyn DataType>

Return the expected type after perform unary `-’ operator on current type

fn can_perform_bang_op(&self) -> bool

Return a list of types that it’s possible to perform unary `!’ operator with between current DataType and any one of them

fn bang_op_result_type(&self) -> Box<dyn DataType>

Return the expected type after perform unary `!’ operator on current type

fn can_perform_contains_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform unary `@>’ operator with between current DataType and any one of them

fn has_implicit_cast_from(&self, expr: &Box<dyn Expr>) -> bool

Return true if this Expression can be casted to the current type without any evaluation

fn can_perform_explicit_cast_op_to(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform `Cast’ operator to

fn can_perform_like_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform unary `LIKE’ operator with between current DataType and any one of them

fn can_perform_glob_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform unary `GLOB’ operator with between current DataType and any one of them

fn can_perform_regexp_op_with(&self) -> Vec<Box<dyn DataType>>

Return a list of types that it’s possible to perform unary `REGEXP’ operator with between current DataType and any one of them