fructose 0.3.9

Mathematical Traits for the Glucose Library and the Rust programming language.
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

use crate::operators::{Additive, Multiplicative};
use crate::properties::general::Set;

pub trait MulAdd<A = Self, B = Self>: Set<Additive> + Set<Multiplicative> {
    type Output;

    fn mul_add(self, a: A, b: B) -> Self::Output;
}

pub trait MulAddAssign<A = Self, B = Self>: Set<Additive> + Set<Multiplicative> {
    fn mul_add_assign(&mut self, a: A, b: B);
}

pub trait ClosedMulAdd<A = Self, B = Self>: MulAdd<A, B> + MulAddAssign<A, B> {}
impl<T, A, B> ClosedMulAdd<A, B> for T where T: MulAdd<A, B> + MulAddAssign<A, B> {}

macro_rules! impl_mul_add {
    ($($set:ty)*) => {
        $(
            impl MulAdd for $set {
                type Output = $set;

                fn mul_add(self, a: $set, b: $set) -> Self::Output {
                    self.mul_add(a, b)
                }
            }

            impl MulAddAssign for $set {
                fn mul_add_assign(&mut self, a: $set, b: $set) {
                    *self = self.mul_add(a, b);
                }
            }
        )*
    };
    ($($set:ty)* => int) => {
        $(
            impl MulAdd for $set {
                type Output = $set;

                fn mul_add(self, a: $set, b: $set) -> Self::Output {
                    (self * a) + b
                }
            }

            impl MulAddAssign for $set {
                fn mul_add_assign(&mut self, a: $set, b: $set) {
                    *self = (*self * a) + b
                }
            }
        )*
    }
}

impl_mul_add!(f32 f64);
impl_mul_add!(u8 u16 u32 u64 u128 usize i8 i16 i32 i64 i128 isize => int);