Enum brane_ast::data_type::DataType

pub enum DataType {
    Any,
    Void,
    Numeric,
    Addable,
    Callable,
    NonVoid,
    Boolean,
    Integer,
    Real,
    String,
    Semver,
    Array {
        elem_type: Box<DataType>,
    },
    Function {
        args: Vec<DataType>,
        ret: Box<DataType>,
    },
    Class {
        name: String,
    },
    Data,
    IntermediateResult,
}

Defines a DataType enum that is optimized for execution (and transferral along the wire).

Variants

Any

Any type is accepted.

Void

No type is accepted.

Numeric

Allows both integers and reals.

Addable

Allows integers, reals and strings.

Callable

Allows any callable object.

NonVoid

Allows everything but Void

Boolean

Only Boolean values are accepted (i.e., true or false, 1 or 0, yes or no, etc).

Integer

Only Integral values are accepted (i.e., non-decimal numbers)

Real

Only Real values are accepted (i.e., decimal numbers)

String

Only String values are accepted (i.e., arrays of characters)

Semver

Only Semantic versioning are accepted (i.e., major.minor.patch)

Array

Fields

elem_type: Box<DataType>

Arrays (i.e., a memory area divided into homogeneous types).

Function

Fields

args: Vec<DataType>

ret: Box<DataType>

Functions (i.e., executable pieces of code). Contains both the types (and arity) of its arguments and the return type.

Class

Fields

name: String

Classes (i.e., a memory area divided into heterogeneous types). The usize indexes the signature into the Workflow’s global buffers.

Data

An externally represented dataset. The string is its identifier.

IntermediateResult

An externally represented dataset but one that may also be generated by functions.

Implementations

impl DataType

pub fn allowed_by(&self, other: &Self) -> bool

Returns if this DataType is the same or at least targeted of the given one.

A common use-case for this function is checking return types, where the return type would be the given one.

Arguments

• allowed: The DataType that describes what is allowed.

Returns

Whether or not this DataType “is the same” as the other one.

pub fn is_void(&self) -> bool

Returns if this DataType is Void (i.e., no value).

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 Debug for DataType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DataType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DataType

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

Formats the value using the given formatter.

impl From<&Box<DataType, Global>> for Box<DataType>

fn from(value: &Box<DataType>) -> Self

Converts to this type from the input type.

impl From<&DataType> for DataType

fn from(value: &DataType) -> Self

Converts to this type from the input type.

impl From<&String> for DataType

fn from(value: &String) -> Self

Converts to this type from the input type.

impl From<&str> for DataType

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<Box<DataType, Global>> for Box<DataType>

fn from(value: Box<DataType>) -> Self

Converts to this type from the input type.

impl From<DataType> for DataType

fn from(value: DataType) -> Self

Converts to this type from the input type.

impl From<String> for DataType

fn from(value: String) -> Self

Converts to this type from the input type.

impl PartialEq<DataType> for DataType

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DataType

impl StructuralEq for DataType

impl StructuralPartialEq for DataType