Concepts.h

Go to the documentation of this file.

 
#ifndef PBAT_COMMON_CONCEPTS_H
#define PBAT_COMMON_CONCEPTS_H
 
#include <concepts>
#include <iterator>
#include <pbat/Aliases.h>
#include <ranges>
#include <type_traits>
 
namespace pbat {
namespace common {

template <class T>
concept CArithmetic = std::is_arithmetic_v<T>;

template <class T>
concept CIndex = std::is_integral_v<T> and not std::is_same_v<T, bool>;

template <class T>
concept CFloatingPoint = std::is_floating_point_v<T>;

template <class R>
concept CIndexRange =
    std::ranges::range<R> && std::is_convertible_v<std::ranges::range_value_t<R>, int>;

template <class R>
concept CContiguousIndexRange =
    CIndexRange<R> && std::ranges::sized_range<R> && std::ranges::contiguous_range<R>;

template <class R>
concept CArithmeticRange =
    std::ranges::range<R> && std::is_arithmetic_v<std::ranges::range_value_t<R>>;

template <class R>
concept CContiguousArithmeticRange =
    CArithmeticRange<R> && std::ranges::sized_range<R> && std::ranges::contiguous_range<R>;

template <class R>
concept CContiguousArithmeticMatrixRange = requires(R r)
{
    requires std::ranges::range<R>;
    requires std::ranges::sized_range<R>;
    requires std::ranges::contiguous_range<R>;
    {std::ranges::range_value_t<R>::RowsAtCompileTime}->std::convertible_to<int>;
    {std::ranges::range_value_t<R>::ColsAtCompileTime}->std::convertible_to<int>;
    requires std::is_arithmetic_v<typename std::ranges::range_value_t<R>::Scalar>;
    {std::ranges::range_value_t<R>::Flags};
};
 
} // namespace common
} // namespace pbat
 
#endif // PBAT_COMMON_CONCEPTS_H