deep_causality_haft 0.3.1

HKT traits for for the deep_causality crate.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */

use crate::{Foldable, HKT, Satisfies};

/// Alias trait for `Foldable` providing more intuitive method names.
///
/// - `reduce` → `fold`: Reduces elements to a single value.
pub trait AliasFoldable<F: HKT>: Foldable<F> {
    /// Alias for `fold`. Reduces elements to a single value.
    #[inline]
    fn reduce<A, B, Func>(fa: F::Type<A>, init: B, f: Func) -> B
    where
        A: Satisfies<F::Constraint>,
        Func: FnMut(B, A) -> B,
    {
        Self::fold(fa, init, f)
    }
}

// Blanket implementation
impl<T, F> AliasFoldable<F> for T
where
    T: Foldable<F>,
    F: HKT,
{
}