bsl::negation< B > Class Template Reference

Forms the logical negation of the type trait B, effectively performing a logical NOT on the trait. More...

#include <negation.hpp>

Inherits bsl::integral_constant< T, v >.

Additional Inherited Members
Public Types inherited from bsl::integral_constant< T, v >
using	type = integral_constant< T, v >
	provides the member typedef "type"
using	value_type = T
	provides the member typedef "value_type"
Static Public Attributes inherited from bsl::integral_constant< T, v >
static constexpr value_type	value {v}
	the type T that stores the integral constant

Detailed Description

template<typename B>
class bsl::negation< B >

Forms the logical negation of the type trait B, effectively performing a logical NOT on the trait.

#include <bsl/negation.hpp>
#include <bsl/is_bool.hpp>
#include <bsl/debug.hpp>

namespace bsl
{
    inline void
    example_negation_overview() noexcept
    {
        if (bsl::negation<is_bool<void>>::value) {
            bsl::print() << "success\n";
        }
    }
}

Template Parameters

B	the boolean type to negate

---

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

• include/bsl/negation.hpp