Enum TypeExpr 

pub enum TypeExpr {
    Named(String),
    Union(Vec<TypeExpr>),
    Shape(Vec<ShapeField>),
    List(Box<TypeExpr>),
    DictType(Box<TypeExpr>, Box<TypeExpr>),
    FnType {
        params: Vec<TypeExpr>,
        return_type: Box<TypeExpr>,
    },
}

A type annotation (optional, for runtime checking).

Variants

Named(String)

A named type: int, string, float, bool, nil, list, dict, closure, or a user-defined type name.

Union(Vec<TypeExpr>)

A union type: string | nil, int | float.

Shape(Vec<ShapeField>)

A dict shape type: {name: string, age: int, active?: bool}.

List(Box<TypeExpr>)

A list type: list<int>.

DictType(Box<TypeExpr>, Box<TypeExpr>)

A dict type with key and value types: dict<string, int>.

FnType

A function type: fn(int, string) -> bool.

Fields

params: Vec<TypeExpr>

return_type: Box<TypeExpr>

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 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 StructuralPartialEq for TypeExpr