Steppable 0.0.1
A CAS project written from scratch in C++
Loading...
Searching...
No Matches
concepts.hpp
1/**************************************************************************************************
2 * Copyright (c) 2023-2025 NWSOFT *
3 * *
4 * Permission is hereby granted, free of charge, to any person obtaining a copy *
5 * of this software and associated documentation files (the "Software"), to deal *
6 * in the Software without restriction, including without limitation the rights *
7 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell *
8 * copies of the Software, and to permit persons to whom the Software is *
9 * furnished to do so, subject to the following conditions: *
10 * *
11 * The above copyright notice and this permission notice shall be included in all *
12 * copies or substantial portions of the Software. *
13 * *
14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
15 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
16 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE *
17 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, *
19 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE *
20 * SOFTWARE. *
21 **************************************************************************************************/
22
28
29#include <concepts>
30#include <string>
31
36namespace steppable::concepts
37{
38 template<typename T>
39 concept Numeric = std::integral<T> || std::floating_point<T>;
40
41 template<typename ObjectT>
43 concept Presentable = requires(ObjectT object) {
44 { object.present() } -> std::same_as<std::string>;
45 };
46} // namespace steppable::concepts
Represents any C++ numeral literals.
Definition concepts.hpp:39
Represents any object with a .present() method.
Definition concepts.hpp:43
Defines concepts to be used for distinguishing types in the project.
Untitled