algebra::Monoid< Operation, Element > Struct Template Reference
[Concepts]
Concept Monoid.
More...
#include <algebraic_concepts.hpp>
List of all members.
Detailed Description
template<typename Operation, typename Element>
struct algebra::Monoid< Operation, Element >
Concept Monoid.
- Parameters:
-
| Operation | A functor implementing a binary operation |
| Element | The type upon the binary operation is defined |
- Refinement of:
-
- Notation:
op | Object of type Operation |
x | Object of type Element |
- Invariant:
Neutrality from right | op( x, identity(op, x) ) == x |
Neutrality from left | op( identity(op, x), x ) == x |
The documentation for this struct was generated from the following file: