Enum Ty 

pub enum Ty {
    Named(&'static str),
    Generic(&'static str),
    Any,
    Optional(&'static Ty),
    Apply(&'static str, &'static [Ty]),
    Union(&'static [Ty]),
    Fn(&'static [Ty], &'static Ty),
    Shape(&'static [ShapeFieldDescriptor]),
    SchemaOf(&'static str),
    Never,
    LitInt(i64),
    LitString(&'static str),
}

const-friendly type IR used in builtin descriptors. Mirrors the runtime TypeExpr but is constructable in const position with no allocation. Convert to TypeExpr at the boundary via Ty::to_type_expr.

Variants

Named(&'static str)

A primitive or user-defined named type: int, string, bool, float, nil, bytes, dict, list, closure, duration, any, etc.

Generic(&'static str)

Reference to a generic type parameter declared on the enclosing signature (e.g. Generic("T")).

Any

Untyped/dynamic. Skips type validation at runtime; the static checker treats it as compatible with everything.

Optional(&'static Ty)

Optional sugar for T | nil.

Apply(&'static str, &'static [Ty])

Generic application: List<T> is Apply("list", &[T]), Result<T, E> is Apply("Result", &[T, E]), Schema<T> is Ty::SchemaOf.

Union(&'static [Ty])

Union of N alternatives. Empty unions are rejected by the Ty::to_type_expr converter.

Fn(&'static [Ty], &'static Ty)

Function type. Stores params and return as references so the literal stays Copy.

Shape(&'static [ShapeFieldDescriptor])

Record/shape type with named fields.

SchemaOf(&'static str)

Schema<T> marker — semantically Apply("Schema", &[Generic(T)]) but distinguished so the type checker can pull the bound T from the value of the schema arg (not its declared type).

Never

Bottom type (no return).

LitInt(i64)

Integer literal type: 0, 1. Assignable to int.

LitString(&'static str)

String literal type: "pass". Assignable to string.

Implementations

impl Ty

pub fn to_type_expr(&self) -> TypeExpr

Materialize as a runtime TypeExpr. Generic references stay as Named(name) so the checker’s existing scope-based generic-param resolution applies.

pub fn is_any(&self) -> bool

True when this type carries no constraints (validation is a no-op).

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl Copy for Ty