add is_integer #186

//	Distributed under the Boost Software License Version 1.0 https://www.boost.org/LICENSE_1_0.txt
//	Copyright Gero Peterhoff

#ifndef BOOST_TYPE_TRAITS_IS_INTEGER_HPP
#define BOOST_TYPE_TRAITS_IS_INTEGER_HPP

#include <boost/type_traits/remove_cvref.hpp>
#include <boost/type_traits/is_unsigned.hpp>
#include <boost/type_traits/is_signed.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/cstdint.hpp>


namespace boost
{
template <typename Type> struct is_integer			: public false_type{};
template <typename Type> struct is_integer<volatile const Type>	: public is_integer<Type>{};
template <typename Type> struct is_integer<volatile Type>	: public is_integer<Type>{};
template <typename Type> struct is_integer<const Type>		: public is_integer<Type>{};

#if defined(BOOST_HAS_INT128)
template <> struct is_integer<boost::uint128_type>	: public true_type{};
template <> struct is_integer<boost::int128_type>	: public true_type{};
#endif

template <> struct is_integer<uint64_t>	: public true_type{};
template <> struct is_integer<int64_t>	: public true_type{};

template <> struct is_integer<uint32_t>	: public true_type{};
template <> struct is_integer<int32_t>	: public true_type{};

template <> struct is_integer<uint16_t>	: public true_type{};
template <> struct is_integer<int16_t>	: public true_type{};

template <> struct is_integer<uint8_t>	: public true_type{};
template <> struct is_integer<int8_t>	: public true_type{};




template <typename Type> struct is_unsigned_integer : public integral_constant
<
	bool,
	is_integer<Type>::value && is_unsigned<Type>::value
>	{};

template <typename Type> struct is_signed_integer : public integral_constant
<
	bool,
	is_integer<Type>::value && is_signed<Type>::value
>	{};



#if !defined(BOOST_NO_CXX17_INLINE_VARIABLES)
template <typename Type> inline constexpr bool is_unsigned_integer_v	= is_unsigned_integer<Type>::value;
template <typename Type> inline constexpr bool is_signed_integer_v	= is_signed_integer<Type>::value;
template <typename Type> inline constexpr bool is_integer_v		= is_integer<Type>::value;
#endif
}	//	boost

#endif	//	BOOST_TYPE_TRAITS_IS_INTEGER_HPP