X | モノイドの元の型。 |
a, b | 型 X のオブジェクト。 |
op | モノイド上の演算を実現する関数オブジェクト。 |
i | 型 X のオブジェクトであり、モノイドの単位元。 |
op(a, b) | 意味は下記を参照。 返値の型: X |
a == b) | a と b が同じ元であれば true を返す。 返値の型: bool |
a != b) | a と b が違う元であれば true を返す。 返値の型: 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) |
Japanese Translation Copyright (C) 2003 KANAHORI Toshihiro <kanahori@k.tsukuba-tech.ac.jp>
オリジナルの、及びこの著作権表示が全ての複製の中に現れる限り、この文書の複製、利用、変更、販売そして配布を認める。このドキュメントは「あるがまま」に提供されており、いかなる明示的、暗黙的保証も行わない。また、いかなる目的に対しても、その利用が適していることを関知しない。