Concepts.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <concepts>
#include <cstddef>
#include <complex>
#include <iterator>
#include <type_traits>
 
#include <stratax/core/dtypes/Types.hpp>
 
namespace stratax::core::concept_detail {
 
template<typename T, typename... Candidates>
concept SameAsAny =
    (std::same_as<std::remove_cvref_t<T>, Candidates> || ...);
 
template<typename T>
concept BoolLike =
    std::same_as<std::remove_cvref_t<T>, stratax::dtype::bool_>;
 
template<typename T>
concept SupportedIntegral =
    SameAsAny<
        T,
        stratax::dtype::int8,
        stratax::dtype::int16,
        stratax::dtype::int32,
        stratax::dtype::int64,
        stratax::dtype::uint8,
        stratax::dtype::uint16,
        stratax::dtype::uint32,
        stratax::dtype::uint64>;
 
template<typename T>
concept SupportedFloating =
    SameAsAny<
        T,
        stratax::dtype::float32,
        stratax::dtype::float64,
        stratax::dtype::longdouble>;
 
template<typename T>
concept SupportedComplex =
    SameAsAny<
        T,
        stratax::dtype::complex64,
        stratax::dtype::complex128,
        stratax::dtype::clongdouble>;
 
}
 
template<typename T>
concept Integral =
    stratax::core::concept_detail::SupportedIntegral<T>;
 
template<typename T>
concept Numeric =
    Integral<T> ||
    stratax::core::concept_detail::SupportedFloating<T> ||
    stratax::core::concept_detail::SupportedComplex<T>;
 
template<typename T>
concept DType =
    Numeric<T> ||
    stratax::core::concept_detail::BoolLike<T>;
 
namespace stratax::container {
 
template<typename T>
requires DType<T>
class Vector;
 
template<typename T>
requires DType<T>
class Matrix;
 
template<typename T>
requires DType<T>
class Tensor;
 
} // namespace stratax::container
 
template<typename T>
struct is_array : std::false_type {};
 
template<typename T>
requires DType<T>
struct is_array<stratax::container::Vector<T>> : std::true_type {};
 
template<typename T>
requires DType<T>
struct is_array<stratax::container::Matrix<T>> : std::true_type {};
 
template<typename T>
requires DType<T>
struct is_array<stratax::container::Tensor<T>> : std::true_type {};
 
template<typename T>
concept Array =
    requires (
        const std::remove_cvref_t<T>& array,
        std::size_t index)
    {
        typename std::remove_cvref_t<T>::value_type;
        requires DType<typename std::remove_cvref_t<T>::value_type>;
        { array.size() } -> std::convertible_to<std::size_t>;
        { array.empty() } -> std::convertible_to<bool>;
        { array.rank() } -> std::convertible_to<std::size_t>;
        array.shape();
        array.strides();
        { array[index] } -> std::convertible_to<
            typename std::remove_cvref_t<T>::value_type>;
        { array.begin() } -> std::input_iterator;
        { array.end() } -> std::sentinel_for<decltype(array.begin())>;
    };
 
template<typename T>
concept Ordered =
    DType<T> &&
    !stratax::core::concept_detail::SupportedComplex<T>;
 
template<typename T>
concept RealNumeric =
    Integral<T> ||
    std::floating_point<std::remove_cvref_t<T>>;