Struct NullResolverTuple 

pub struct NullResolverTuple;

ADR-036 Null resolver tuple — the resolver-absent default. ResolverTuple impl with ARITY = 0 and an empty CATEGORIES list. Applications that don’t declare a resolver! block default to this.

Trait Implementations

impl<const INLINE_BYTES: usize, H> ChainComplexResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies ChainComplexResolver<H> directly so the HasChainComplexResolver<H> accessor can return self cast to &dyn ChainComplexResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl Clone for NullResolverTuple

fn clone(&self) -> NullResolverTuple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const INLINE_BYTES: usize, H> CochainComplexResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies CochainComplexResolver<H> directly so the HasCochainComplexResolver<H> accessor can return self cast to &dyn CochainComplexResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl<const INLINE_BYTES: usize, H> CohomologyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies CohomologyGroupResolver<H> directly so the HasCohomologyGroupResolver<H> accessor can return self cast to &dyn CohomologyGroupResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl Debug for NullResolverTuple

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

Formats the value using the given formatter.

impl Default for NullResolverTuple

fn default() -> NullResolverTuple

Returns the “default value” for a type.

impl<const INLINE_BYTES: usize, H> HasChainComplexResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasChainComplexResolver<INLINE_BYTES, H> (returns self).

fn chain_complex_resolver(&self) -> &dyn ChainComplexResolver<INLINE_BYTES, H>

Returns the ChainComplexResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasCochainComplexResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasCochainComplexResolver<INLINE_BYTES, H> (returns self).

fn cochain_complex_resolver( &self, ) -> &dyn CochainComplexResolver<INLINE_BYTES, H>

Returns the CochainComplexResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasCohomologyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasCohomologyGroupResolver<INLINE_BYTES, H> (returns self).

fn cohomology_group_resolver( &self, ) -> &dyn CohomologyGroupResolver<INLINE_BYTES, H>

Returns the CohomologyGroupResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasHomologyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasHomologyGroupResolver<INLINE_BYTES, H> (returns self).

fn homology_group_resolver(&self) -> &dyn HomologyGroupResolver<INLINE_BYTES, H>

Returns the HomologyGroupResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasHomotopyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasHomotopyGroupResolver<INLINE_BYTES, H> (returns self).

fn homotopy_group_resolver(&self) -> &dyn HomotopyGroupResolver<INLINE_BYTES, H>

Returns the HomotopyGroupResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasKInvariantResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasKInvariantResolver<INLINE_BYTES, H> (returns self).

fn k_invariant_resolver(&self) -> &dyn KInvariantResolver<INLINE_BYTES, H>

Returns the KInvariantResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasNerveResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasNerveResolver<INLINE_BYTES, H> (returns self).

fn nerve_resolver(&self) -> &dyn NerveResolver<INLINE_BYTES, H>

Returns the NerveResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HasPostnikovResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HasPostnikovResolver<INLINE_BYTES, H> (returns self).

fn postnikov_resolver(&self) -> &dyn PostnikovResolver<INLINE_BYTES, H>

Returns the PostnikovResolver impl this ResolverTuple carries.

impl<const INLINE_BYTES: usize, H> HomologyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HomologyGroupResolver<H> directly so the HasHomologyGroupResolver<H> accessor can return self cast to &dyn HomologyGroupResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl<const INLINE_BYTES: usize, H> HomotopyGroupResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies HomotopyGroupResolver<H> directly so the HasHomotopyGroupResolver<H> accessor can return self cast to &dyn HomotopyGroupResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl<const INLINE_BYTES: usize, H> KInvariantResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies KInvariantResolver<H> directly so the HasKInvariantResolver<H> accessor can return self cast to &dyn KInvariantResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl<const INLINE_BYTES: usize, H> NerveResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies NerveResolver<H> directly so the HasNerveResolver<H> accessor can return self cast to &dyn NerveResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl<const INLINE_BYTES: usize, H> PostnikovResolver<INLINE_BYTES, H> for NullResolverTuple

where H: Hasher,

ADR-036: NullResolverTuple satisfies PostnikovResolver<H> directly so the HasPostnikovResolver<H> accessor can return self cast to &dyn PostnikovResolver<H>. The resolve method emits the RESOLVER_ABSENT shape violation — recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

fn resolve<'a>( &'a self, _input: TermValue<'a, INLINE_BYTES>, ) -> Result<TermValue<'a, INLINE_BYTES>, ShapeViolation>

Resolve per-value content for this category.

impl ResolverTuple for NullResolverTuple

const ARITY: usize = 0

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

const CATEGORIES: &'static [ResolverCategory]

Resolver category at each tuple position.

type ShapeRegistry = EmptyShapeRegistry

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.

impl Copy for NullResolverTuple