isSortedForType::values - HaxyM/crap GitHub Wiki
Defined in "crap/algorithm.d/issortedfortype.h".
Defined in "crap/algorithm".
template <class Type, template <Type, Type> class Operator> struct isSortedForType
{
/*...*/
template <Type ... Values>
using values = typename isSortedValue<Type, Operator, Values...>;
/*...*/
};Member type of isSortedForType (see isSortedForType). Allows for isSortedValue (see isSortedValue) to act like container (see value container). Passes Values... into isSortedValue with type (Type) and comparing operator (Operator) specified by isSortedForType nesting it. Same as isSortedForType :: type (see isSortedForType :: type).
-
Values...- values of typeTypeto be checked if sorted acording to comparing operatorOperator.
#include <crap/algorithm.d/issortedfortype.h>
int main()
{
using test1 = typename crap :: isSortedForType <unsigned int> :: template values<0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u>;
using test2 = typename crap :: isSortedForType <unsigned int> :: template values<0u, 1u, 2u, 42u, 4u, 5u, 6u, 7u>;
using test3 = typename crap :: isSortedForType <unsigned int, crap :: comparatorsForType <unsigned int> :: template Greater> :: template values<7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u>;
using test4 = typename crap :: isSortedForType <unsigned int, crap :: comparatorsForType <unsigned int> :: template Greater> :: template values<7u, 6u, 5u, 4u, 42u, 2u, 1u, 0u>;
static_assert(test1 :: value, "test1 should be sorted in ascending order.");
static_assert(!(test2 :: value), "test2 sould not be sorted in ascending order.");
static_assert(test3 :: value, "test3 sould be sorted in descending order.");
static_assert(!(test4 :: value), "test4 should not be sorted in descending order.");
return 0;
}