use crate::simd::SimdValue;
use num::NumAssign;
pub use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Sub, SubAssign};
pub trait ClosedAdd<Right = Self>: Sized + Add<Right, Output = Self> {}
pub trait ClosedSub<Right = Self>: Sized + Sub<Right, Output = Self> {}
pub trait ClosedMul<Right = Self>: Sized + Mul<Right, Output = Self> {}
pub trait ClosedDiv<Right = Self>: Sized + Div<Right, Output = Self> {}
pub trait ClosedNeg: Sized + Neg<Output = Self> {}
pub trait ClosedAddAssign<Right = Self>: ClosedAdd<Right> + AddAssign<Right> {}
pub trait ClosedSubAssign<Right = Self>: ClosedSub<Right> + SubAssign<Right> {}
pub trait ClosedMulAssign<Right = Self>: ClosedMul<Right> + MulAssign<Right> {}
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> {}
impl<T, Right> ClosedMul<Right> for T where T: Mul<Right, Output = T> + MulAssign<Right> {}
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> {}
pub trait Field: SimdValue + NumAssign + ClosedNeg {}
impl<N: SimdValue + Clone + NumAssign + ClosedNeg> Field for num_complex::Complex<N> {}
macro_rules! impl_field (
($($t: ty),*) => {$(
impl Field for $t {}
)*}
);
impl_field!(f32, f64);