concision-core 0.3.1

this crate implements the core modules for the concision framework
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

/*
    Appellation: rho <module>
    Created At: 2026.01.12:09:50:26
    Contrib: @FL03
*/
use concision_traits::Tanh;
use num_traits::{Float, One, Zero};

/// [`Activate`] is a higher-kinded trait that provides a mechanism to apply a function over the
/// elements within a container or structure.
pub trait Activate<T> {
    type Cont<U>;

    fn rho<F, U>(&self, f: F) -> Self::Cont<U>
    where
        F: FnMut(T) -> U;

    fn heavyside(&self) -> Self::Cont<T>
    where
        T: PartialOrd + One + Zero,
    {
        self.rho(|i| if i > T::zero() { T::one() } else { T::zero() })
    }
    fn relu(&self) -> Self::Cont<T>
    where
        T: PartialOrd + Zero,
    {
        self.rho(|i| if i > T::zero() { i } else { T::zero() })
    }

    fn sinh(&self) -> Self::Cont<T>
    where
        T: Float,
    {
        self.rho(|i| i.sinh())
    }

    fn tanh(&self) -> Self::Cont<<T as Tanh>::Output>
    where
        T: Tanh,
    {
        self.rho(|i| i.tanh())
    }
}
/*
 ************* Implementations *************
*/
use ndarray::{Array, ArrayBase, Data, Dimension};

impl<S, D, A> Activate<A> for ArrayBase<S, D, A>
where
    S: Data<Elem = A>,
    D: Dimension,
    A: Clone,
{
    type Cont<U> = Array<U, D>;

    fn rho<F, U>(&self, f: F) -> Self::Cont<U>
    where
        F: FnMut(A) -> U,
    {
        self.mapv(f)
    }
}