is_associative< T, typename > Struct Template Reference

Used to inspect whether a given operator or monoid is associative. More...

#include <type_traits.hpp>

Static Public Attributes
static const constexpr bool	value = false
	Whether T is associative.

Detailed Description

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

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

Note

Monoids are associative by definition, but this type traits is nonetheless defined for them so as to preserve symmetry in the API; see, e.g., grb::is_commutative or grb::is_idempotent.

Template Parameters

T	The operator or monoid to inspect.

An example of an associative operator is the logical or, grb::operators::logical_or.

---

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

• type_traits.hpp