//
// 2.26.bool.metafunctions.cpp
// chapter 2 language usability
// modern cpp tutorial
//
// created by changkun at changkun.de
// https://github.com/changkun/modern-cpp-tutorial
//

#include <iostream>
#include <type_traits>

// C++17 logical metafunctions compose other type traits.
template <typename T>
constexpr bool is_signed_integral =
    std::conjunction_v<std::is_integral<T>, std::is_signed<T>>;

int main() {
    static_assert(is_signed_integral<int>);
    static_assert(!is_signed_integral<unsigned>);
    static_assert(std::disjunction_v<std::is_integral<float>,
                                     std::is_floating_point<float>>);
    static_assert(std::negation_v<std::is_floating_point<int>>);
    std::cout << "all logical metafunction assertions passed" << std::endl;
}