loop.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_FUNCTIONS_LOOP_H
#define pRC_CORE_TENSOR_FUNCTIONS_LOOP_H
 
#include <prc/core/functors/view.hpp>
#include <prc/core/tensor/declarations.hpp>
#include <prc/core/tensor/views/loop.hpp>
 
namespace pRC
{
    template<class F, class... Xs>
        requires(IsTensorish<RemoveReference<Xs>> && ...) &&
        (sizeof...(Xs) > 0) &&
        (IsSame<typename TupleElement<0, Tuple<RemoveReference<Xs>...>>::Sizes,
             typename RemoveReference<Xs>::Sizes> &&
            ...) &&
        IsInvocable<F,
            ResultOf<Xs, typename RemoveReference<Xs>::Subscripts>...>
    static inline constexpr auto loop(F &&f, Xs &&...args)
    {
        if constexpr((IsInvocable<View, Xs> && ...))
        {
            using T = RemoveConstReference<ResultOf<F,
                ResultOf<Xs, typename RemoveReference<Xs>::Subscripts>...>>;
 
            return TensorViews::Loop<T,
                Common<typename RemoveReference<Xs>::Sizes...>, F,
                RemoveReference<decltype(view(forward<Xs>(args)))>...>(
                forward<F>(f), view(forward<Xs>(args))...);
        }
        else
        {
            return eval(loop(forward<F>(f), args...));
        }
    }
 
    template<class F, class... Xs>
        requires(IsTensorish<RemoveReference<Xs>> && ...) &&
        requires { loop(declval<F>(), declval<Xs>()...); }
    static inline constexpr auto loop(Xs &&...args)
    {
        return loop(F(), forward<Xs>(args)...);
    }
}
#endif // pRC_CORE_TENSOR_FUNCTIONS_LOOP_H