|
template<typename Left , typename Right > |
using | implication = std::disjunction< std::negation< Left >, Right > |
| The implication function: Left -> Right. More...
|
|
template<typename Dest , typename Conv , typename Integral > |
using | integral_cast = std::integral_constant< Dest, fcppt::type_traits::detail::integral_cast_value< Dest, Conv, Integral >::value > |
| Does an integral cast on an integral constant. More...
|
|
template<typename Type > |
using | is_integral_constant = typename fcppt::type_traits::detail::is_integral_constant< Type >::type |
| Checks if a type is a std::integral_constant . More...
|
|
template<typename Iterator , typename Category > |
using | is_iterator_of_category = fcppt::iterator::category_at_least< typename std::iterator_traits< Iterator >::iterator_category, Category > |
| Checks if an iterator models a given category. More...
|
|
template<typename Type > |
using | is_raw_pointer = typename fcppt::type_traits::detail::is_raw_pointer< Type >::type |
| Checks if a pointer is a raw pointer type. More...
|
|
template<typename Type > |
using | is_value = std::integral_constant< bool, !std::is_void< Type >::value &&!std::is_array< Type >::value &&!std::is_function< Type >::value &&!std::is_reference< Type >::value &&!std::is_const< Type >::value &&!std::is_volatile< Type >::value > |
| Checks if the type behaves like a value type. More...
|
|
template<typename Type > |
using | numeric_max = std::integral_constant< Type, std::numeric_limits< Type >::max()> |
| Metafunction to compute the maximum value of a type. More...
|
|
template<typename DestType , typename Src > |
using | safe_integral_cast = typename fcppt::type_traits::detail::safe_integral_cast< DestType, Src >::type |
| Casts std::integral_constants and checks for truncation. More...
|
|
template<typename Type > |
using | to_bool = fcppt::type_traits::integral_cast< bool, fcppt::cast::static_cast_fun, Type > |
| Casts a std::integral_constant to bool. More...
|
|
template<typename Container > |
using | value_type = typename Container::value_type |
| The value type of a container. More...
|
|
Some additional type traits.