Enum TypeExpr 

pub enum TypeExpr {
    Unit,
    Boolean,
    Integer,
    Number,
    String,
    Bytes,
    Json,
    Entry,
    Named {
        name: String,
    },
    Record {
        fields: Vec<FieldDeclaration>,
    },
    List {
        items: Box<TypeExpr>,
    },
    Enum {
        cases: Vec<EnumCase>,
    },
    Union {
        cases: Vec<UnionCase>,
    },
}

A type expression used by declarations, fields, parameters, and returns.

TypeExpr::Named references are resolved only within the containing descriptor. Recursive references, including recursion through lists, records, and unions, are invalid.

Variants

Unit

A value carrying no data.

Boolean

A boolean.

Integer

A JavaScript-lossless signed integer.

Number

A finite IEEE-754 binary64 number.

String

A Unicode string.

Bytes

An opaque byte sequence.

Json

A schema-opaque JSON-compatible value tree.

Entry

A canonical absolute Worldspace path represented by a string value.

Named

A descriptor-local named declaration.

Fields

name: String

Referenced declaration name.

Record

A record with named fields.

Fields

fields: Vec<FieldDeclaration>

Fields in declaration order.

List

An ordered list.

Fields

items: Box<TypeExpr>

Type of every list item.

Enum

A closed set of payload-free cases represented by strings.

Fields

cases: Vec<EnumCase>

Cases in declaration order.

Union

A discriminated union represented by a record.

Fields

cases: Vec<UnionCase>

Cases in declaration order.

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> Self

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

impl PartialEq for TypeExpr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeExpr