traits/min_monoid.cpp

View this file on GitHub
Last update: 2021-11-10 20:31:05+09:00

Depends on

traits/optional_monoid.cpp

Required by

traits/min_add_action.cpp

Code

#pragma once
#include <algorithm>
#include "optional_monoid.cpp"

template <class T> struct MinSemiGroup {
    using Type = T;
    static constexpr T operation(const T& l, const T& r) { return std::min(l, r); }
};

template <class T> using MinMonoid = OptionalMonoid<MinSemiGroup<T>>;

#line 2 "traits/min_monoid.cpp"
#include <algorithm>
#line 2 "traits/optional_monoid.cpp"
#include <optional>
#include <utility>

template <class S> struct OptionalMonoid {
    using Type = std::optional<typename S::Type>;
    static constexpr Type identity() { return std::nullopt; }
    static constexpr Type operation(const Type& l, const Type& r) {
        if (!l) return r;
        if (!r) return l;
        return Type(std::in_place, S::operation(*l, *r));
    }
};
#line 4 "traits/min_monoid.cpp"

template <class T> struct MinSemiGroup {
    using Type = T;
    static constexpr T operation(const T& l, const T& r) { return std::min(l, r); }
};

template <class T> using MinMonoid = OptionalMonoid<MinSemiGroup<T>>;