use bnum::BInt;
use bnum::cast::As;
use typenum::{Sum,Unsigned};
use crate::fixed::Fixed;
use wide_traits::wide::WideMul;
use std::marker::PhantomData;

macro_rules! impl_wide_mul {
	($lhs: expr,$rhs: expr) => {
		impl<A,B> WideMul<Fixed<$rhs,B>> for Fixed<$lhs,A>
			where
				A:std::ops::Add<B>,
				B:Unsigned,
		{
			type Output=Fixed<{$lhs+$rhs},Sum<A,B>>;
			fn wide_mul(self,rhs:Fixed<$rhs,B>)->Self::Output{
				Fixed{
					bits:self.bits.as_::<BInt<{$lhs+$rhs}>>()*rhs.bits.as_::<BInt<{$lhs+$rhs}>>(),
					frac:PhantomData,
				}
			}
		}
	};
}

macro_rules! impl_wide_mul_all {
    ($(($x:expr, $y:expr)),*) => {
        $(
            impl_wide_mul!($x, $y);
        )*
    };
}

//const generics sidestepped wahoo
impl_wide_mul_all!(
	(1,1),(2,1),(3,1),(4,1),(5,1),(6,1),(7,1),(8,1),
	(1,2),(2,2),(3,2),(4,2),(5,2),(6,2),(7,2),(8,2),
	(1,3),(2,3),(3,3),(4,3),(5,3),(6,3),(7,3),(8,3),
	(1,4),(2,4),(3,4),(4,4),(5,4),(6,4),(7,4),(8,4),
	(1,5),(2,5),(3,5),(4,5),(5,5),(6,5),(7,5),(8,5),
	(1,6),(2,6),(3,6),(4,6),(5,6),(6,6),(7,6),(8,6),
	(1,7),(2,7),(3,7),(4,7),(5,7),(6,7),(7,7),(8,7),
	(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8),(8,8)
);