arith_traits 0.3.2

// suppress spurious? `clippy::use_self` lint
#![allow(clippy::use_self)]

mod i_unary_wrapping_ops;
#[cfg(test)]
mod unit_tests;

pub use i_unary_wrapping_ops::IUnaryWrappingOps;

pub trait IWrappingOps<T = Self>: IUnaryWrappingOps {
    // Each operation's `Output` is defined distinctly to support typed ranged arithmetic
    type AddOutput: IWrappingOps = Self where Self: IWrappingOps;
    type DivOutput: IWrappingOps = Self where Self: IWrappingOps;
    type MulOutput: IWrappingOps = Self where Self: IWrappingOps;
    type RemOutput: IWrappingOps = Self where Self: IWrappingOps;
    type SubOutput: IWrappingOps = Self where Self: IWrappingOps;

    fn wrapping_add(self, rhs: T) -> <Self as IWrappingOps<T>>::AddOutput where Self: IWrappingOps;
    fn wrapping_div(self, rhs: T) -> <Self as IWrappingOps<T>>::DivOutput where Self: IWrappingOps;
    fn wrapping_div_euclid(self, rhs: T) -> <Self as IWrappingOps<T>>::DivOutput where Self: IWrappingOps;
    fn wrapping_mul(self, rhs: T) -> <Self as IWrappingOps<T>>::MulOutput where Self: IWrappingOps;
    fn wrapping_rem(self, rhs: T) -> <Self as IWrappingOps<T>>::RemOutput where Self: IWrappingOps;
    fn wrapping_rem_euclid(self, rhs: T) -> <Self as IWrappingOps<T>>::RemOutput where Self: IWrappingOps;
    fn wrapping_sub(self, rhs: T) -> <Self as IWrappingOps<T>>::SubOutput where Self: IWrappingOps;
}

macro_rules! wrapping_ops {
    ($tr:ty; $($t:ty),+ $(,)?) => ($(
        impl IWrappingOps for $t {
            type RemOutput = Self;

            binary_op_impl! {
                $tr, $t;
                wrapping_add,
                wrapping_div,
                wrapping_div_euclid,
                wrapping_mul,
                wrapping_rem,
                wrapping_rem_euclid,
                wrapping_sub,
            }
        }
    )*)
}

wrapping_ops! { IUnaryWrappingOps; i8, i16, i32, i64, i128, isize, u8, u16, u32, u64, u128, usize, }