L4 basic type helpers for C++. More...

Data Structures
class	Flags
	Template for defining typical Flags bitmaps. More...
struct	Int_for_size
	Metafunction to get an unsigned integral type for the given size. More...
struct	Int_for_type
	Metafunction to get an integral type of the same size as T. More...
struct	Flags_ops_t
	Mixin class to define a set of friend bitwise operators on DT. More...
struct	Flags_t
	Template type to define a flags type with bitwise operations. More...
struct	__Add_rvalue_reference_helper
	Helper template for Add_rvalue_reference. More...
struct	__Add_rvalue_reference_helper< T, Void< T && > >
	Helper template for Add_rvalue_reference. More...
struct	Add_rvalue_reference
	Create an rvalue reference of the given type. More...
struct	Bool
	Boolean meta type. More...
struct	False
	False meta value. More...
struct	True
	True meta value. More...
struct	Integral_constant
	Wrapper for a static constant of the given type. More...
struct	Is_enum
	Check whether the given type is an enumeration type. More...
struct	__Underlying_type_helper
	Helper template for Underlying_type. More...
struct	__Underlying_type_helper< T, false >
	Helper template for Underlying_type. More...
struct	Underlying_type
	Get an underlying type of an enumeration type. More...
struct	Same
	Compare two data types for equality. More...

Typedefs
template<typename...>
using	Void = void
	Map a sequence of any types to the void type.
template<typename T>
using	Add_rvalue_reference_t = typename Add_rvalue_reference<T>::type
	Helper type for the Add_rvalue_reference.
template<typename T>
using	Underlying_type_t = typename Underlying_type<T>::type
	Helper type for Underlying_type.
template<bool Condition, typename T = void>
using	Enable_if_t = typename Enable_if<Condition, T>::type
	Helper type for Enable_if.

Functions
template<typename T>
Add_rvalue_reference_t< T >	declval () noexcept
	Template for writing typed expressions in unevaluated contexts.

Detailed Description

L4 basic type helpers for C++.

Function Documentation

template<typename T>

Add_rvalue_reference_t< T > L4::Types::declval ( )

noexcept

Template for writing typed expressions in unevaluated contexts.

In unevaluated contexts, the template converts a type (possibly an incomplete type) to an expression of that type.

Template Parameters

T	Type to be converted to an expression of that type.