Enum TypeDef 

pub enum TypeDef {
    Primitive,
    Struct {
        fields: Vec<FieldDef>,
        generics: Vec<Symbol>,
        is_portable: bool,
        is_shared: bool,
    },
    Enum {
        variants: Vec<VariantDef>,
        generics: Vec<Symbol>,
        is_portable: bool,
        is_shared: bool,
    },
    Generic {
        param_count: usize,
    },
    Alias {
        target: Symbol,
    },
}

Variants

Primitive

Primitive type (Nat, Int, Text, Bool)

Struct

Struct with named fields and visibility Phase 34: Now includes optional type parameters Phase 47: Added is_portable for serde derives Phase 49: Added is_shared for CRDT Merge impl

Fields

fields: Vec<FieldDef>

generics: Vec<Symbol>

is_portable: bool

is_shared: bool

Enum

Phase 33: Enum with variants (unit or with payload) Phase 34: Now includes optional type parameters Phase 47: Added is_portable for serde derives Phase 49: Added is_shared for CRDT Merge impl

Fields

variants: Vec<VariantDef>

generics: Vec<Symbol>

is_portable: bool

is_shared: bool

Generic

Built-in generic type (List, Option, Result)

Fields

param_count: usize

Alias

Type alias

Fields

target: Symbol

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> TypeDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

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

Formats the value using the given formatter.

impl PartialEq for TypeDef

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

impl StructuralPartialEq for TypeDef