folding.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_FUNCTIONS_FOLDING_H
#define pRC_CORE_TENSOR_FUNCTIONS_FOLDING_H
 
#include <prc/core/basic/position.hpp>
#include <prc/core/functors/unfolding.hpp>
#include <prc/core/tensor/declarations.hpp>
 
namespace pRC
{
    template<Position P, class X, IsTensorish R = RemoveReference<X>>
        requires(P == Position::Left) &&
        IsInvocable<Unfolding<R::Dimension - 2>, X>
    static inline constexpr auto folding(X &&a)
    {
        return unfolding<R::Dimension - 2>(forward<X>(a));
    }
 
    template<Position P, class X, IsTensorish R = RemoveReference<X>>
        requires(P == Position::Right) && IsInvocable<Unfolding<0>, X>
    static inline constexpr auto folding(X &&a)
    {
        return unfolding<0>(forward<X>(a));
    }
}
#endif // pRC_CORE_TENSOR_FUNCTIONS_FOLDING_H