dsalgo 0.3.10

A package for Datastructures and Algorithms.
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

pub fn is_left_identity<F, S>(
    f: &F,
    identity: S,
    x: S,
) -> bool
where
    F: Fn(S, S) -> S,
    S: Clone + PartialEq,
{
    f(identity, x.clone()) == x
}

pub fn is_right_identity<F, S>(
    f: &F,
    identity: S,
    x: S,
) -> bool
where
    F: Fn(S, S) -> S,
    S: Clone + PartialEq,
{
    f(x.clone(), identity) == x
}

pub fn is_identity<F, S>(
    f: &F,
    identity: S,
    x: S,
) -> bool
where
    F: Fn(S, S) -> S,
    S: Clone + PartialEq,
{
    is_left_identity(f, identity.clone(), x.clone())
        && is_right_identity(f, identity, x)
}