pub struct NullHomotopyGroupResolver<H>(/* private fields */)
where
H: Hasher;Expand description
ADR-036 Null HomotopyGroupResolver 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§
Source§impl<H> NullHomotopyGroupResolver<H>where
H: Hasher,
impl<H> NullHomotopyGroupResolver<H>where
H: Hasher,
Sourcepub const fn new() -> NullHomotopyGroupResolver<H>
pub const fn new() -> NullHomotopyGroupResolver<H>
Construct a new Null resolver.
Trait Implementations§
Source§impl<H> Debug for NullHomotopyGroupResolver<H>
impl<H> Debug for NullHomotopyGroupResolver<H>
Source§impl<H> Default for NullHomotopyGroupResolver<H>
impl<H> Default for NullHomotopyGroupResolver<H>
Source§fn default() -> NullHomotopyGroupResolver<H>
fn default() -> NullHomotopyGroupResolver<H>
Returns the “default value” for a type. Read more
Source§impl<H> HomotopyGroupResolver<H> for NullHomotopyGroupResolver<H>where
H: Hasher,
impl<H> HomotopyGroupResolver<H> for NullHomotopyGroupResolver<H>where
H: Hasher,
Source§fn resolve(
&self,
_input: PostnikovTowerBytes<'_>,
_out: &mut [u8],
) -> Result<usize, ShapeViolation>
fn resolve( &self, _input: PostnikovTowerBytes<'_>, _out: &mut [u8], ) -> Result<usize, ShapeViolation>
Resolve per-value content for this category. Read more
Auto Trait Implementations§
impl<H> Freeze for NullHomotopyGroupResolver<H>
impl<H> RefUnwindSafe for NullHomotopyGroupResolver<H>where
H: RefUnwindSafe,
impl<H> Send for NullHomotopyGroupResolver<H>where
H: Send,
impl<H> Sync for NullHomotopyGroupResolver<H>where
H: Sync,
impl<H> Unpin for NullHomotopyGroupResolver<H>where
H: Unpin,
impl<H> UnsafeUnpin for NullHomotopyGroupResolver<H>
impl<H> UnwindSafe for NullHomotopyGroupResolver<H>where
H: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more