use itertools::izip;

use std::ops::{Add, AddAssign, Mul, MulAssign, Sub, SubAssign};

#[derive(PartialEq, Debug, Copy, Clone)]
pub struct Vec2 {
    coords: [f64; 2],
}

impl Vec2 {
    pub fn new(x: f64, y: f64) -> Self {
        Vec2 { coords: [x, y] }
    }

    pub fn x(&self) -> f64 {
        self.coords[0]
    }

    pub fn y(&self) -> f64 {
        self.coords[1]
    }

    pub fn dot(&self, rhs: &Vec2) -> f64 {
        self.coords
            .iter()
            .zip(rhs.coords.iter())
            .map(|(a_elem, b_elem)| a_elem * b_elem)
            .sum()
    }

    pub fn perp(&self, rhs: &Vec2) -> f64 {
        self.x() * rhs.y() - self.y() * rhs.x()
    }
}

impl Add for Vec2 {
    type Output = Self;

    fn add(self, rhs: Self) -> Self {
        let mut coords = [0.0; 2];
        for (r, a, b) in izip!(coords.iter_mut(), self.coords.iter(), rhs.coords.iter()) {
            *r = a + b;
        }
        Vec2 { coords }
    }
}

impl AddAssign for Vec2 {
    fn add_assign(&mut self, rhs: Self) {
        for (a, b) in self.coords.iter_mut().zip(rhs.coords.iter()) {
            *a += b;
        }
    }
}

impl Sub for Vec2 {
    type Output = Self;

    fn sub(self, rhs: Self) -> Self {
        let mut coords = [0.0; 2];
        for (r, a, b) in izip!(coords.iter_mut(), self.coords.iter(), rhs.coords.iter()) {
            *r = a - b;
        }
        Vec2 { coords }
    }
}

impl SubAssign for Vec2 {
    fn sub_assign(&mut self, rhs: Self) {
        for (a, b) in self.coords.iter_mut().zip(rhs.coords.iter()) {
            *a -= b;
        }
    }
}

impl Mul<f64> for Vec2 {
    type Output = Self;

    fn mul(self, rhs: f64) -> Vec2 {
        let mut coords = [0.0; 2];
        for (r, a) in coords.iter_mut().zip(self.coords.iter()) {
            *r = a * rhs;
        }
        Vec2 { coords }
    }
}

impl MulAssign<f64> for Vec2 {
    fn mul_assign(&mut self, rhs: f64) {
        for a in self.coords.iter_mut() {
            *a *= rhs;
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use quickcheck::{Arbitrary, Gen};

    impl Arbitrary for Vec2 {
        fn arbitrary<G: Gen>(g: &mut G) -> Vec2 {
            Vec2::new(f64::arbitrary(g), f64::arbitrary(g))
        }
    }

    #[test]
    fn x_returns_first_element() {
        let target = Vec2::new(1.0, 2.0);
        assert!(target.x() == 1.0);
    }

    #[test]
    fn y_returns_second_element() {
        let target = Vec2::new(1.0, 2.0);
        assert!(target.y() == 2.0);
    }

    #[test]
    fn dot_product_returns_correct_result() {
        let a = Vec2::new(1.0, 2.0);
        let b = Vec2::new(4.0, 5.0);
        assert!(a.dot(&b) == 14.0);
    }

    #[test]
    fn add_returns_correct_result() {
        let a = Vec2::new(1.0, 2.0);
        let b = Vec2::new(4.0, 5.0);
        let c = Vec2::new(5.0, 7.0);
        assert!(a + b == c);
    }

    #[test]
    fn add_assign_returns_correct_result() {
        let mut a = Vec2::new(1.0, 2.0);
        let b = Vec2::new(4.0, 5.0);
        let c = Vec2::new(5.0, 7.0);
        a += b;
        assert!(a == c);
    }

    #[test]
    fn sub_returns_correct_result() {
        let a = Vec2::new(1.0, 2.0);
        let b = Vec2::new(4.0, 6.0);
        let c = Vec2::new(-3.0, -4.0);
        assert!(a - b == c);
    }

    #[test]
    fn sub_assign_returns_correct_result() {
        let mut a = Vec2::new(1.0, 2.0);
        let b = Vec2::new(4.0, 6.0);
        let c = Vec2::new(-3.0, -4.0);
        a -= b;
        assert!(a == c);
    }

    #[test]
    fn mul_by_scalar_returns_correct_result() {
        let a = Vec2::new(1.0, 2.0);
        let b = 0.5;
        let c = Vec2::new(0.5, 1.0);
        assert!(a * b == c);
    }

    #[test]
    fn mul_assign_by_scalar_returns_correct_result() {
        let mut a = Vec2::new(1.0, 2.0);
        let b = 0.5;
        let c = Vec2::new(0.5, 1.0);
        a *= b;
        assert!(a == c);
    }
}