Enum TypeRef 

pub enum TypeRef {
    RefNamed(QualifiedName),
    RefPrimitive(String, Option<String>),
    RefArray(Box<TypeRef>),
    RefOptional(Box<TypeRef>),
    RefAny,
    RefUnknown,
}

Reference to a type (Haskell-style tagged union with contents)

Haskell Aeson emits:

• Variants with data: {“tag”: “RefNamed”, “contents”: {…}}
• Unit variants: {“tag”: “RefAny”} (no contents field)

We use a custom deserializer to handle both cases.

Variants

RefNamed(QualifiedName)

Named type reference

RefPrimitive(String, Option<String>)

Primitive type with optional format

RefArray(Box<TypeRef>)

Array type

RefOptional(Box<TypeRef>)

Optional type

RefAny

Intentionally dynamic (serde_json::Value) - accepts any JSON, no warning

RefUnknown

Unknown type (schema gap) - should warn

Implementations

impl TypeRef

pub fn to_ts(&self) -> String

Convert to TypeScript type string (fully qualified - joins namespace.Name as NamespaceName)

pub fn to_ts_in_namespace(&self, current_namespace: &str) -> String

Convert to TypeScript type string within a namespace context Always uses local name - cross-namespace types are handled via imports

pub fn get_namespace(&self) -> Option<&str>

Get the namespace from a RefNamed, if qualified

pub fn is_unknown(&self) -> bool

Check if this is an unknown type (schema gap that should warn)

pub fn contains_unknown(&self) -> bool

Check if this contains an unknown type anywhere

Trait Implementations

impl Clone for TypeRef

fn clone(&self) -> TypeRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeRef

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypeRef

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.