concept.hpp

#ifndef SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP
#define SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP

#include <type_traits>

namespace cpp
{

namespace concepts
{

template<bool Result, bool NoExcept = false>
class Concept : public std::integral_constant<bool, Result>
{
public:
    static constexpr bool no_except = NoExcept;
};

template<bool Result, bool NoExcept>
constexpr bool Concept<Result, NoExcept>::no_except;

}

}

#endif // SIPLASPLAS_TYPEERASURE_CONCEPTS_CONCEPT_HPP