ice::BoolType Concept Reference

#include <ice/concept/enum_bools.hxx>

Concept definition

    template<typename T>
    concept BoolType = BoolLogic<T>::IsEnabled && requires(T) {
        { T::Off } -> std::convertible_to<T>;
        { T::On } -> std::convertible_to<T>;
        static_cast<std::underlying_type_t<T>>(T::Off) == 0;
        static_cast<std::underlying_type_t<T>>(T::On) == 1;
    }