cralgebra 0.2.1

A fast crypto algebra library
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

/// Closed addition with optional runtime context.
///
/// This operation must add two values of the same type
/// and return a value of that type, optionally
/// taking an extra parameter that describes the
/// underlying algebraic structure at runtime.
///
/// The operation must not fail in any case.
pub trait ClosedAddDyn<C>: Sized {
    /// Computes `self + rhs`. [Read more][ClosedAddDyn]
    fn add_d(&self, rhs: &Self, ctx: &C) -> Self;

    /// Computes `self + rhs` and assigns the result to `self`. [Read more][ClosedAddDyn]
    fn add_assign_d(&mut self, rhs: &Self, ctx: &C) {
        *self = self.add_d(rhs, ctx);
    }
}

/// Closed addition.
///
/// This operation must add two values of the same type
/// and return a value of that type.
///
/// The operation must not fail in any case.
pub trait ClosedAdd: ClosedAddDyn<()> {
    /// Computes `self + rhs`. [Read more][ClosedAdd]
    fn add(&self, rhs: &Self) -> Self {
        self.add_d(rhs, &())
    }

    /// Computes `self + rhs` and assigns the result to `self`. [Read more][ClosedAdd]
    fn add_assign(&mut self, rhs: &Self) {
        self.add_assign_d(rhs, &())
    }
}