Enum TypeExpr 

pub enum TypeExpr {
    Name(Spanned<String>),
    Parameterized {
        name: Spanned<String>,
        args: Vec<Spanned<TypeExpr>>,
    },
    Union(Vec<Spanned<TypeExpr>>),
    Optional(Box<Spanned<TypeExpr>>),
    Literal(Literal),
    Object(Vec<(Spanned<String>, Spanned<TypeExpr>)>),
    Partial(PartialNode),
}

A syntactic type expression, kept independent of surrealdb_types::Kind.

Variants

Name(Spanned<String>)

string, int, record, …

Parameterized

array<string>, record<user>, set<int, 5>, …

Fields

name: Spanned<String>

The base type constructor (array, record, set, …).

args: Vec<Spanned<TypeExpr>>

The type arguments inside <...>.

Union(Vec<Spanned<TypeExpr>>)

int | string

Optional(Box<Spanned<TypeExpr>>)

option<...> sugar and the grammar’s optional marker.

Literal(Literal)

A literal type: 'active', 42, true — usually inside unions.

Object(Vec<(Spanned<String>, Spanned<TypeExpr>)>)

An object type: { name: string, age: int } — each property maps a name to its own type expression.

Partial(PartialNode)

Other unmodeled type syntax: explicit, never dropped.

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeExpr