Skip to main content

ResolverTuple

Trait ResolverTuple 

Source
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§

Source

const ARITY: usize

Number of resolver positions in this tuple (bounded by MAX_RESOLVER_TUPLE_ARITY).

Source

const CATEGORIES: &'static [ResolverCategory]

Resolver category at each tuple position.

Required Associated Types§

Source

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.

Implementors§