Enum SynthType 

pub enum SynthType {
    Null,
    Boolean,
    Integer,
    Float,
    Text(Option<String>),
    Array(Box<SynthType>),
    Tuple(Vec<SynthType>),
    Record(SynthRecord),
    Union(SynthUnion),
    Any,
    Never,
    Hole(Option<Identifier>),
}

A synthesized type inferred from document values.

Unlike SchemaNodeContent, this type does not include validation constraints (min/max length, patterns, etc.) - it represents only the structural type of the data.

Variants

Null

Null value

Boolean

Boolean value

Integer

Integer value (arbitrary precision)

Float

Floating-point value

Text(Option<String>)

Text value with optional language tag

• None - implicit/unknown language (from `...`)
• Some("plaintext") - plaintext (from "...")
• Some("rust") - language-tagged (from rust`...`)

Array(Box<SynthType>)

Homogeneous array type

Tuple(Vec<SynthType>)

Tuple type (fixed-length, heterogeneous)

Record(SynthRecord)

Record type (fixed named fields)

Union(SynthUnion)

Union of types (structural, not tagged)

Invariants:

• At least 2 variants
• No nested unions (flattened)
• No duplicate variants

Any

Top type - accepts any value

Used for:

• Empty arrays: [] has type Array<Any>
• Unknown types

Never

Bottom type - no values

Used for contradictions (rare in practice)

Hole(Option<Identifier>)

Unfilled placeholder

Holes are absorbed during unification: unify(Integer, Hole) = Integer

Implementations

impl SynthType

pub fn is_primitive(&self) -> bool

Check if this is a primitive type

pub fn is_compound(&self) -> bool

Check if this is a compound type

pub fn has_holes(&self) -> bool

Check if this type contains any holes

pub fn is_complete(&self) -> bool

Check if this type is complete (no holes, no Any, no Never)

Trait Implementations

impl Clone for SynthType

fn clone(&self) -> SynthType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SynthType

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

Formats the value using the given formatter.

impl Display for SynthType

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

Formats the value using the given formatter.

impl PartialEq for SynthType

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