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);