RESTinio
|
Various tools for C++ metaprogramming. More...
#include <type_traits>
Go to the source code of this file.
Namespaces | |
namespace | restinio |
namespace | restinio::utils |
namespace | restinio::utils::metaprogramming |
namespace | restinio::utils::metaprogramming::impl |
Typedefs | |
template<typename... Ts> | |
using | restinio::utils::metaprogramming::void_t = std::void_t<Ts...> |
template<typename... L> | |
using | restinio::utils::metaprogramming::head_of_t = typename impl::head_of<L...>::type |
Metafunction to get the first item from a list of types. | |
template<typename... L> | |
using | restinio::utils::metaprogramming::tail_of_t = typename impl::tail_of<L...>::type |
Metafunction to get the tail of a list of types in a form of type_list. | |
template<typename T, typename Rest> | |
using | restinio::utils::metaprogramming::put_front_t = typename impl::put_front<T, Rest>::type |
Metafunction to insert a type to the front of a type_list. | |
template<typename From, template< class... > class To> | |
using | restinio::utils::metaprogramming::rename_t = typename impl::rename<From, To>::type |
Allows to pass all template arguments from one type to another. | |
template<template< class... > class Transform_F, typename From> | |
using | restinio::utils::metaprogramming::transform_t |
Applies a specified meta-function to every item from a specified type-list and return a new type-list. |
Variables | |
template<template< class... > class Predicate, typename... List> | |
constexpr bool | restinio::utils::metaprogramming::all_of_v = impl::all_of<Predicate, List...>::value |
Applies the predicate to all types from the list and return true only if all types satisty that predicate. |