fcppt::mpl::integral_concept Concept Reference

Checks if a type is an integral_constant with an integer type.T fullfils integral_concept if and only if it is of the form std::integral_constant<U,V> for some integral type U and value U V. More...

#include <integral_concept.hpp>

Concept definition

template<typename T>
concept fcppt::mpl::integral_concept =  fcppt::type_traits::is_integral_constant<T>::value &&
    std::is_integral_v<fcppt::type_traits::value_type<T>>

Detailed Description

Checks if a type is an integral_constant with an integer type.

T fullfils integral_concept if and only if it is of the form std::integral_constant<U,V> for some integral type U and value U V.