monoid

コンセプト · モノイドの要件

template <class M>
concept monoid = requires {
    typename M::value_type;
    { M::id() } -> std::same_as<typename M::value_type>;
    {
        M::op(std::declval<const typename M::value_type &>(), std::declval<const typename M::value_type &>())
    } -> std::same_as<typename M::value_type>;
};

概要

モノイドの要件

値型 value_type、単位元 id()、二項演算 op() を持つこと。

テンプレートパラメータ

計算量

• コンパイル時制約で実行時計算量はない

関連項目

• acts_on — 作用素モノイド M を値型 U に作用させられるか
• Add — 和モノイド
• Mul — 積モノイド
• And — ビット積モノイド
• Or — ビット和モノイド
• Xor — ビット排他的論理和モノイド
• Min — 最小値モノイド
• Max — 最大値モノイド
• MaxZero — 最大値モノイド（単位元 0 固定）
• Gcd — 最大公約数モノイド
• Lcm — 最小公倍数モノイド
• Update — 上書きモノイド（後勝ち）
• Affine — アフィン変換モノイド
• Rev — モノイドの演算順序を反転するアダプタ