siplasplas
A library for C++ reflection and introspection
concept.hpp
1 #ifndef SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP
2 #define SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP
3 
4 #include <type_traits>
5 
6 namespace cpp
7 {
8 
9 namespace concepts
10 {
11 
27 template<bool Result, bool NoExcept = false>
28 class Concept : public std::integral_constant<bool, Result>
29 {
30 public:
34  static constexpr bool no_except = NoExcept;
35 
39  static constexpr bool vakue = Result;
40 };
41 
42 template<bool Result, bool NoExcept>
43 constexpr bool Concept<Result, NoExcept>::no_except;
44 
45 }
46 
47 }
48 
49 #endif // SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP
cpp
Definition: canary_allocator.hpp:7
cpp::concepts::Concept::no_except
static constexpr bool no_except
Returns whether the concept implementation (feature) is noexcept or not.
Definition: concept.hpp:34
cpp::concepts::Concept::vakue
static constexpr bool vakue
Concept result. True if the concept is satisfied, false otherwise.
Definition: concept.hpp:39
cpp::concepts::Concept
Represents a concept.
Definition: concept.hpp:28