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
use crate::operators::Additive;
use crate::properties::general::Associative;

pub trait ArchimedeanProperty: PartialOrd + Associative<Additive> {}

pub trait ArchimedeanDiv: Sized + ArchimedeanProperty {}

macro_rules! impl_archimedean {
    ($($set:ty)*) => {
        $(
            impl ArchimedeanProperty for $set {}

            impl ArchimedeanDiv for $set {}
        )*
    }
}

impl_archimedean!(u8 u16 u32 u64 u128 usize i8 i16 i32 i64 i128 isize f32 f64);