nnl::utl::trait Namespace Reference

Provides additional type trait utilities. More...

Typedefs
template<typename... Ts>
using	void_t = typename make_void<Ts...>::type
	A type trait similar to std::void_t that allows for discarding overloads using SFINAE.

Variables
template<typename T>
constexpr bool	has_data_member_v = has_data_member<T>::value
	Type trait to detect if a type T has a data() member function.
template<typename T>
constexpr bool	has_size_member_v = has_size_member<T>::value
	Type trait to detect if a type T has a size() member function.
template<typename T>
constexpr bool	has_resize_member_v = has_resize_member<T>::value
	Type trait to detect if a type T has a resize() member function.
template<typename T>
constexpr bool	has_value_type_v = has_value_type<T>::value
	Type trait to detect if a type T defines a nested value_type.
template<typename T>
constexpr bool	is_iterable_v = is_iterable<T>::value
	Type trait to check if a type T is iterable.
template<typename T>
constexpr bool	is_contiguous_v = is_iterable_v<T> && has_data_member_v<T> && has_size_member_v<T>
	Type trait to check if a type T represents a contiguous range.
template<typename T>
constexpr bool	is_non_contiguous_v = is_iterable_v<T> && !has_data_member_v<T>
	Type trait to check if a type T represents a non-contiguous range.

Detailed Description

Provides additional type trait utilities.