/*******************************************************************************
 * tlx/meta/fold_right.hpp
 *
 * Part of tlx - http://panthema.net/tlx
 *
 * Copyright (C) 2018 Hung Tran <hung@ae.cs.uni-frankfurt.de>
 *
 * All rights reserved. Published under the Boost Software License, Version 1.0
 ******************************************************************************/

#ifndef TLX_META_FOLD_RIGHT_HEADER
#define TLX_META_FOLD_RIGHT_HEADER

#include <utility>

namespace tlx {

//! \addtogroup tlx_meta
//! \{

/******************************************************************************/
// Variadic Template Expander: Implements fold_right() on the variadic template
// arguments. Implements (pack ... op ... init) of C++17.

namespace meta_detail {

//! helper for fold_right: base case
template <typename Reduce, typename Initial, typename Arg>
auto fold_right_impl(Reduce&& r, Initial&& init, Arg&& arg)
{
    return std::forward<Reduce>(r)(std::forward<Arg>(arg),
                                   std::forward<Initial>(init));
}

//! helper for fold_right: general recursive case
template <typename Reduce, typename Initial, typename Arg, typename... MoreArgs>
auto fold_right_impl(Reduce&& r, Initial&& init, Arg&& arg, MoreArgs&&... rest)
{
    return std::forward<Reduce>(r)(
        std::forward<Arg>(arg),
        fold_right_impl(std::forward<Reduce>(r), std::forward<Initial>(init),
                        std::forward<MoreArgs>(rest)...));
}

} // namespace meta_detail

//! Implements fold_right() -- (a * (b * c)) -- with a binary Reduce operation
//! and initial value.
template <typename Reduce, typename Initial, typename... Args>
auto fold_right(Reduce&& r, Initial&& init, Args&&... args)
{
    return meta_detail::fold_right_impl(std::forward<Reduce>(r),
                                        std::forward<Initial>(init),
                                        std::forward<Args>(args)...);
}

//! \}

} // namespace tlx

#endif // !TLX_META_FOLD_RIGHT_HEADER

/******************************************************************************/
