fcppt::type_traits Namespace Reference

Some additional type traits. More...

Classes
struct	is_base_of
	Like std::is_base_of, but only works on complete types. More...
struct	is_string
	Tells if a type is a string. More...
struct	is_string< std::basic_string< Ch, Traits, Alloc > >

Typedefs
template<typename Left, typename Right>
using	implication = std::disjunction<std::negation<Left>, Right>
	The implication function: Left -> Right.
template<typename Dest, typename Conv, typename Integral>
using	integral_cast
	Does an integral cast on an integral constant.
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.
template<typename Iterator, typename Category>
using	is_iterator_of_category
	Checks if an iterator models a given category.
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.
template<typename Type>
using	is_value
	Checks if the type behaves like a value type.
template<typename Type>
using	numeric_max = std::integral_constant<Type, std::numeric_limits<Type>::max()>
	Metafunction to compute the maximum value of a type.
template<typename DestType, typename Src>
using	safe_integral_cast
	Casts std::integral_constants and checks for truncation.
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.
template<typename Container>
using	value_type = typename Container::value_type
	The value type of a container.

Variables
template<typename Left, typename Right>
constexpr bool	implication_v = fcppt::type_traits::implication<Left, Right>::value
	The implication function: Left -> Right.
template<typename Iterator, typename Category>
constexpr bool	is_iterator_of_category_v
	Checks if an iterator models a given category.

Detailed Description

Some additional type traits.