pub trait ResolverTuple: Sealed {
type ShapeRegistry: ShapeRegistryProvider;
const ARITY: usize;
const CATEGORIES: &'static [ResolverCategory];
}Expand description
ADR-036: tuple-of-bounded-types parameter on the model declaration
carrying application-provided resolver instances for the resolver-
bound ψ-Term variants per ADR-035. Sealed via
[__sdk_seal::Sealed]: only the SDK resolver! macro emits impls.
Required Associated Constants§
Sourceconst ARITY: usize
const ARITY: usize
Number of resolver positions in this tuple (bounded by MAX_RESOLVER_TUPLE_ARITY).
Sourceconst CATEGORIES: &'static [ResolverCategory]
const CATEGORIES: &'static [ResolverCategory]
Resolver category at each tuple position.
Required Associated Types§
Sourcetype ShapeRegistry: ShapeRegistryProvider
type ShapeRegistry: ShapeRegistryProvider
ADR-057: the application’s shape-IRI registry. ψ_1’s NerveResolver impl
expands ConstraintRef::Recurse references through this registry when
computing N(C). Defaults to shape_iri_registry::EmptyShapeRegistry
(foundation built-in registry only); applications declaring recursive
shapes via the SDK register_shape! macro thread the marker type
through their resolver!-declared ResolverTuple.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.