Enum gitql_ast::types::DataType

pub enum DataType {
    Any,
    Text,
    Integer,
    Float,
    Boolean,
    Date,
    Time,
    DateTime,
    Undefined,
    Null,
    Variant(Vec<DataType>),
    Optional(Box<DataType>),
    Varargs(Box<DataType>),
    Dynamic(fn(_: &[DataType]) -> DataType),
}

Represent the data types for values to be used in type checker

Variants

Any

Represent general type so can be equal to any other type

Text

Represent String Type

Integer

Represent Integer 64 bit type

Float

Represent Float 64 bit type

Boolean

Represent Boolean (true | false) type

Date

Represent Date type

Time

Represent Time type

DateTime

Represent Date with Time type

Undefined

Represent Undefined value

Null

Represent NULL value

Variant(Vec<DataType>)

Represent a set of valid variant of types

Optional(Box<DataType>)

Represent an optional type so it can passed or not, must be last parameter

Varargs(Box<DataType>)

Represent variable arguments so can pass 0 or more value with spastic type, must be last parameter

Dynamic(fn(_: &[DataType]) -> DataType)

Represent dynamic type that calculated depending on other types (for example depending on Parameters) For now the main use case is to use it to calculate return type of function that has many variants

Implementations

impl DataType

pub fn is_any(&self) -> bool

pub fn is_bool(&self) -> bool

pub fn is_int(&self) -> bool

pub fn is_float(&self) -> bool

pub fn is_number(&self) -> bool

pub fn is_text(&self) -> bool

pub fn is_time(&self) -> bool

pub fn is_date(&self) -> bool

pub fn is_datetime(&self) -> bool

pub fn is_null(&self) -> bool

pub fn is_undefined(&self) -> bool

pub fn is_variant(&self) -> bool

pub fn is_variant_with(&self, data_type: &DataType) -> bool

pub fn is_optional(&self) -> bool

pub fn is_varargs(&self) -> bool

Trait Implementations

impl Clone for DataType

fn clone(&self) -> DataType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for DataType

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

Formats the value using the given formatter.

impl PartialEq for DataType

fn eq(&self, other: &Self) -> 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.