dedekind::category::IsCountWord Concept Reference

A word of the counts: an integer chain whose arithmetic wraps at its cyclic order, the unsigned integers but bool, and none narrower than int, whose products promote to a signed int that may overflow. std::size_t is the default throughout. More...

Concept definition

template<typename N>
concept dedekind::category::IsCountWord = 
    IsIntegerChain<N> && std::unsigned_integral<N> &&
    (!std::same_as<N, bool>) &&
    std::same_as<decltype(std::declval<N>() * std::declval<N>()), N>

Detailed Description

A word of the counts: an integer chain whose arithmetic wraps at its cyclic order, the unsigned integers but bool, and none narrower than int, whose products promote to a signed int that may overflow. std::size_t is the default throughout.

Template Parameters

N

the word.