Added Either concept also moved Hashing.hpp to Concept.hpp
This commit is contained in:
24
headers/Containers/Concepts.hpp
Normal file
24
headers/Containers/Concepts.hpp
Normal file
@@ -0,0 +1,24 @@
|
||||
/*
|
||||
* SPDX-FileCopyrightText: Dora "cat" <cat@thenight.club>
|
||||
* SPDX-License-Identifier: MPL-2.0
|
||||
*
|
||||
* This Source Code Form is subject to the terms of the Mozilla Public License,
|
||||
* v. 2.0. If a copy of the MPL was not distributed with this file, You can
|
||||
* obtain one at http://mozilla.org/MPL/2.0/.
|
||||
*/
|
||||
|
||||
#ifndef GUARD_TOURMALINE_CONCEPTS_H
|
||||
#define GUARD_TOURMALINE_CONCEPTS_H
|
||||
#include <concepts>
|
||||
#include <functional>
|
||||
|
||||
namespace Tourmaline::Containers {
|
||||
template <typename T>
|
||||
concept Hashable = std::equality_comparable<T> && requires(T x) {
|
||||
{ std::hash<T>{}(x) } -> std::convertible_to<std::size_t>;
|
||||
};
|
||||
|
||||
template <typename Base, typename Type1, typename Type2>
|
||||
concept Either = std::same_as<Base, Type1> || std::same_as<Base, Type2>;
|
||||
} // namespace Tourmaline::Containers
|
||||
#endif
|
||||
Reference in New Issue
Block a user