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

template <class Type>
struct arithmeticOperatorsForType
{
 /*...*/
 template <Type Value1, Type Value2>
 using Minus2 = minusValue<Type, Value1, Value2>;
 /*...*/
};

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

• Value1 - value to be minuend.
• Value2 - value to be subtracted from Value1.

• value - holds result of subtraction of Value1 with Value2.

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

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

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

int main()
{
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus2<42u, 42u>{} == 0u, "42 - 42 should be 0");
 static_assert(crap :: arithmeticOperatorsForType <unsigned int> :: template Minus2<42u, 35u>{} == 7u, "42 - 35 should be 7");
 return 0;
}

• minusValue
• arithmeticOperatorsForType