use crate::ops::AsProxy;
use crate::ops::Rem;
use rbs::Value;
fn op_rem_value(left: Value, rhs: Value) -> Value {
    match left {
        Value::I32(s) => {
            let rhs = rhs.i32();
            Value::I32(s % rhs)
        }
        Value::I64(s) => {
            let rhs = rhs.i64();
            Value::I64(s % rhs)
        }
        Value::U32(s) => {
            let rhs = rhs.u32();
            Value::U32(s % rhs)
        }
        Value::U64(s) => {
            let rhs = rhs.u64();
            Value::U64(s % rhs)
        }
        Value::F32(s) => {
            let rhs = rhs.f64() as f32;
            Value::F32(s % rhs)
        }
        Value::F64(s) => {
            let rhs = rhs.f64();
            Value::F64(s % rhs)
        }
        Value::Ext(_, e) => op_rem_value(*e, rhs),
        _ => Value::Null,
    }
}
impl Rem<Value> for Value {
    type Output = Value;
    fn op_rem(self, rhs: Value) -> Self::Output {
        op_rem_value(self, rhs)
    }
}
impl Rem<&Value> for Value {
    type Output = Value;
    fn op_rem(self, rhs: &Value) -> Self::Output {
        op_rem_value(self, rhs.to_owned())
    }
}
impl Rem<&&Value> for Value {
    type Output = Value;
    fn op_rem(self, rhs: &&Value) -> Self::Output {
        op_rem_value(self, (*rhs).to_owned())
    }
}
impl Rem<Value> for &Value {
    type Output = Value;
    fn op_rem(self, rhs: Value) -> Self::Output {
        op_rem_value(self.to_owned(), rhs)
    }
}
impl Rem<&Value> for &Value {
    type Output = Value;
    fn op_rem(self, rhs: &Value) -> Self::Output {
        op_rem_value(self.to_owned(), rhs.to_owned())
    }
}
impl Rem<&&Value> for &Value {
    type Output = Value;
    fn op_rem(self, rhs: &&Value) -> Self::Output {
        op_rem_value(self.to_owned(), (*rhs).to_owned())
    }
}
fn op_rem_u64(value: &Value, other: u64) -> u64 {
    value.u64() % other
}
fn op_rem_i64(value: &Value, other: i64) -> i64 {
    value.i64() % other
}
fn op_rem_f64(value: &Value, other: f64) -> f64 {
    value.f64() % other
}
fn op_rem_u64_value(value: &Value, other: u64) -> u64 {
    other % value.u64()
}
fn op_rem_i64_value(value: &Value, other: i64) -> i64 {
    other % value.i64()
}
fn op_rem_f64_value(value: &Value, other: f64) -> f64 {
    other % value.f64()
}
macro_rules! impl_numeric_rem {
    ($($rem:ident,$rem_value:ident [$($ty:ty)*]-> $return_ty:ty)*) => {
        $($(
            impl Rem<$ty> for Value {
                type Output = $return_ty;
                fn op_rem(self, other: $ty) -> Self::Output {
                    $rem(&self, other as _)
                }
            }
            impl Rem<&$ty> for Value {
                type Output = $return_ty;
                fn op_rem(self, other: &$ty) -> Self::Output {
                    $rem(&self, *other as _)
                }
            }
            impl<'a> Rem<$ty> for &'a Value {
                type Output = $return_ty;
                fn op_rem(self, other: $ty) -> Self::Output {
                    $rem(self, other as _)
                }
            }
            impl<'a> Rem<&$ty> for &'a Value {
                type Output = $return_ty;
                fn op_rem(self, other: &$ty) -> Self::Output {
                    $rem(self, *other as _)
                }
            }
            impl Rem<Value> for $ty {
                type Output = $return_ty;
                fn op_rem(self, other: Value) -> Self::Output {
                    $rem_value(&other, self as _)
                }
            }
            impl Rem<&Value> for $ty {
                type Output = $return_ty;
                fn op_rem(self, other: &Value) -> Self::Output {
                    $rem_value(other, self as _)
                }
            }
            impl Rem<Value> for &$ty {
                type Output = $return_ty;
                fn op_rem(self, other: Value) -> Self::Output {
                    $rem_value(&other, *self as _)
                }
            }
            impl Rem<&Value> for &$ty {
                type Output = $return_ty;
                fn op_rem(self, other: &Value) -> Self::Output {
                    $rem_value(other, *self as _)
                }
            }
            impl Rem<&&Value> for $ty {
                type Output = $return_ty;
                fn op_rem(self, other: &&Value) -> Self::Output {
                    $rem_value(other, self as _)
                }
            }
        )*)*
    }
}
impl_numeric_rem! {
    op_rem_u64,op_rem_u64_value[u8 u16 u32 u64] -> u64
    op_rem_i64,op_rem_i64_value[i8 i16 i32 i64 isize] -> i64
    op_rem_f64,op_rem_f64_value[f32 f64] -> f64
}
macro_rules! self_rem {
    ([$($ty:ty)*]) => {
        $(
impl Rem<$ty> for $ty{
         type Output = $ty;
      fn op_rem(self, rhs: $ty) -> Self::Output {
        self % rhs
      }
    }
impl Rem<&$ty> for $ty{
         type Output = $ty;
      fn op_rem(self, rhs: &$ty) -> Self::Output {
        self % *rhs
      }
    }
impl Rem<$ty> for &$ty{
         type Output = $ty;
      fn op_rem(self, rhs: $ty) -> Self::Output {
        *self % rhs
      }
    }
impl Rem<&$ty> for &$ty{
         type Output = $ty;
      fn op_rem(self, rhs: &$ty) -> Self::Output {
        *self % *rhs
      }
    }
        )*
    };
}
self_rem!([u8 u16 u32 u64]);
self_rem!([i8 i16 i32 i64 isize]);
self_rem!([f32 f64]);