isSortedForType::type - 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 type = 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 :: values (see isSortedForType :: values).
-
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 type<0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u>;
using test2 = typename crap :: isSortedForType <unsigned int> :: template type<0u, 1u, 2u, 42u, 4u, 5u, 6u, 7u>;
using test3 = typename crap :: isSortedForType <unsigned int, crap :: comparatorsForType <unsigned int> :: template Greater> :: template type<7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u>;
using test4 = typename crap :: isSortedForType <unsigned int, crap :: comparatorsForType <unsigned int> :: template Greater> :: template type<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;
}