HashStream16

tola_caps::primitives::stream

Struct HashStream16 

Source 
pub struct HashStream16<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8>(/* private fields */);
Expand description

Build a hash stream from 16 const nibble values (for 64-bit hash) Usage: HashStream16<{n0}, {n1}, …, {n15}>

Trait Implementations§

Source§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> HashStream for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>
where (): SelectNibble<N0> + SelectNibble<N1> + SelectNibble<N2> + SelectNibble<N3> + SelectNibble<N4> + SelectNibble<N5> + SelectNibble<N6> + SelectNibble<N7> + SelectNibble<N8> + SelectNibble<N9> + SelectNibble<N10> + SelectNibble<N11> + SelectNibble<N12> + SelectNibble<N13> + SelectNibble<N14> + SelectNibble<N15>,

Source§

type Head = <() as SelectNibble<N0>>::Out

Source§

type Tail = HashStream16<N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15, N0>

Auto Trait Implementations§

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> Freeze for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> RefUnwindSafe for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> Send for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> Sync for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> Unpin for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

§

impl<const N0: u8, const N1: u8, const N2: u8, const N3: u8, const N4: u8, const N5: u8, const N6: u8, const N7: u8, const N8: u8, const N9: u8, const N10: u8, const N11: u8, const N12: u8, const N13: u8, const N14: u8, const N15: u8> UnwindSafe for HashStream16<N0, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Ctx, H, T> Evaluate<All<HCons<H, T>>> for Ctx
where Ctx: Evaluate<H> + Evaluate<All<T>>, <Ctx as Evaluate<H>>::Out: BoolAnd<<Ctx as Evaluate<All<T>>>::Out>,

Source§

type Out = <<Ctx as Evaluate<H>>::Out as BoolAnd<<Ctx as Evaluate<All<T>>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx> Evaluate<All<HNil>> for Ctx

Source§

type Out = Present

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, L, R> Evaluate<And<L, R>> for Ctx
where Ctx: Evaluate<L> + Evaluate<R>, <Ctx as Evaluate<L>>::Out: BoolAnd<<Ctx as Evaluate<R>>::Out>,

Source§

type Out = <<Ctx as Evaluate<L>>::Out as BoolAnd<<Ctx as Evaluate<R>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, H, T> Evaluate<Any<HCons<H, T>>> for Ctx
where Ctx: Evaluate<H> + Evaluate<Any<T>>, <Ctx as Evaluate<H>>::Out: BoolOr<<Ctx as Evaluate<Any<T>>>::Out>,

Source§

type Out = <<Ctx as Evaluate<H>>::Out as BoolOr<<Ctx as Evaluate<Any<T>>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx> Evaluate<Any<HNil>> for Ctx

Source§

type Out = Absent

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<Ctx, L, R> Evaluate<Or<L, R>> for Ctx
where Ctx: Evaluate<L> + Evaluate<R>, <Ctx as Evaluate<L>>::Out: BoolOr<<Ctx as Evaluate<R>>::Out>,

Source§

type Out = <<Ctx as Evaluate<L>>::Out as BoolOr<<Ctx as Evaluate<R>>::Out>>::Out

Source§

const RESULT: bool = <Self::Out as Bool>::VALUE

The boolean result of the evaluation as a constant.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<H, D> GetTail<S<D>> for H
where H: HashStream, <H as HashStream>::Tail: GetTail<D>,

Source§

type Out = <<H as HashStream>::Tail as GetTail<D>>::Out

Source§

impl<H> GetTail<Z> for H
where H: HashStream,

Source§

type Out = H

Source§

impl<S, Cap> InsertIf<Cap, false> for S

Source§

type Out = S

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<S, Q1, Q2, Then, Else> SelectAnd<Q1, Q2, Then, Else> for S
where S: SelectCap<And<Q1, Q2>, Then, Else>,

Source§

type Out = <S as SelectCap<And<Q1, Q2>, Then, Else>>::Out

Source§

impl<S, Q, Then, Else> SelectCap<Q, Then, Else> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

Source§

type Out = <<S as Evaluate<Q>>::Out as Bool>::If<Then, Else>

Source§

impl<S, Q, Then, Else> SelectNot<Q, Then, Else> for S
where S: SelectCap<Not<Q>, Then, Else>,

Source§

type Out = <S as SelectCap<Not<Q>, Then, Else>>::Out

Source§

impl<S, Q1, Q2, Then, Else> SelectOr<Q1, Q2, Then, Else> for S
where S: SelectCap<Or<Q1, Q2>, Then, Else>,

Source§

type Out = <S as SelectCap<Or<Q1, Q2>, Then, Else>>::Out

Source§

impl<S, Q, Then, Else, Output> SelectStaticCall<Q, Then, Else, Output> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool, Then: StaticMethodImpl<Output>, Else: StaticMethodImpl<Output>,

Source§

fn call() -> Output

Source§

impl<S, Q, Then, Else> SelectType<Q, Then, Else> for S
where S: Evaluate<Q>, <S as Evaluate<Q>>::Out: Bool,

Source§

type Out = <<S as Evaluate<Q>>::Out as Bool>::If<Then, Else>

Source§

impl<A, B> StreamEq<B, Z> for A
where A: HashStream, B: HashStream,

Source§

type Out = Present

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> SupersetOf<Empty> for T