ALP User Documentation 0.7.alpha
Algebraic Programming User Documentation
|
Used to inspect whether a given operator or monoid is idempotent. More...
#include <type_traits.hpp>
Static Public Attributes | |
static const constexpr bool | value = false |
Wheter T is idempotent. | |
Used to inspect whether a given operator or monoid is idempotent.
T | The operator or monoid to inspect. |
An example of an idempotent operator is the logical OR, grb::operators::logical_or.