exclude.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_FUNCTIONS_EXCLUDE_H
#define pRC_CORE_TENSOR_FUNCTIONS_EXCLUDE_H
 
#include <prc/core/functors/view.hpp>
#include <prc/core/tensor/declarations.hpp>
#include <prc/core/tensor/views/exclude.hpp>
 
namespace pRC
{
    template<Index... Es, class F, class... Xs>
        requires(IsTensorish<RemoveReference<Xs>> && ...) &&
        (sizeof...(Xs) > 0) &&
        ((select<Es...>(typename TupleElement<0,
              Tuple<RemoveReference<Xs>...>>::Sizes()) ==
             select<Es...>(typename RemoveReference<Xs>::Sizes())) &&
            ...) &&
        IsInvocable<F, ResultOf<Chip<Es...>, Xs, decltype(Es)...>...>
    static inline constexpr auto exclude(F &&f, Xs &&...args)
    {
        if constexpr((IsInvocable<View, Xs> && ...))
        {
            using ESizes = Common<decltype(select<Es...>(
                typename RemoveReference<Xs>::Sizes()))...>;
            using R = RemoveReference<
                ResultOf<F, ResultOf<Chip<Es...>, Xs, decltype(Es)...>...>>;
            using FSizes = typename R::Sizes;
            using Sizes = decltype(ESizes(), FSizes());
            using T = typename R::Type;
 
            return TensorViews::Exclude<T, Sizes, F, Sequence<Index, Es...>,
                RemoveReference<decltype(view(forward<Xs>(args)))>...>(
                forward<F>(f), view(forward<Xs>(args))...);
        }
        else
        {
            return eval(exclude<Es...>(forward<F>(f), args...));
        }
    }
 
    template<class F, Index... Es, class... Xs>
        requires(IsTensorish<RemoveReference<Xs>> && ...) &&
        requires { exclude<Es...>(declval<F>(), declval<Xs>()...); }
    static inline constexpr auto exclude(Xs &&...args)
    {
        return exclude<Es...>(F(), forward<Xs>(args)...);
    }
}
#endif // pRC_CORE_TENSOR_FUNCTIONS_EXCLUDE_H