Expand description
Generated-code SPI for TypeBridge.
Internal primitives and traits required by generated schema crates. Hand-written trait implementations are not schema evidence.
Re-exports§
pub use crate::schema::Schema;pub use crate::schema::SchemaPackage;pub use crate::schema::Unbound;
Structs§
- Canonical
Double - A finite, normalized floating-point value stored as IEEE 754 bits.
- Cardinality
- An exact resolved cardinality.
- Date
- Date
Time - Date
Time Tz - Decimal
- Duration
- Field
Token - An owned-field token branded by owner and value model.
- Function
Token - A typed schema-function token branded by schema
S. - Optional
- An optional scalar value.
- Plays
Token - A playing-fact token branded by player, role owner, and accepted-player enum.
- Required
- A statically required scalar value.
- Role
Token - A related-role token branded by owner and exact accepted-player enum.
- Sequence
- A sequence checked against its exact resolved cardinality.
- Stream
- A typed asynchronous stream result marker.
- Type
Token - A schema type/query token branded by its exact owner.
- Validation
Error - A stable generated-input validation failure.
- Validation
Path - An owned, nestable validation path.
Enums§
- Either
- A binary sum used to preserve exact heterogeneous model forms.
- Never
- The uninhabited projection of an empty accepted-player set.
- Thing
Kind - Target thing category: Entity or Relation.
Traits§
- Abstract
Model - An abstract generated model marker.
- Complete
Model - A complete materialized generated model with a mandatory canonical IID.
- Entity
Model - An entity schema model.
- Model
- A sealed generated schema model associated with its schema marker
S. - Model
Family - A closed subtype family enum representing a concrete descendant closure for a root
Root. - Nominal
Upcast - A resolver-proven nominal upcast relation.
- Numeric
Valued - Marker for generated attribute values whose canonical domain admits numeric reduction, carrying the canonical reduced scalar domain.
- Ordered
Valued - Marker for generated attribute values whose canonical domain admits canonical ordering for range comparisons.
- Reference
Model - A nonrecursive generated reference model. Key-based references may not have an IID initially.
- Relation
Model - A relation schema model.
- Role
Player - Positive generated evidence that a role’s exact player union admits one bound player model.
- Role
Token Compatible - Positive generated evidence that one role token is active on a relation.
- Role
Upcast - A resolver-proven specialized-role upcast relation.
- Struct
Value - A sealed generated struct value associated with its schema marker
S. - Text
Valued - Marker for generated attribute values whose canonical domain is text.
- Thing
Model - An entity or relation schema model.