Struct BTreeMapWitness 

pub struct BTreeMapWitness<K>(/* private fields */);

BTreeMapWitness<K> is a zero-sized type that acts as a Higher-Kinded Type (HKT) witness for the BTreeMap<K, V> type constructor, where the key type K is fixed.

It allows BTreeMap to be used with generic functional programming traits like Functor and Foldable by fixing one of its type parameters.

Trait Implementations

impl<K> Foldable<BTreeMapWitness<K>> for BTreeMapWitness<K>

where K: Ord + 'static,

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

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

Folds (reduces) a BTreeMap into a single value.

Applies the function f cumulatively to the accumulator and each key-value pair of the B-tree map, starting with an initial accumulator value.

Arguments

• fa: The BTreeMap to fold.
• init: The initial accumulator value.
• f: The folding function, which takes the accumulator and a key-value pair.

Returns

The final accumulated value after processing all elements.

impl<K> Functor<BTreeMapWitness<K>> for BTreeMapWitness<K>

where K: Ord + Clone + 'static,

fn fmap<A, B, Func>( m_a: <BTreeMapWitness<K> as HKT2<K>>::Type<A>, f: Func, ) -> <BTreeMapWitness<K> as HKT2<K>>::Type<B>

where Func: FnMut(A) -> B,

Implements the fmap operation for BTreeMap<K, V>.

Applies the function f to each value in the B-tree map, producing a new B-tree map with the same keys but transformed values.

Arguments

• m_a: The BTreeMap to map over.
• f: The function to apply to each value.

Returns

A new BTreeMap with the function applied to each of its values.

impl<K> HKT for BTreeMapWitness<K>

type Type<V> = BTreeMap<K, V>

Specifies that BTreeMapWitness<K> also acts as a single-parameter HKT, where the K parameter is considered part of the “witness” itself.

impl<K> HKT2<K> for BTreeMapWitness<K>

type Type<V> = BTreeMap<K, V>

Specifies that BTreeMapWitness<K> represents the BTreeMap<K, V> type constructor with a fixed key type K.