Struct NullKInvariantResolver 

pub struct NullKInvariantResolver<H>(/* private fields */)
where
    H: Hasher;

ADR-036 Null KInvariantResolver impl. resolve always emits the RESOLVER_ABSENT shape violation — the catamorphism translates this into PipelineFailure::ShapeViolation recoverable via Term::Try’s default-propagation handler (ADR-022 D3 G9).

Implementations

impl<H> NullKInvariantResolver<H>

where H: Hasher,

pub const fn new() -> NullKInvariantResolver<H>

Construct a new Null resolver.

Trait Implementations

impl<H> Debug for NullKInvariantResolver<H>

where H: Debug + Hasher,

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

Formats the value using the given formatter.

impl<H> Default for NullKInvariantResolver<H>

where H: Default + Hasher,

fn default() -> NullKInvariantResolver<H>

Returns the “default value” for a type.

impl<H> KInvariantResolver<H> for NullKInvariantResolver<H>

where H: Hasher,

fn resolve( &self, _input: HomotopyGroupsBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>

Resolve per-value content for this category.