Enum brane_dsl::data_type::DataType

pub enum DataType {
    Any,
    Void,
    Boolean,
    Integer,
    Real,
    String,
    Semver,
    Array(Box<DataType>),
    Function(Box<FunctionSignature>),
    Class(String),
}

Defines the datatypes in the BraneScript/Bakery AST.

Variants

Any

The ‘Any’ type basically means ‘resolve at runtime’.

Void

The ‘Void’ type basically means ‘no type / value’.

Boolean

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

Integer

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

Real

Real values (i.e., decimal numbers)

String

String values (i.e., arrays of characters)

Semver

Semantic versioning (i.e., major.minor.patch)

Array(Box<DataType>)

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

Function(Box<FunctionSignature>)

Functions (i.e., executable pieces of code)

Class(String)

Classes (i.e., a memory area divided into heterogeneous types)

Implementations

impl DataType

pub fn coercible_to<D: AsRef<DataType>>(&self, other: D) -> bool

Returns whether or not this DataType may be implicitly converted to the given one.

Generic arguments

• D: The DataType-like type of other.

Arguments

• other: The DataType to which we attempt to implicitly convert.

Returns

True if it is convertible, false otherwise.

pub fn coercible_to_function(&self) -> bool

Returns whether or not this DataType may be implicitly converted to a function at all (of any signature).

To determine if the DataType is implicitly convertible to a function of a specific signature, use DataType::coercible_to().

Returns

True if it is convertible, false otherwise.

Trait Implementations

impl AsRef<DataType> for DataType

fn as_ref(&self) -> &DataType

Converts this type into a shared reference of the (usually inferred) input type.

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<&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<String> for DataType

fn from(value: String) -> Self

Converts to this type from the input type.

impl FromStr for DataType

type Err = ()

The associated error which can be returned from parsing.

fn from_str(value: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for DataType

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