uTL
micro Template library
selection

Namespaces

 utl
 STL's core language concepts.
 
 utl::meta::detail
 

Classes

struct  utl::meta::detail::if_c_< If,... >
 
struct  utl::meta::detail::if_c_< true, Then >
 
struct  utl::meta::detail::if_c_< true, Then, Else >
 
struct  utl::meta::detail::if_c_< false, Then, Else >
 

Typedefs

using utl::meta::detail::if_c_< If,... >::type = nil_
 avoid ill formed result More...
 
using utl::meta::detail::if_c_< true, Then >::type = Then
 
using utl::meta::detail::if_c_< true, Then, Else >::type = Then
 
using utl::meta::detail::if_c_< false, Then, Else >::type = Else
 
template<bool B, typename... Args>
using utl::meta::if_c = eval< detail::if_c_< B, Args... > >
 Select one type or another depending on a compile-time Boolean. More...
 
template<typename If , typename... Args>
using utl::meta::if_ = if_c< If::type::value, Args... >
 Select one type or another depending on a compile-time Boolean type. More...
 
template<typename T1 , typename ... >
using utl::meta::first_of = T1
 Select the first type of a type sequence. More...
 
template<typename T1 , typename T2 , typename ... >
using utl::meta::second_of = T2
 Select the second type of a type sequence. More...
 

Detailed Description

Type selection support header

Typedef Documentation

◆ first_of

template<typename T1 , typename ... >
using utl::meta::first_of = typedef T1

Select the first type of a type sequence.

Named type selectors

Examples:
W:/Work/Software/Libraries/utl/include/utl/meta/invoke.h.

Definition at line 76 of file selection.h.

◆ if_

template<typename If , typename... Args>
using utl::meta::if_ = typedef if_c<If::type::value, Args...>

Select one type or another depending on a compile-time Boolean type.

Examples:
W:/Work/Software/Libraries/utl/include/utl/meta/invoke.h, and W:/Work/Software/Libraries/utl/include/utl/meta/typelist.h.

Definition at line 66 of file selection.h.

◆ if_c

template<bool B, typename... Args>
using utl::meta::if_c = typedef eval<detail::if_c_<B, Args...> >

Select one type or another depending on a compile-time Boolean.

Definition at line 62 of file selection.h.

◆ second_of

template<typename T1 , typename T2 , typename ... >
using utl::meta::second_of = typedef T2

Select the second type of a type sequence.

Definition at line 79 of file selection.h.

◆ type [1/4]

template<bool If, typename... >
using utl::meta::detail::if_c_< If,... >::type = nil_

avoid ill formed result

Definition at line 45 of file selection.h.

◆ type [2/4]

template<typename Then >
using utl::meta::detail::if_c_< true, Then >::type = Then

Definition at line 49 of file selection.h.

◆ type [3/4]

template<typename Then , typename Else >
using utl::meta::detail::if_c_< true, Then, Else >::type = Then

Definition at line 53 of file selection.h.

◆ type [4/4]

template<typename Then , typename Else >
using utl::meta::detail::if_c_< false, Then, Else >::type = Else

Definition at line 57 of file selection.h.