From e338e4bb76c88df6a019ed25a4c008fa1e26fbb8 Mon Sep 17 00:00:00 2001
From: z33ky <1zeeky@gmail.com>
Date: Sat, 22 Jun 2024 08:54:10 +0000
Subject: [PATCH] Rename Closed* to Closed*Assign and introduce non-Assign
 Closed* traits (#5)

---
 src/scalar/field.rs | 31 ++++++++++++++++++++++++-------
 src/scalar/mod.rs   |  5 ++++-
 2 files changed, 28 insertions(+), 8 deletions(-)

diff --git a/src/scalar/field.rs b/src/scalar/field.rs
index fe345df..94a98e3 100644
--- a/src/scalar/field.rs
+++ b/src/scalar/field.rs
@@ -2,20 +2,32 @@ use crate::simd::SimdValue;
 use num::NumAssign;
 pub use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Rem, Sub, SubAssign};
 
+/// Trait __alias__ for `Add` with result of type `Self`.
+pub trait ClosedAdd<Right = Self>: Sized + Add<Right, Output = Self> {}
+
+/// Trait __alias__ for `Sub` with result of type `Self`.
+pub trait ClosedSub<Right = Self>: Sized + Sub<Right, Output = Self> {}
+
+/// Trait __alias__ for `Mul` with result of type `Self`.
+pub trait ClosedMul<Right = Self>: Sized + Mul<Right, Output = Self> {}
+
+/// Trait __alias__ for `Div` with result of type `Self`.
+pub trait ClosedDiv<Right = Self>: Sized + Div<Right, Output = Self> {}
+
+/// Trait __alias__ for `Neg` with result of type `Self`.
+pub trait ClosedNeg: Sized + Neg<Output = Self> {}
+
 /// Trait __alias__ for `Add` and `AddAssign` with result of type `Self`.
-pub trait ClosedAdd<Right = Self>: Sized + Add<Right, Output = Self> + AddAssign<Right> {}
+pub trait ClosedAddAssign<Right = Self>: ClosedAdd<Right> + AddAssign<Right> {}
 
 /// Trait __alias__ for `Sub` and `SubAssign` with result of type `Self`.
-pub trait ClosedSub<Right = Self>: Sized + Sub<Right, Output = Self> + SubAssign<Right> {}
+pub trait ClosedSubAssign<Right = Self>: ClosedSub<Right> + SubAssign<Right> {}
 
 /// Trait __alias__ for `Mul` and `MulAssign` with result of type `Self`.
-pub trait ClosedMul<Right = Self>: Sized + Mul<Right, Output = Self> + MulAssign<Right> {}
+pub trait ClosedMulAssign<Right = Self>: ClosedMul<Right> + MulAssign<Right> {}
 
 /// Trait __alias__ for `Div` and `DivAssign` with result of type `Self`.
-pub trait ClosedDiv<Right = Self>: Sized + Div<Right, Output = Self> + DivAssign<Right> {}
-
-/// Trait __alias__ for `Neg` with result of type `Self`.
-pub trait ClosedNeg: Sized + Neg<Output = Self> {}
+pub trait ClosedDivAssign<Right = Self>: ClosedDiv<Right> + DivAssign<Right> {}
 
 impl<T, Right> ClosedAdd<Right> for T where T: Add<Right, Output = T> + AddAssign<Right> {}
 impl<T, Right> ClosedSub<Right> for T where T: Sub<Right, Output = T> + SubAssign<Right> {}
@@ -23,6 +35,11 @@ impl<T, Right> ClosedMul<Right> for T where T: Mul<Right, Output = T> + MulAssig
 impl<T, Right> ClosedDiv<Right> for T where T: Div<Right, Output = T> + DivAssign<Right> {}
 impl<T> ClosedNeg for T where T: Neg<Output = T> {}
 
+impl<T, Right> ClosedAddAssign<Right> for T where T: ClosedAdd<Right> + AddAssign<Right> {}
+impl<T, Right> ClosedSubAssign<Right> for T where T: ClosedSub<Right> + SubAssign<Right> {}
+impl<T, Right> ClosedMulAssign<Right> for T where T: ClosedMul<Right> + MulAssign<Right> {}
+impl<T, Right> ClosedDivAssign<Right> for T where T: ClosedDiv<Right> + DivAssign<Right> {}
+
 /// Trait implemented by fields, i.e., complex numbers and floats.
 pub trait Field: SimdValue + NumAssign + ClosedNeg {}
 
diff --git a/src/scalar/mod.rs b/src/scalar/mod.rs
index c7ad59f..e017176 100644
--- a/src/scalar/mod.rs
+++ b/src/scalar/mod.rs
@@ -1,7 +1,10 @@
 //! Traits implemented by scalar, non-SIMD, types.
 
 pub use self::complex::ComplexField;
-pub use self::field::{ClosedAdd, ClosedDiv, ClosedMul, ClosedNeg, ClosedSub, Field};
+pub use self::field::{
+    ClosedAdd, ClosedAddAssign, ClosedDiv, ClosedDivAssign, ClosedMul, ClosedMulAssign, ClosedNeg,
+    ClosedSub, ClosedSubAssign, Field,
+};
 #[cfg(feature = "partial_fixed_point_support")]
 pub use self::fixed_impl::*;
 pub use self::real::RealField;