// Copyright 2023 RisingWave Labs
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

use chrono_tz::Tz;
use num_traits::One;
use risingwave_common::types::{CheckedAdd, Decimal, Interval, IsNegative, Timestamptz};
use risingwave_expr::expr_context::TIME_ZONE;
use risingwave_expr::{ExprError, Result, capture_context, function};

#[function("generate_series(int4, int4) -> setof int4")]
#[function("generate_series(int8, int8) -> setof int8")]
fn generate_series<T>(start: T, stop: T) -> Result<impl Iterator<Item = T>>
where
    T: CheckedAdd<Output = T> + PartialOrd + Copy + One + IsNegative,
{
    range_generic::<_, _, _, true>(start, stop, T::one(), ())
}

#[function("generate_series(decimal, decimal) -> setof decimal")]
fn generate_series_decimal(start: Decimal, stop: Decimal) -> Result<impl Iterator<Item = Decimal>>
where
{
    validate_range_parameters(start, stop, Decimal::one())?;
    range_generic::<Decimal, Decimal, _, true>(start, stop, Decimal::one(), ())
}

#[function("generate_series(int4, int4, int4) -> setof int4")]
#[function("generate_series(int8, int8, int8) -> setof int8")]
#[function("generate_series(timestamp, timestamp, interval) -> setof timestamp")]
fn generate_series_step<T, S>(start: T, stop: T, step: S) -> Result<impl Iterator<Item = T>>
where
    T: CheckedAdd<S, Output = T> + PartialOrd + Copy,
    S: IsNegative + Copy,
{
    range_generic::<_, _, _, true>(start, stop, step, ())
}

#[function("generate_series(decimal, decimal, decimal) -> setof decimal")]
fn generate_series_step_decimal(
    start: Decimal,
    stop: Decimal,
    step: Decimal,
) -> Result<impl Iterator<Item = Decimal>> {
    validate_range_parameters(start, stop, step)?;
    range_generic::<_, _, _, true>(start, stop, step, ())
}

#[function("generate_series(timestamptz, timestamptz, interval) -> setof timestamptz")]
fn generate_series_timestamptz_session(
    start: Timestamptz,
    stop: Timestamptz,
    step: Interval,
) -> Result<impl Iterator<Item = Timestamptz>> {
    generate_series_timestamptz_impl_captured(start, stop, step)
}

#[function("generate_series(timestamptz, timestamptz, interval, varchar) -> setof timestamptz")]
fn generate_series_timestamptz_at_zone(
    start: Timestamptz,
    stop: Timestamptz,
    step: Interval,
    time_zone: &str,
) -> Result<impl Iterator<Item = Timestamptz>> {
    generate_series_timestamptz_impl(time_zone, start, stop, step)
}

#[capture_context(TIME_ZONE)]
fn generate_series_timestamptz_impl(
    time_zone: &str,
    start: Timestamptz,
    stop: Timestamptz,
    step: Interval,
) -> Result<impl Iterator<Item = Timestamptz> + use<>> {
    let time_zone =
        Timestamptz::lookup_time_zone(time_zone).map_err(crate::scalar::time_zone_err)?;
    range_generic::<_, _, _, true>(start, stop, step, time_zone)
}

#[function("range(int4, int4) -> setof int4")]
#[function("range(int8, int8) -> setof int8")]
fn range<T>(start: T, stop: T) -> Result<impl Iterator<Item = T>>
where
    T: CheckedAdd<Output = T> + PartialOrd + Copy + One + IsNegative,
{
    range_generic::<_, _, _, false>(start, stop, T::one(), ())
}

#[function("range(decimal, decimal) -> setof decimal")]
fn range_decimal(start: Decimal, stop: Decimal) -> Result<impl Iterator<Item = Decimal>>
where
{
    validate_range_parameters(start, stop, Decimal::one())?;
    range_generic::<Decimal, Decimal, _, false>(start, stop, Decimal::one(), ())
}

#[function("range(int4, int4, int4) -> setof int4")]
#[function("range(int8, int8, int8) -> setof int8")]
#[function("range(timestamp, timestamp, interval) -> setof timestamp")]
fn range_step<T, S>(start: T, stop: T, step: S) -> Result<impl Iterator<Item = T>>
where
    T: CheckedAdd<S, Output = T> + PartialOrd + Copy,
    S: IsNegative + Copy,
{
    range_generic::<_, _, _, false>(start, stop, step, ())
}

#[function("range(decimal, decimal, decimal) -> setof decimal")]
fn range_step_decimal(
    start: Decimal,
    stop: Decimal,
    step: Decimal,
) -> Result<impl Iterator<Item = Decimal>> {
    validate_range_parameters(start, stop, step)?;
    range_generic::<_, _, _, false>(start, stop, step, ())
}

pub trait CheckedAddWithExtra<Rhs = Self, Extra = ()> {
    type Output;
    fn checked_add_with_extra(self, rhs: Rhs, extra: Extra) -> Option<Self::Output>;
}

impl<L, R> CheckedAddWithExtra<R, ()> for L
where
    L: CheckedAdd<R>,
{
    type Output = L::Output;

    fn checked_add_with_extra(self, rhs: R, _: ()) -> Option<Self::Output> {
        self.checked_add(rhs)
    }
}

impl CheckedAddWithExtra<Interval, Tz> for Timestamptz {
    type Output = Self;

    fn checked_add_with_extra(self, rhs: Interval, extra: Tz) -> Option<Self::Output> {
        crate::scalar::timestamptz_interval_add_internal(self, rhs, extra).ok()
    }
}

#[inline]
fn range_generic<T, S, E, const INCLUSIVE: bool>(
    start: T,
    stop: T,
    step: S,
    extra: E,
) -> Result<impl Iterator<Item = T>>
where
    T: CheckedAddWithExtra<S, E, Output = T> + PartialOrd + Copy,
    S: IsNegative + Copy,
    E: Copy,
{
    if step.is_zero() {
        return Err(ExprError::InvalidParam {
            name: "step",
            reason: "step size cannot equal zero".into(),
        });
    }
    let mut cur = start;
    let neg = step.is_negative();
    let next = move || {
        match (INCLUSIVE, neg) {
            (true, true) if cur < stop => return None,
            (true, false) if cur > stop => return None,
            (false, true) if cur <= stop => return None,
            (false, false) if cur >= stop => return None,
            _ => {}
        };
        let ret = cur;
        cur = cur.checked_add_with_extra(step, extra)?;
        Some(ret)
    };
    Ok(std::iter::from_fn(next))
}

/// Validate decimals can not be `NaN` or `infinity`.
#[inline]
fn validate_range_parameters(start: Decimal, stop: Decimal, step: Decimal) -> Result<()> {
    validate_decimal(start, "start")?;
    validate_decimal(stop, "stop")?;
    validate_decimal(step, "step")?;
    Ok(())
}

#[inline]
fn validate_decimal(decimal: Decimal, name: &'static str) -> Result<()> {
    match decimal {
        Decimal::Normalized(_) => Ok(()),
        Decimal::PositiveInf | Decimal::NegativeInf => Err(ExprError::InvalidParam {
            name,
            reason: format!("{} value cannot be infinity", name).into(),
        }),
        Decimal::NaN => Err(ExprError::InvalidParam {
            name,
            reason: format!("{} value cannot be NaN", name).into(),
        }),
    }
}

#[cfg(test)]
mod tests {
    use std::str::FromStr;

    use futures_util::StreamExt;
    use risingwave_common::array::DataChunk;
    use risingwave_common::types::test_utils::IntervalTestExt;
    use risingwave_common::types::{DataType, Decimal, Interval, ScalarImpl, Timestamp};
    use risingwave_expr::expr::{BoxedExpression, LiteralExpression, SyncExpressionBoxExt};
    use risingwave_expr::table_function::{build, check_error};
    use risingwave_pb::expr::table_function::PbType;

    const CHUNK_SIZE: usize = 1024;

    #[tokio::test]
    async fn test_generate_series_i32() {
        generate_series_i32(2, 4, 1).await;
        generate_series_i32(4, 2, -1).await;
        generate_series_i32(0, 9, 2).await;
        generate_series_i32(0, (CHUNK_SIZE * 2 + 3) as i32, 1).await;
    }

    async fn generate_series_i32(start: i32, stop: i32, step: i32) {
        fn literal(v: i32) -> BoxedExpression {
            LiteralExpression::new(DataType::Int32, Some(v.into())).boxed()
        }
        let function = build(
            PbType::GenerateSeries,
            DataType::Int32,
            CHUNK_SIZE,
            vec![literal(start), literal(stop), literal(step)],
        )
        .unwrap();
        let expect_cnt = ((stop - start) / step + 1) as usize;

        let dummy_chunk = DataChunk::new_dummy(1);
        let mut actual_cnt = 0;
        let mut output = function.eval(&dummy_chunk).await;
        while let Some(Ok(chunk)) = output.next().await {
            actual_cnt += chunk.cardinality();
        }
        assert_eq!(actual_cnt, expect_cnt);
    }

    #[tokio::test]
    async fn test_generate_series_timestamp() {
        let start_time = Timestamp::from_str("2008-03-01 00:00:00").unwrap();
        let stop_time = Timestamp::from_str("2008-03-09 00:00:00").unwrap();
        let one_minute_step = Interval::from_minutes(1);
        let one_hour_step = Interval::from_minutes(60);
        let one_day_step = Interval::from_days(1);
        generate_series_timestamp(start_time, stop_time, one_minute_step, 60 * 24 * 8 + 1).await;
        generate_series_timestamp(start_time, stop_time, one_hour_step, 24 * 8 + 1).await;
        generate_series_timestamp(start_time, stop_time, one_day_step, 8 + 1).await;
        generate_series_timestamp(stop_time, start_time, -one_day_step, 8 + 1).await;
    }

    async fn generate_series_timestamp(
        start: Timestamp,
        stop: Timestamp,
        step: Interval,
        expect_cnt: usize,
    ) {
        fn literal(ty: DataType, v: ScalarImpl) -> BoxedExpression {
            LiteralExpression::new(ty, Some(v)).boxed()
        }
        let function = build(
            PbType::GenerateSeries,
            DataType::Timestamp,
            CHUNK_SIZE,
            vec![
                literal(DataType::Timestamp, start.into()),
                literal(DataType::Timestamp, stop.into()),
                literal(DataType::Interval, step.into()),
            ],
        )
        .unwrap();

        let dummy_chunk = DataChunk::new_dummy(1);
        let mut actual_cnt = 0;
        let mut output = function.eval(&dummy_chunk).await;
        while let Some(Ok(chunk)) = output.next().await {
            actual_cnt += chunk.cardinality();
        }
        assert_eq!(actual_cnt, expect_cnt);
    }

    #[tokio::test]
    async fn test_range_i32() {
        range_i32(2, 4, 1).await;
        range_i32(4, 2, -1).await;
        range_i32(0, 9, 2).await;
        range_i32(0, (CHUNK_SIZE * 2 + 3) as i32, 1).await;
    }

    async fn range_i32(start: i32, stop: i32, step: i32) {
        fn literal(v: i32) -> BoxedExpression {
            LiteralExpression::new(DataType::Int32, Some(v.into())).boxed()
        }
        let function = build(
            PbType::Range,
            DataType::Int32,
            CHUNK_SIZE,
            vec![literal(start), literal(stop), literal(step)],
        )
        .unwrap();
        let expect_cnt = ((stop - start - step.signum()) / step + 1) as usize;

        let dummy_chunk = DataChunk::new_dummy(1);
        let mut actual_cnt = 0;
        let mut output = function.eval(&dummy_chunk).await;
        while let Some(Ok(chunk)) = output.next().await {
            actual_cnt += chunk.cardinality();
        }
        assert_eq!(actual_cnt, expect_cnt);
    }

    #[tokio::test]
    async fn test_range_timestamp() {
        let start_time = Timestamp::from_str("2008-03-01 00:00:00").unwrap();
        let stop_time = Timestamp::from_str("2008-03-09 00:00:00").unwrap();
        let one_minute_step = Interval::from_minutes(1);
        let one_hour_step = Interval::from_minutes(60);
        let one_day_step = Interval::from_days(1);
        range_timestamp(start_time, stop_time, one_minute_step, 60 * 24 * 8).await;
        range_timestamp(start_time, stop_time, one_hour_step, 24 * 8).await;
        range_timestamp(start_time, stop_time, one_day_step, 8).await;
        range_timestamp(stop_time, start_time, -one_day_step, 8).await;
    }

    async fn range_timestamp(start: Timestamp, stop: Timestamp, step: Interval, expect_cnt: usize) {
        fn literal(ty: DataType, v: ScalarImpl) -> BoxedExpression {
            LiteralExpression::new(ty, Some(v)).boxed()
        }
        let function = build(
            PbType::Range,
            DataType::Timestamp,
            CHUNK_SIZE,
            vec![
                literal(DataType::Timestamp, start.into()),
                literal(DataType::Timestamp, stop.into()),
                literal(DataType::Interval, step.into()),
            ],
        )
        .unwrap();

        let dummy_chunk = DataChunk::new_dummy(1);
        let mut actual_cnt = 0;
        let mut output = function.eval(&dummy_chunk).await;
        while let Some(Ok(chunk)) = output.next().await {
            actual_cnt += chunk.cardinality();
        }
        assert_eq!(actual_cnt, expect_cnt);
    }

    #[tokio::test]
    async fn test_generate_series_decimal() {
        generate_series_decimal("1", "5", "1", true).await;
        generate_series_decimal("inf", "5", "1", false).await;
        generate_series_decimal("inf", "-inf", "1", false).await;
        generate_series_decimal("1", "-inf", "1", false).await;
        generate_series_decimal("1", "5", "nan", false).await;
        generate_series_decimal("1", "5", "inf", false).await;
        generate_series_decimal("1", "-inf", "nan", false).await;
    }

    async fn generate_series_decimal(start: &str, stop: &str, step: &str, expect_ok: bool) {
        fn decimal_literal(v: Decimal) -> BoxedExpression {
            LiteralExpression::new(DataType::Decimal, Some(v.into())).boxed()
        }
        let function = build(
            PbType::GenerateSeries,
            DataType::Decimal,
            CHUNK_SIZE,
            vec![
                decimal_literal(start.parse().unwrap()),
                decimal_literal(stop.parse().unwrap()),
                decimal_literal(step.parse().unwrap()),
            ],
        )
        .unwrap();

        let dummy_chunk = DataChunk::new_dummy(1);
        let mut output = function.eval(&dummy_chunk).await;
        while let Some(res) = output.next().await {
            let chunk = res.unwrap();
            let error = check_error(&chunk);
            assert_eq!(
                error.is_ok(),
                expect_ok,
                "generate_series({start}, {stop}, {step})"
            );
        }
    }
}
