traits/assign_monoid.cpp

• View this file on GitHub
• Last update: 2021-09-27 22:23:01+09:00

Verified with

• test/dual_segment_tree.test.cpp

Code

#pragma once
#include <optional>

template <class T> struct AssignMonoid {
    using Type = std::optional<T>;
    static constexpr Type identity() { return std::nullopt; }
    static constexpr Type operation(const Type& l, const Type& r) { return r ? r : l; }
};

#line 2 "traits/assign_monoid.cpp"
#include <optional>

template <class T> struct AssignMonoid {
    using Type = std::optional<T>;
    static constexpr Type identity() { return std::nullopt; }
    static constexpr Type operation(const Type& l, const Type& r) { return r ? r : l; }
};

Back to top page