kumi::concepts::index Concept Reference

index concept More...

#include <kumi/utils/concepts.hpp>

Detailed Description

index concept

An type modeling kumi::index is a compile time integral type containing a value member convertible to size_t.

Example types:

• std::integral_constant<T,10>;
• kumi::index<10>;

Concept definition

    template<typename T>
    concept index = requires(T const& t) {
      { T::value } -> std::convertible_to<std::size_t>;
    }