ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
Static Public Attributes | List of all members
is_commutative< T, typename > Struct Template Reference

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

Static Public Attributes

static const constexpr bool value = false
 Whether T is commutative. More...
 

Detailed Description

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

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

Template Parameters
TThe operator or monoid to inspect.

An example of a commutative operator is numerical addition, grb::operators::add.

Member Data Documentation

◆ value

const constexpr bool value = false
static

Whether T is commutative.


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