kumi::concepts::index_map Concept Reference

Concept specifying if a type can be used as sequence of indexes in algorithms. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a type can be used as sequence of indexes in algorithms.

A type T models kumi::index_map if it models kumi::product_type and contains members which are themselves either integral types or others index_map

Concept definition

    template<typename T>
    concept index_map = product_type<T> && is_index_map_v<std::remove_cvref_t<T>>