X | Is the element type of the Monoid. |
a, b | are objects of type X. |
op | Is the function object implementing the Monoid operation. |
i | is an object of type X and is the identity element for the Monoid. |
op(a, b) | See below for semantics. Return type: X |
a == b) | Returns true if a and b represent
the same element of S. Return type: bool |
a != b) | Returns true if a and b represent
different elements of S. Return type: bool |
Copyright © 2000 |
Jeremy Siek,
Univ.of Notre Dame (jsiek@lsc.nd.edu) Lie-Quan Lee, Univ.of Notre Dame (llee1@lsc.nd.edu) Andrew Lumsdaine, Univ.of Notre Dame (lums@lsc.nd.edu) |