misc/concepts.hpp

• View this file on GitHub
• Last update: 2023-11-13 11:52:58+09:00
• Include: #include "misc/concepts.hpp"

Required by

• data_structure/binary_indexed_tree.hpp
• data_structure/offline_rectangle_sum.hpp
• data_structure/potentialized_dsu.hpp

Verified with

• test/data_structure/Point_Add_Rectangle_Sum.test.cpp
• test/data_structure/Rectangle_Sum.test.cpp
• test/data_structure/Static_Range_Inversions_Query.test.cpp
• test/data_structure/Unionfind_with_Potential_NonCommutative_Group.test.cpp
• test/data_structure/aoj_dsl_1_b.test.cpp

Code

#pragma once

#include<concepts>

namespace noya2 {

template<class monoid>
concept Monoid = requires {
    typename monoid::value_type;
    {monoid::op(declval<typename monoid::value_type>(),declval<typename monoid::value_type>())} -> std::same_as<typename monoid::value_type>;
    {monoid::e()} -> std::same_as<typename monoid::value_type>;
};

template<class group>
concept Group = requires {
    requires Monoid<group>;
    {group::inv(declval<typename group::value_type>())} -> std::same_as<typename group::value_type>;
};

} // namespace noya2

#line 2 "misc/concepts.hpp"

#include<concepts>

namespace noya2 {

template<class monoid>
concept Monoid = requires {
    typename monoid::value_type;
    {monoid::op(declval<typename monoid::value_type>(),declval<typename monoid::value_type>())} -> std::same_as<typename monoid::value_type>;
    {monoid::e()} -> std::same_as<typename monoid::value_type>;
};

template<class group>
concept Group = requires {
    requires Monoid<group>;
    {group::inv(declval<typename group::value_type>())} -> std::same_as<typename group::value_type>;
};

} // namespace noya2

Back to top page