Enum TypeExpr 

pub enum TypeExpr {
    Scalar(ValueType),
    Opaque(String),
    Optional(Box<TypeExpr>),
    List(Box<TypeExpr>),
    Map(Box<TypeExpr>, Box<TypeExpr>),
    Tuple(Vec<TypeExpr>),
    Struct(Vec<StructField>),
    Enum(Vec<EnumVariant>),
}

Type expression to describe structured types.

use daedalus_data::model::{TypeExpr, ValueType};
let ty = TypeExpr::List(Box::new(TypeExpr::Scalar(ValueType::Int)));
assert!(matches!(ty, TypeExpr::List(_)));

Variants

Scalar(ValueType)

Opaque(String)

Opaque, named type identifier (e.g. plugin-defined types).

This is useful when a type’s internal structure isn’t expressed in the graph type system, but you still want strong matching and a meaningful label in UIs.

Optional(Box<TypeExpr>)

List(Box<TypeExpr>)

Map(Box<TypeExpr>, Box<TypeExpr>)

Tuple(Vec<TypeExpr>)

Struct(Vec<StructField>)

Enum(Vec<EnumVariant>)

Implementations

impl TypeExpr

pub fn scalar(t: ValueType) -> Self

Construct a scalar type expression.

pub fn opaque(name: impl Into<String>) -> Self

Construct an opaque type expression.

pub fn optional(inner: TypeExpr) -> Self

Wrap an optional type.

pub fn list(inner: TypeExpr) -> Self

Wrap a list type.

pub fn map(key: TypeExpr, value: TypeExpr) -> Self

Wrap a map type.

pub fn struct(fields: Vec<StructField>) -> Self

Construct a struct type.

pub fn enum(variants: Vec<EnumVariant>) -> Self

Construct an enum type.

pub fn normalize(self) -> Self

Produce a canonically ordered representation for deterministic equality/ordering.

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Ord for TypeExpr

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

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

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

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 TypeExpr

impl StructuralPartialEq for TypeExpr