structure/class/monoid.hpp

• View this file on GitHub
• Last update: 2024-08-10 03:11:07+09:00
• Include: #include "structure/class/monoid.hpp"

Required by

• Persistent Segment Tree (永続セグメント木) (structure/segment-tree/persistent-segment-tree.hpp)
• Segment Tree (セグメント木) (structure/segment-tree/segment-tree.hpp)

Verified with

• test/verify/aoj-dsl-2-a.test.cpp
• test/verify/yosupo-point-set-range-composite-3.test.cpp
• test/verify/yosupo-range-kth-smallest-3.test.cpp
• test/verify/yukicoder-650.test.cpp

Code

#pragma once

template <typename S2, typename Op, typename E>
struct LambdaMonoid {
  using S = S2;
  S op(const S &a, const S &b) const { return _op(a, b); }

  S e() const { return _e(); }

  LambdaMonoid(Op _op, E _e) : _op(_op), _e(_e) {}

 private:
  Op _op;

  E _e;
};

template <typename Op, typename E>
LambdaMonoid(Op _op, E _e) -> LambdaMonoid<decltype(_e()), Op, E>;

/*
struct Monoid {
  using S = ?;
  static constexpr S op(const S& a, const S& b) {}
  static constexpr S e() {}
};
*/

#line 2 "structure/class/monoid.hpp"

template <typename S2, typename Op, typename E>
struct LambdaMonoid {
  using S = S2;
  S op(const S &a, const S &b) const { return _op(a, b); }

  S e() const { return _e(); }

  LambdaMonoid(Op _op, E _e) : _op(_op), _e(_e) {}

 private:
  Op _op;

  E _e;
};

template <typename Op, typename E>
LambdaMonoid(Op _op, E _e) -> LambdaMonoid<decltype(_e()), Op, E>;

/*
struct Monoid {
  using S = ?;
  static constexpr S op(const S& a, const S& b) {}
  static constexpr S e() {}
};
*/

Back to top page