ALP User Documentation 0.7.0
Algebraic Programming User Documentation
Static Public Attributes | List of all members
is_idempotent< T, typename > Struct Template Reference

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.
 

Detailed Description

template<typename T, typename = void>
struct grb::is_idempotent< T, typename >

Used to inspect whether a given operator or monoid is idempotent.

Template Parameters
TThe operator or monoid to inspect.

An example of an idempotent operator is the logical OR, grb::operators::logical_or.


The documentation for this struct was generated from the following file: