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<H> ChainComplexResolver<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( &self, _input: SimplicialComplexBytes<'_>, _out: &mut [u8], ) -> Result<usize, 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<H> CochainComplexResolver<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( &self, _input: ChainComplexBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.

impl<H> CohomologyGroupResolver<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( &self, _input: CochainComplexBytes<'_>, _out: &mut [u8], ) -> Result<usize, 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<H> HasChainComplexResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the ChainComplexResolver impl this ResolverTuple carries.

impl<H> HasCochainComplexResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the CochainComplexResolver impl this ResolverTuple carries.

impl<H> HasCohomologyGroupResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the CohomologyGroupResolver impl this ResolverTuple carries.

impl<H> HasHomologyGroupResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the HomologyGroupResolver impl this ResolverTuple carries.

impl<H> HasHomotopyGroupResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the HomotopyGroupResolver impl this ResolverTuple carries.

impl<H> HasKInvariantResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the KInvariantResolver impl this ResolverTuple carries.

impl<H> HasNerveResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the NerveResolver impl this ResolverTuple carries.

impl<H> HasPostnikovResolver<H> for NullResolverTuple

where H: Hasher,

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

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

Returns the PostnikovResolver impl this ResolverTuple carries.

impl<H> HomologyGroupResolver<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( &self, _input: ChainComplexBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.

impl<H> HomotopyGroupResolver<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( &self, _input: PostnikovTowerBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.

impl<H> KInvariantResolver<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( &self, _input: HomotopyGroupsBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.

impl<H> NerveResolver<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( &self, _input: &[u8], _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.

impl<H> PostnikovResolver<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( &self, _input: SimplicialComplexBytes<'_>, _out: &mut [u8], ) -> Result<usize, 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