Struct VecDequeWitness 

pub struct VecDequeWitness;

Re-exports VecDequeWitness, the HKT witness for VecDeque<T>. VecDequeWitness is a zero-sized type that acts as a Higher-Kinded Type (HKT) witness for the VecDeque<T> type constructor. It allows VecDeque to be used with generic functional programming traits like Functor and Foldable.

By implementing HKT for VecDequeWitness, we can write generic functions that operate on any type that has the “shape” of VecDeque, without knowing the inner type T.

Trait Implementations

impl Foldable<VecDequeWitness> for VecDequeWitness

fn fold<A, B, Func>(fa: VecDeque<A>, init: B, f: Func) -> B

where Func: FnMut(B, A) -> B,

Folds (reduces) a VecDeque into a single value.

Applies the function f cumulatively to the elements of the vector deque, starting with an initial accumulator value.

Arguments

• fa: The VecDeque to fold.
• init: The initial accumulator value.
• f: The folding function.

Returns

The accumulated result.

impl Functor<VecDequeWitness> for VecDequeWitness

fn fmap<A, B, Func>( m_a: <VecDequeWitness as HKT>::Type<A>, f: Func, ) -> <VecDequeWitness as HKT>::Type<B>

where Func: FnMut(A) -> B,

Implements the fmap operation for VecDeque<T>.

Applies the function f to each element in the vector deque, producing a new vector deque.

Arguments

• m_a: The VecDeque to map over.
• f: The function to apply to each element.

Returns

A new VecDeque with the function applied to each of its elements.

impl HKT for VecDequeWitness

type Type<T> = VecDeque<T>

Specifies that VecDequeWitness represents the VecDeque<T> type constructor.