Trait otter_api_tests::otter_support::crates::digest::block_buffer::generic_array::functional::MappedGenericSequence

pub unsafe trait MappedGenericSequence<T, U>: GenericSequence<T> where
    Self::Length: ArrayLength<U>, {
    type Mapped: GenericSequence<U>
    where
        <Self::Mapped as GenericSequence<U>>::Length == Self::Length;
}

Defines the relationship between one generic sequence and another, for operations such as map and zip.

Required Associated Types

type Mapped: GenericSequence<U>
where
    <Self::Mapped as GenericSequence<U>>::Length == Self::Length

Mapped sequence type

Implementations on Foreign Types

impl<'a, T, U, S> MappedGenericSequence<T, U> for &'a S where
    S: MappedGenericSequence<T, U, Length = <&'a S as GenericSequence<T>>::Length> + GenericSequence<T>,
    &'a S: GenericSequence<T>,
    <S as GenericSequence<T>>::Length: ArrayLength<U>, 

type Mapped = <S as MappedGenericSequence<T, U>>::Mapped

impl<'a, T, U, S> MappedGenericSequence<T, U> for &'a mut S where
    S: MappedGenericSequence<T, U, Length = <&'a mut S as GenericSequence<T>>::Length> + GenericSequence<T>,
    &'a mut S: GenericSequence<T>,
    <S as GenericSequence<T>>::Length: ArrayLength<U>, 

type Mapped = <S as MappedGenericSequence<T, U>>::Mapped

Implementors

impl<T, U, N> MappedGenericSequence<T, U> for GenericArray<T, N> where
    N: ArrayLength<T> + ArrayLength<U>,
    GenericArray<U, N>: GenericSequence<U>,
    <GenericArray<U, N> as GenericSequence<U>>::Length == N, 

type Mapped = GenericArray<U, N>