diff --git a/src/concepts.hpp b/src/concepts.hpp new file mode 100644 index 0000000..f809800 --- /dev/null +++ b/src/concepts.hpp @@ -0,0 +1,22 @@ +#pragma once + +#include +#include + +namespace gz::util { + /// Satisfied when T is in PackTypes + template + concept IsInPack = (std::same_as || ...); + + template + concept False = false; + + /// Forward range holding integers + template + concept IntegralForwardRange = std::ranges::forward_range and std::integral>; +} + +/** + * @file + * @brief Concepts that might be useful elsewhere + */