UnsignedIntegral.h

Go to the documentation of this file.

#pragma once

//#include <scl/concepts/require.h>
#include <scl/macros.h>
#include <scl/tools/meta/constexpr_assert.h>
#include <scl/concepts/Integral.h>
#include <scl/concepts/Unsigned.h>

namespace scl{
    namespace concepts{
        template <class T>
        struct UnsignedIntegral{
            constexpr operator bool() const{
                return META::constexpr_assert<Integral<T>{} && Unsigned<T>{}>();
            }
        };
    }
}