algebra/monoid/monoid_assign.hpp

• View this file on GitHub
• Last update: 2026-04-11 00:41:57+09:00
• Include: #include "algebra/monoid/monoid_assign.hpp"

Required by

• algebra/acted_monoid/acted_monoid_max_assign.hpp
• algebra/acted_monoid/acted_monoid_min_assign.hpp
• algebra/acted_monoid/acted_monoid_plus_assign.hpp

Verified with

• segment_tree/test/dual_segment_tree_assign.test.cpp
• segment_tree/test/lazy_segment_tree_min_assign.test.cpp
• segment_tree/test/lazy_segment_tree_plus_assign.test.cpp

Code

#pragma once

template <class T, T none> struct MonoidAssign {
    using value_type = T;
    static constexpr T operation(const T& a, const T& b) noexcept {
        if (b == identity()) {
            return a;
        }
        return b;
    }
    static constexpr T identity() noexcept { return none; }
    static constexpr bool commutative = false;
};

#line 2 "algebra/monoid/monoid_assign.hpp"

template <class T, T none> struct MonoidAssign {
    using value_type = T;
    static constexpr T operation(const T& a, const T& b) noexcept {
        if (b == identity()) {
            return a;
        }
        return b;
    }
    static constexpr T identity() noexcept { return none; }
    static constexpr bool commutative = false;
};

Back to top page