kumi::concepts::projection_map Concept Reference

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

#include <kumi/utils/concepts.hpp>

Detailed Description

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

A type T models kumi::projection_map if it contains constant evaluable members which are themselves either integral types, identifiers or others projection_map.

Example types :

• std::index_sequence<...>;
• kumi::projection_map<...>;

Concept definition

    template<typename T>
    concept projection_map = kumi::is_projection_map_v<std::remove_cvref_t<T>>