/// Invalid ranges were specified for constructing the histogram.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum InvalidRangeError {
    /// The number of ranges is less than the number of bins + 1.
    NotEnoughRanges,
    /// The ranges are not sorted or `(low, high)` where `low` > `high` is
    /// encountered.
    NotSorted,
    /// A range contains `nan`.
    NaN,
}

/// A sample is out of range of the histogram.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct SampleOutOfRangeError;

#[doc(hidden)]
#[macro_export]
macro_rules! define_histogram_common {
    ($LEN:expr) => {
        use $crate::Histogram as Trait;

        /// The number of bins of the histogram.
        const LEN: usize = $LEN;

        impl ::core::fmt::Debug for Histogram {
            fn fmt(&self, formatter: &mut ::core::fmt::Formatter<'_>) -> ::core::fmt::Result {
                formatter.write_str("Histogram {{ range: ")?;
                self.range[..].fmt(formatter)?;
                formatter.write_str(", bins: ")?;
                self.bin[..].fmt(formatter)?;
                formatter.write_str(" }}")
            }
        }

        impl Histogram {
            /// Construct a histogram with constant bin width.
            #[inline]
            pub fn with_const_width(start: f64, end: f64) -> Self {
                let step = (end - start) / (LEN as f64);
                let mut range = [0.; LEN + 1];
                for (i, r) in range.iter_mut().enumerate() {
                    *r = start + step * (i as f64);
                }

                Self {
                    range,
                    bin: [0; LEN],
                }
            }

            /// Construct a histogram from given ranges.
            ///
            /// The ranges are given by an iterator of floats where neighboring
            /// pairs `(a, b)` define a bin for all `x` where `a <= x < b`.
            ///
            /// Fails if the iterator is too short (less than `n + 1` where `n`
            /// is the number of bins), is not sorted or contains `nan`. `inf`
            /// and empty ranges are allowed.
            #[inline]
            pub fn from_ranges<T>(ranges: T) -> Result<Self, $crate::InvalidRangeError>
            where
                T: IntoIterator<Item = f64>,
            {
                let mut range = [0.; LEN + 1];
                let mut last_i = 0;
                for (i, r) in ranges.into_iter().enumerate() {
                    if i > LEN {
                        break;
                    }
                    if r.is_nan() {
                        return Err($crate::InvalidRangeError::NaN);
                    }
                    if i > 0 && range[i - 1] > r {
                        return Err($crate::InvalidRangeError::NotSorted);
                    }
                    range[i] = r;
                    last_i = i;
                }
                if last_i != LEN {
                    return Err($crate::InvalidRangeError::NotEnoughRanges);
                }
                Ok(Self {
                    range,
                    bin: [0; LEN],
                })
            }

            /// Find the index of the bin corresponding to the given sample.
            ///
            /// Fails if the sample is out of range of the histogram.
            #[inline]
            pub fn find(&self, x: f64) -> Result<usize, $crate::SampleOutOfRangeError> {
                // We made sure our ranges are valid at construction, so we can
                // safely unwrap.
                match self.range.binary_search_by(|p| p.partial_cmp(&x).unwrap()) {
                    Ok(i) if i < LEN => Ok(i),
                    Err(i) if i > 0 && i < LEN + 1 => Ok(i - 1),
                    _ => Err($crate::SampleOutOfRangeError),
                }
            }

            /// Add a sample to the histogram.
            ///
            /// Fails if the sample is out of range of the histogram.
            #[inline]
            pub fn add(&mut self, x: f64) -> Result<(), $crate::SampleOutOfRangeError> {
                if let Ok(i) = self.find(x) {
                    self.bin[i] += 1;
                    Ok(())
                } else {
                    Err($crate::SampleOutOfRangeError)
                }
            }

            /// Return the ranges of the histogram.
            #[inline]
            pub fn ranges(&self) -> &[f64] {
                &self.range[..]
            }

            /// Return an iterator over the bins and corresponding ranges:
            /// `((lower, upper), count)`
            #[inline]
            pub fn iter(&self) -> IterHistogram<'_> {
                self.into_iter()
            }

            /// Reset all bins to zero.
            #[inline]
            pub fn reset(&mut self) {
                self.bin = [0; LEN];
            }

            /// Return the lower range limit.
            ///
            /// (The corresponding bin might be empty.)
            #[inline]
            pub fn range_min(&self) -> f64 {
                self.range[0]
            }

            /// Return the upper range limit.
            ///
            /// (The corresponding bin might be empty.)
            #[inline]
            pub fn range_max(&self) -> f64 {
                self.range[LEN]
            }
        }

        /// Iterate over all `(range, count)` pairs in the histogram.
        #[derive(Debug, Clone)]
        pub struct IterHistogram<'a> {
            remaining_bin: &'a [u64],
            remaining_range: &'a [f64],
        }

        impl<'a> ::core::iter::Iterator for IterHistogram<'a> {
            type Item = ((f64, f64), u64);
            fn next(&mut self) -> Option<((f64, f64), u64)> {
                if let Some((&bin, rest)) = self.remaining_bin.split_first() {
                    let left = self.remaining_range[0];
                    let right = self.remaining_range[1];
                    self.remaining_bin = rest;
                    self.remaining_range = &self.remaining_range[1..];
                    return Some(((left, right), bin));
                }
                None
            }
        }

        impl<'a> ::core::iter::IntoIterator for &'a Histogram {
            type Item = ((f64, f64), u64);
            type IntoIter = IterHistogram<'a>;
            fn into_iter(self) -> IterHistogram<'a> {
                IterHistogram {
                    remaining_bin: self.bins(),
                    remaining_range: self.ranges(),
                }
            }
        }

        impl $crate::Histogram for Histogram {
            #[inline]
            fn bins(&self) -> &[u64] {
                &self.bin[..]
            }
        }

        impl<'a> ::core::ops::AddAssign<&'a Self> for Histogram {
            #[inline]
            fn add_assign(&mut self, other: &Self) {
                for (a, b) in self.range.iter().zip(other.range.iter()) {
                    assert_eq!(a, b, "Both histograms must have the same ranges");
                }
                for (x, y) in self.bin.iter_mut().zip(other.bin.iter()) {
                    *x += y;
                }
            }
        }

        impl ::core::ops::MulAssign<u64> for Histogram {
            #[inline]
            fn mul_assign(&mut self, other: u64) {
                for x in &mut self.bin[..] {
                    *x *= other;
                }
            }
        }

        impl $crate::Merge for Histogram {
            fn merge(&mut self, other: &Self) {
                assert_eq!(self.bin.len(), other.bin.len());
                for (a, b) in self.range.iter().zip(other.range.iter()) {
                    assert_eq!(a, b, "Both histograms must have the same ranges");
                }
                for (a, b) in self.bin.iter_mut().zip(other.bin.iter()) {
                    *a += *b;
                }
            }
        }
    };
}

#[cfg(feature = "serde1")]
#[doc(hidden)]
#[macro_export]
macro_rules! define_histogram_inner {
    ($name:ident, $LEN:expr) => {
        mod $name {
            $crate::define_histogram_common!($LEN);

            use ::serde::{Deserialize, Serialize};
            use serde_big_array::BigArray;

            /// A histogram with a number of bins known at compile time.
            #[derive(Clone, Serialize, Deserialize)]
            pub struct Histogram {
                /// The ranges defining the bins of the histogram.
                #[serde(with = "BigArray")]
                range: [f64; LEN + 1],
                /// The bins of the histogram.
                #[serde(with = "BigArray")]
                bin: [u64; LEN],
            }
        }
    };
}

#[cfg(not(feature = "serde1"))]
#[doc(hidden)]
#[macro_export]
macro_rules! define_histogram_inner {
    ($name:ident, $LEN:expr) => {
        mod $name {
            $crate::define_histogram_common!($LEN);

            /// A histogram with a number of bins known at compile time.
            #[derive(Clone)]
            pub struct Histogram {
                /// The ranges defining the bins of the histogram.
                range: [f64; LEN + 1],
                /// The bins of the histogram.
                bin: [u64; LEN],
            }
        }
    };
}

/// Define a histogram with a number of bins known at compile time.
///
/// Because macros are not hygienic for items, everything is defined in a private
/// module with the given name. This includes the `Histogram` struct, the number
/// of bins `LEN` and the histogram iterator `HistogramIter`.
///
/// Note that you need to make sure that `core` is accessible to the macro.
///
///
/// # Example
///
/// ```
/// use average::{Histogram, define_histogram};
///
/// define_histogram!(hist, 10);
/// let mut h = hist::Histogram::with_const_width(0., 100.);
/// for i in 0..100 {
///     h.add(i as f64).unwrap();
/// }
/// assert_eq!(h.bins(), &[10, 10, 10, 10, 10, 10, 10, 10, 10, 10]);
/// ```
#[macro_export]
macro_rules! define_histogram {
    ($name:ident, $LEN:expr) => {
        $crate::define_histogram_inner!($name, $LEN);
    };
}