Enum Type 

pub enum Type {
    Invalid,
    Integer,
    Quantity(QuantityType),
    String,
    Bool,
    Array(Box<Type>),
    Tuple(Box<TupleType>),
    Matrix(MatrixType),
    Models,
    Custom(QualifiedName),
}

µcad Basic Types

Variants

Invalid

Invalid type (used for error handling)

Integer

A 64-bit integer number: Interger: 10.

Quantity(QuantityType)

A quantity type: Scalar: 1.0, Length: 1.0mm

String

A string.

Bool

A boolean: true, false.

Array(Box<Type>)

An array of elements of the same type: [Scalar].

Tuple(Box<TupleType>)

A named tuple of elements: (x: Scalar, y: String).

Matrix(MatrixType)

Matrix type: Matrix3x3.

Models

Models.

Custom(QualifiedName)

A custom type in the syntax tree

Implementations

impl Type

pub fn scalar() -> Self

Shortcut to create a scalar type.

pub fn length() -> Self

Shortcut to create a length type.

pub fn is_array_of(&self, ty: &Type) -> bool

Check if the type is an array of the given type ty

pub fn is_add_compatible_to(&self, rhs: &Self) -> bool

Check if types are add compatible.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate 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 Display for Type

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

Formats the value using the given formatter.

impl Div for Type

type Output = Type

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl From<BuiltinTypeHelper> for Type

fn from(value: BuiltinTypeHelper) -> Self

Converts to this type from the input type.

impl From<QuantityType> for Type

fn from(value: QuantityType) -> 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 Mul for Type

type Output = Type

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl Parse for Type

fn parse(pair: Pair<'_>) -> ParseResult<Self>

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 Eq for Type

impl StructuralPartialEq for Type