A carrier that is a finite chain by its representation: totally ordered and either a machine integer or an enumeration (both finite by construction). bool, Ternary, int qualify; Cardinality and the dense carriers do not. More...

Concept definition

template<typename T>
concept dedekind::category::IsFiniteChain = 
    std::totally_ordered<T> && (std::integral<T> || std::is_enum_v<T>)

Detailed Description

A carrier that is a finite chain by its representation: totally ordered and either a machine integer or an enumeration (both finite by construction). bool, Ternary, int qualify; Cardinality and the dense carriers do not.

Template Parameters

T	the carrier.