Dual monoid
(Mylib/AlgebraicStructure/Monoid/dual.cpp)

• View this file on GitHub
• Last update: 2021-04-23 23:44:44+09:00
• Link: View error logs on GitHub Actions

Operations

Requirements

Notes

Problems

References

Verified with

• test/yosupo-judge/point_set_range_composite/main.test.cpp
• test/yosupo-judge/queue_operate_all_composite/main.test.cpp
• test/yosupo-judge/vertex_set_path_composite/main.test.cpp
• test/yukicoder/510/main.test.cpp

Code

#pragma once

namespace haar_lib {
  template <typename Monoid>
  struct dual_monoid {
    using value_type = typename Monoid::value_type;
    const static Monoid M;
    value_type operator()() const { return M(); }
    value_type operator()(const value_type &a, const value_type &b) const { return M(b, a); }
  };
}  // namespace haar_lib

#line 2 "Mylib/AlgebraicStructure/Monoid/dual.cpp"

namespace haar_lib {
  template <typename Monoid>
  struct dual_monoid {
    using value_type = typename Monoid::value_type;
    const static Monoid M;
    value_type operator()() const { return M(); }
    value_type operator()(const value_type &a, const value_type &b) const { return M(b, a); }
  };
}  // namespace haar_lib

Back to top page