rsdiff_math/props/
mod.rs

1/*
2    Appellation: props <module>
3    Contrib: FL03 <jo3mccain@icloud.com>
4*/
5//! # Properties
6//!
7//!
8
9/// Associative Property describes an operation that is invariant under the grouping of its operands.
10pub trait Associative {}
11
12/// Commutative Property describes an operation that is invariant under the exchange of its operands.
13pub trait Commutative {
14    const IS_COMMUTATIVE: bool;
15}
16
17#[cfg(test)]
18mod tests {
19
20    #[test]
21    fn test_associative() {
22        assert!(true);
23    }
24
25    #[test]
26    fn test_communitative() {
27        assert!(true);
28    }
29}