algebra/monoid_template.hpp

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

Code

#pragma once

template <class T> struct MonoidS {
    using value_type = ;  // todo
    static constexpr value_type operation(const value_type& a,
                                          const value_type& b) {
        // todo
    }
    static constexpr value_type identity() {
        // todo
    }
};

template <class T> struct MonoidF {
    using value_type = ;  // todo
    static constexpr value_type operation(const value_type& f,
                                          const value_type& g) {
        // todo
    }
    static constexpr value_type identity() {
        // todo
    }
};

template <class T> struct ActedMonoid {
    using MS = MonoidS<T>;
    using MF = MonoidF<T>;
    using S = typename MS::value_type;
    using F = typename MF::value_type;
    static constexpr S mapping(const F f, const S x, const int size) {
        // todo
    }
};

#line 2 "algebra/monoid_template.hpp"

template <class T> struct MonoidS {
    using value_type = ;  // todo
    static constexpr value_type operation(const value_type& a,
                                          const value_type& b) {
        // todo
    }
    static constexpr value_type identity() {
        // todo
    }
};

template <class T> struct MonoidF {
    using value_type = ;  // todo
    static constexpr value_type operation(const value_type& f,
                                          const value_type& g) {
        // todo
    }
    static constexpr value_type identity() {
        // todo
    }
};

template <class T> struct ActedMonoid {
    using MS = MonoidS<T>;
    using MF = MonoidF<T>;
    using S = typename MS::value_type;
    using F = typename MF::value_type;
    static constexpr S mapping(const F f, const S x, const int size) {
        // todo
    }
};

Back to top page