algebra::Monoid< Operation, Element > Struct Template Reference
#include <algebraic_concepts.hpp>
Public Types | |
typedef associated_type | identity_result_type |
Associated type; if not defined in concept_map automatically detected as result of identity. | |
Public Member Functions | |
identity_result_type | identity (Operation, Element) |
Identity element of Operation. |
Concept Monoid.
Operation | A functor implementing a binary operation |
Element | The type upon the binary operation is defined |
op | Object of type Operation |
x | Object of type Element |
Neutrality from right | op( x, identity(op, x) ) == x |
Neutrality from left | op( identity(op, x), x ) == x |
algebra::Monoid< Operation, Element > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine
-- Gen. with
rev. 7542
on Sat Aug 11 2012 by doxygen 1.7.6.1 -- © 2010 by SimuNova UG.