declarations.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_DECLARATIONS_H
#define pRC_CORE_TENSOR_DECLARATIONS_H
 
#include <prc/core/basic/sequence.hpp>
#include <prc/core/complex/complex.hpp>
#include <prc/core/value/value.hpp>
 
namespace pRC
{
    template<class T, Size... Ns>
        requires(IsValue<T> || IsComplex<T> || IsBool<T>) &&
        requires { Sizes<Ns...>::size(); }
    class Tensor;
 
    namespace TensorViews
    {
        template<class T, class N, class F>
        class View;
 
        template<class T, class N, class F>
        class Assignable;
    }
 
    template<class T>
    concept IsTensor = !IsReference<T> && requires {
        {
            []<class U, Size... Ns>(Tensor<U, Ns...> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsTensorView = !IsReference<T> && requires {
        {
            []<class U, class N, class F>(TensorViews::View<U, N, F> const &&)
            {
            }(std::declval<T>())
        };
    };
 
    template<class T>
    concept IsTensorish = IsTensor<T> || IsTensorView<T>;
 
    template<class T>
    concept IsScalar = IsTensor<T> && T::Dimension == 0;
 
    template<class T>
    concept IsScalarish = IsTensorish<T> && T::Dimension == 0;
 
    template<class T>
    concept IsVector = IsTensor<T> && T::Dimension == 1;
 
    template<class T>
    concept IsVectorish = IsTensorish<T> && T::Dimension == 1;
 
    template<class T>
    concept IsMatrix = IsTensor<T> && T::Dimension == 2;
 
    template<class T>
    concept IsMatrixish = IsTensorish<T> && T::Dimension == 2;
}
#endif // pRC_CORE_TENSOR_DECLARATIONS_H