Struct extra_safe::traits::Absorb

pub struct Absorb<N>(_);

The type-level Absorb operation

Trait Implementations

impl<U, B, N, T> Consume<Absorb<UInt<U, B>>> for Cons<Absorb<N>, T>where U: Unsigned, B: Bit, N: Unsigned + Sub<UInt<U, B>>, T: List, Cons<Absorb<Diff<N, UInt<U, B>>>, T>: Normalize,

type Output = <Cons<Absorb<<N as Sub<UInt<U, B>>>::Output>, T> as Normalize>::Output

The output of the consumption

impl<N, T: List> Consume<Absorb<UTerm>> for Cons<Absorb<N>, T>where N: Unsigned,

type Output = Cons<Absorb<N>, T>

The output of the consumption

impl<N: Debug> Debug for Absorb<N>

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

Formats the value using the given formatter.

impl<U: Unsigned> ToSpongeOp for Absorb<U>

fn to_sponge_op() -> SpongeOp

Converts the type-level operation to its term-level representation

impl<N: Unsigned> IOWord for Absorb<N>