high_order.hpp

Go to the documentation of this file.

/*
Copyright© 2014 Akihiro Nishimura

This software is released under the MIT License.
http://opensource.org/licenses/mit-license.php
*/

#ifndef SIG_UTIL_HIGH_ORDER_HPP
#define SIG_UTIL_HIGH_ORDER_HPP

#include "../helper/helper_modules.hpp"
#include "../helper/container_helper.hpp"


namespace sig
{

template <class F, class C1, class... Cs>
auto variadicZipWith(F&& func, C1&& list1, Cs&&... lists)
{
    using CR1 = typename impl::remove_const_reference<C1>::type;
    using R = typename impl::container_traits<CR1>::template rebind<decltype(impl::eval(
        std::forward<F>(func),
        std::declval<typename impl::forward_element<C1>::type>(),
        std::declval<typename impl::forward_element<Cs>::type>()...
    ))>;

    const uint length = min(list1.size(), lists.size()...);
    R result = impl::container_traits<R>::make(length);

    iterative_make(length, result, std::forward<F>(func), impl::begin(std::forward<C1>(list1)), impl::begin(std::forward<Cs>(lists))...);

    return result;
}


template <class F, class C>
auto map(F&& func, C&& list)
{
    return variadicZipWith(std::forward<F>(func), std::forward<C>(list));
}


template <class F, class C1, class C2>
auto zipWith(F&& func, C1&& list1, C2&& list2)
{
    return variadicZipWith(std::forward<F>(func), std::forward<C1>(list1), std::forward<C2>(list2));
}

}
#endif