trait.hpp File Reference

Provides additional type trait utilities. More...

#include <iterator>
#include <type_traits>

Go to the source code of this file.

Namespaces
namespace	nnl
namespace	nnl::utl::trait
	Provides additional type trait utilities.

Typedefs
template<typename... Ts>
using	nnl::utl::trait::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	nnl::utl::trait::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	nnl::utl::trait::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	nnl::utl::trait::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	nnl::utl::trait::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	nnl::utl::trait::is_iterable_v = is_iterable<T>::value
	Type trait to check if a type T is iterable.
template<typename T>
constexpr bool	nnl::utl::trait::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	nnl::utl::trait::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.