Src/Algebra/Monoid/AdditionMonoid.hpp

• View this file on GitHub
• Last update: 2023-10-01 23:08:37+09:00
• Include: #include "Src/Algebra/Monoid/AdditionMonoid.hpp"

Required by

• Src/Utility/AreaOfUnionOfRectangles.hpp

Verified with

• Test/AOJ/DSL_2_E.test.cpp
• Test/AtCoder/abc292_h.test.cpp
• Test/AtCoder/abc346_g.test.cpp
• Test/LC/area_of_union_of_rectangles.test.cpp
• Test/LC/range_affine_range_sum.test.cpp

Code

#pragma once

namespace zawa {

template <class T>
struct AdditionMonoid {
    using Element = T;
    static T identity() noexcept {
        return T{};
    }
    static T operation(const T& a, const T& b) noexcept {
        return a + b;
    }
};

} // namespace zawa

#line 2 "Src/Algebra/Monoid/AdditionMonoid.hpp"

namespace zawa {

template <class T>
struct AdditionMonoid {
    using Element = T;
    static T identity() noexcept {
        return T{};
    }
    static T operation(const T& a, const T& b) noexcept {
        return a + b;
    }
};

} // namespace zawa

Back to top page