has_immutable_nonzeroes< T > Struct Template Reference

Used to inspect whether a given semiring has immutable nonzeroes under addition. More...

#include <type_traits.hpp>

Static Public Attributes
static const constexpr bool	value = false
	Whether T a semiring where nonzeroes are immutable.

Detailed Description

template<typename T>
struct grb::has_immutable_nonzeroes< T >

Used to inspect whether a given semiring has immutable nonzeroes under addition.

Template Parameters

T	The semiring to inspect.

An example of a monoid with an immutable identity is the logical OR, grb::operators::logical_or.

---

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

• type_traits.hpp