|
template<unsigned INDEX> |
using | get = typename std::tuple_element<INDEX, std::tuple<id<TYPES>...>>::type::type |
| Returns INDEXth type of TYPES.
|
|
template<template< typename... > class COLLECTION> |
using | decompose_into = COLLECTION<TYPES...> |
| Export TYPES into arbitrary variadic template COLLECTION.
|
|
template<template< typename > class F> |
using | map = list<F<TYPES>...> |
|
template<typename F > |
using | map_to_callable_result = list<decltype(std::declval<F&>()(meta::id<TYPES>{}))...> |
|
template<typename TYPE > |
using | push = list<TYPE, TYPES...> |
|
template<typename... UYPES> |
using | append = list<TYPES..., UYPES...> |
|
template<typename... UYPES> |
using | include |
| Merge TYPES and UYPES into new list.
|
|
template<typename BASE > |
using | first_with_base = first_type_with_base_t<BASE, TYPES...> |
| Returns first type of TYPES that is derived from BASE.
|
|
template<typename BASE , typename FALLBACK > |
using | first_with_base_or_fallback |
| Returns first type of TYPES that is derived from BASE.
|
|
template<typename... TYPES>
struct olb::meta::list< TYPES >
Plain wrapper for list of types.
Definition at line 276 of file meta.h.
template<typename... TYPES>
template<typename BASE , typename FALLBACK >
Initial value: std::conditional_t<
std::is_void_v<first_with_base<BASE>>,
FALLBACK,
first_with_base<BASE>
>
Returns first type of TYPES that is derived from BASE.
If such a type doesn't exist, FALLBACK is returned.
Definition at line 317 of file meta.h.