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#pragma once
30
31#include <concepts>
32#include <ostream>
33#include <string>
34
39namespace steppable::concepts
40{
41 template<typename T>
42 concept Numeric = std::integral<T> || std::floating_point<T>;
43
44 template<typename ObjectT>
46 concept Presentable = requires(ObjectT object) {
47 { object.present() } -> std::same_as<std::string>;
48 };
49
50 template<typename ObjectT>
52 concept Stream = requires(ObjectT object) {
53 { object.operator<<() } -> std::same_as<std::ostream&>;
54 };
55} // namespace steppable::concepts
Represents any C++ numeral literals.
Definition concepts.hpp:42
Represents any object with a .present() method.
Definition concepts.hpp:46
Represents any streams with a .operator<<() method.
Definition concepts.hpp:52
Defines concepts to be used for distinguishing types in the project.
Untitled