comparatorsForType::GraterEqual(struct)

crap :: comparatorsForType :: GreaterEqual

Defined in "crap/functional.d/comparatorsfortype.h".
Defined in "crap/functional".

---

template <class Type>
struct comparatorsForType
{
 /*...*/
 template <Type Value1, Type Value2>
 using GraterEqual = greaterEqualValue<Type, Value1, Value2>;
 /*...*/
};

---

Creates greaterEqualValue (see greaterEqualValue) acting on type Type. Allows for greaterEqualValue to act as binary value operator.

Template parameters

• Value1 - value to be compared greater or equal against Value2.
• Value2 - value with which Value1 is compared.

---

Layout

Member constants

• value - true if Value1 compares greater or equal to Value2. False if not.

Member types

• value_type - type of field value. May not be bool but should be castable to this type.

Member functions

• constexpr operator value_type () const noexcept - casts whole object to its value_type returning value.

Usage example

#include <crap/functional.d/comparatorsfortype.h>

int main()
{
 using test1 = typename crap :: comparatorsForType <unsigned int> :: template GreaterEqual<42u, 101u>;
 using test2 = typename crap :: comparatorsForType <unsigned int> :: template GreaterEqual<101u, 42u>;
 using test3 = typename crap :: comparatorsForType <unsigned int> :: template GreaterEqual<42u, 42u>;

 static_assert(!(test1 :: value), "test1: 42 should not be neither greater nor equal to 101.");
 static_assert(test2 :: value, "test2: 101 should be greater or equal to 42.");
 static_assert(test3 :: value, "test3: 42 should be greater or equal to 42.");
 return 0;
}

See also

• greaterEqualValue
• comparatorsForType