monoids/product.hpp

• View this file on GitHub
• Last update: 2020-02-26 11:29:49+09:00
• Include: #include "monoids/product.hpp"

Code

#pragma once
#include <utility>

template <class Monoid1, class Monoid2>
struct product_monoid {
    typedef std::pair<typename Monoid1::value_type, typename Monoid2::value_type> value_type;
    Monoid1 mon1;
    Monoid2 mon2;
    value_type unit() const {
        return std::make_pair(mon1.unit(), mon2.unit());
    }
    value_type mult(value_type a, value_type b) const {
        return std::make_pair(mon1.mult(a.first, b.first), mon2.mult(a.second, b.second));
    }
};

#line 2 "monoids/product.hpp"
#include <utility>

template <class Monoid1, class Monoid2>
struct product_monoid {
    typedef std::pair<typename Monoid1::value_type, typename Monoid2::value_type> value_type;
    Monoid1 mon1;
    Monoid2 mon2;
    value_type unit() const {
        return std::make_pair(mon1.unit(), mon2.unit());
    }
    value_type mult(value_type a, value_type b) const {
        return std::make_pair(mon1.mult(a.first, b.first), mon2.mult(a.second, b.second));
    }
};

Back to top page