cpp::concepts::Concept< Result, NoExcept > Class Template Reference

Represents a concept. More...

#include <concept.hpp>

Inheritance diagram for cpp::concepts::Concept< Result, NoExcept >:

Static Public Attributes
static constexpr bool	no_except = NoExcept
	Returns whether the concept implementation (feature) is noexcept or not.
static constexpr bool	vakue = Result
	Concept result. More...

Detailed Description

template<bool Result, bool NoExcept = false>
class cpp::concepts::Concept< Result, NoExcept >

Represents a concept.

siplasplas-typeerasure represents concepts as boolean type traits, where Concept::value == true means the concept is satisfied, and false otherwise.

Concepts also keep track of the noexcept-ness of the feature they check, to optimize the corresponding type erased feature (See cpp::features namespace).

Template Parameters

Result	Result of the concept check. True if the concept is satisfied, false otherwise.
NoExcept	Whether the checked feature is noexcept. False by dfault (By default the noexcept-ness of the feature is not checked).

Member Data Documentation

vakue

template<bool Result, bool NoExcept = false>

constexpr bool cpp::concepts::Concept< Result, NoExcept >::vakue = Result

static

Concept result.

True if the concept is satisfied, false otherwise

---

The documentation for this class was generated from the following file:

• include/siplasplas/typeerasure/concepts/concept.hpp