Enum Type

pub enum Type {
    Unknown,
    Boolean,
    Integer,
    Real,
    Array {
        elem: Box<Type>,
        size: usize,
    },
    Tuple(Vec<Type>),
}

Variants

Unknown

Returned when an identifier cannot be resolved, or from an operator when it cannot resolve its type due to an operand being unknown to.

Boolean

Integer

Real

Array

Fields

elem: Box<Type>

size: usize

Tuple(Vec<Type>)

Tuple value or return type of a function with multiple (or 0) values

A tuple cannot contain only one element, but may be empty. More specifically, if a function returns exactly one value, it mustn’t be typed as a ReturnTuple as this would prevent it from being used as an operand to pretty much all operators.

Implementations

impl Type

pub fn is_array(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_unknown(&self) -> bool

pub fn or(self, other: Self) -> Type

Returns the first non-Unknown type between Self and other, and Type::Unknown if both are

pub fn numeric_or(self, other: Self) -> Type

Returns the first non-Unknown numeric type between Self and other, and Type::Unknown if both are unknown or non-numeric

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

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Type

Returns the “default value” for a type.

impl Display for Type

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

Formats the value using the given formatter.

impl From<Type> for StaticArg

fn from(value: Type) -> Self

Converts to this type from the input type.

impl Hash for Type

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 Type

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

Restrict a value to a certain interval.

impl PartialEq for Type

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

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl Eq for Type

impl StructuralPartialEq for Type