Module types 

Type-system pieces of the IR.

Every named type lives in crate::Ir::types keyed by its sanitized NamedType::id. TypeRef is just that string. This makes recursion trivial across the WIT boundary (no recursive records) and keeps the structure flat.

Structs

ArrayConstraints

ArrayType

Discriminator

EnumIntType

EnumIntValue

EnumStringType

EnumStringValue

NamedType

ObjectConstraints

ObjectType

PrimitiveConstraints

PrimitiveType

Property

UnionType

UnionVariant

Enums

AdditionalProperties

IntKind

PrimitiveKind

JSON Schema’s type keyword values, minus the variants that have their own IR shapes (object / array / null). The format keyword and any width/semantic refinement (int32 / int64 / float / double / date / uuid / byte / decimal / etc.) land on PrimitiveConstraints::format_extension verbatim. Plugins decide whether to produce a richer target-language type based on the format string. This keeps the IR uniform and orthogonal — adding new formats never requires an IR/WIT/bindgen roundtrip.

TypeDef

UnionKind

Constants

NULL_ID

Canonical pool id for the TypeDef::Null singleton. See issue #107.

Type Aliases

TypeRef

String id into crate::Ir::types.