RESTinio
|
Namespaces | |
namespace | impl |
Classes | |
struct | make_void |
struct | type_list |
The basic building block: a type for representation of a type list. More... | |
Typedefs | |
template<typename... Ts> | |
using | void_t = typename make_void< Ts... >::type |
template<typename... L> | |
using | head_of_t = typename impl::head_of< L... >::type |
Metafunction to get the first item from a list of types. More... | |
template<typename... L> | |
using | 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. More... | |
template<typename T , typename Rest > | |
using | put_front_t = typename impl::put_front< T, Rest >::type |
Metafunction to insert a type to the front of a type_list. More... | |
template<typename From , template< class... > class To> | |
using | rename_t = typename impl::rename< From, To >::type |
Allows to pass all template arguments from one type to another. More... | |
template<template< class... > class Transform_F, typename From > | |
using | transform_t = typename impl::transform< Transform_F, From, type_list<> >::type |
Applies a specified meta-function to every item from a specified type-list and return a new type-list. More... | |
Variables | |
template<template< class... > class Predicate, typename... List> | |
constexpr bool | 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. More... | |
using restinio::utils::metaprogramming::head_of_t = typedef typename impl::head_of<L...>::type |
Metafunction to get the first item from a list of types.
Usage example:
Definition at line 91 of file metaprogramming.hpp.
using restinio::utils::metaprogramming::put_front_t = typedef typename impl::put_front<T, Rest>::type |
Metafunction to insert a type to the front of a type_list.
Usage example:
Definition at line 165 of file metaprogramming.hpp.
using restinio::utils::metaprogramming::rename_t = typedef typename impl::rename<From, To>::type |
Allows to pass all template arguments from one type to another.
Usage example:
Definition at line 203 of file metaprogramming.hpp.
using restinio::utils::metaprogramming::tail_of_t = typedef typename impl::tail_of<L...>::type |
Metafunction to get the tail of a list of types in a form of type_list.
Returns all types expect the first one. If input list of types contains just one type then type_list<>
is returned.
Usage example:
Definition at line 129 of file metaprogramming.hpp.
using restinio::utils::metaprogramming::transform_t = typedef typename impl::transform< Transform_F, From, type_list<> >::type |
Applies a specified meta-function to every item from a specified type-list and return a new type-list.
Usage example:
Definition at line 259 of file metaprogramming.hpp.
using restinio::utils::metaprogramming::void_t = typedef typename make_void<Ts...>::type |
Definition at line 28 of file metaprogramming.hpp.
|
constexpr |
Applies the predicate to all types from the list and return true only if all types satisty that predicate.
Usage example:
Since v.0.6.6 can be used with type_list:
Definition at line 325 of file metaprogramming.hpp.