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

use crate::algebra::group::AbelianGroup;
use crate::algebra::ring::{CommutativeRing, Ring};
use crate::operators::{Additive, Multiplicative, Operator};

pub trait Module<A: Operator = Additive, RA: Operator = Additive, RM: Operator = Multiplicative>:
    AbelianGroup<A>
{
    type Ring: Ring<RA, RM>;
}

pub trait CommutativeModule: Module<Ring = <Self as CommutativeModule>::Ring> {
    type Ring: CommutativeRing;
}

macro_rules! impl_module {
    ($($set:ident)*) => {
        $(
            impl Module for $set {
                type Ring = $set;
            }
        )*
    }
}

macro_rules! impl_commutative_module {
    ($($set:ident)*) => {
        $(
            impl CommutativeModule for $set {
                type Ring = $set;
            }
        )*
    }
}

impl_module!(i8 i16 i32 i64 isize f32 f64);
impl_commutative_module!(i8 i16 i32 i64 isize f32 f64);