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-2001 |
Jeremy Siek,
Indiana University (jsiek@osl.iu.edu) Lie-Quan Lee, Indiana University (llee@cs.indiana.edu) Andrew Lumsdaine, Indiana University (lums@osl.iu.edu) |