Namespace regrouping all meta programmation helper types. More...

Classes
struct	_filter

struct	_filter< Traits< Treated... >, Filter >

struct	_filter< Traits< Treated... >, Filter, Current, Untreated... >

struct	_left_outer_join

struct	_left_outer_join< Traits< Rights... >, IsInner, Left, OuterLefts... >

struct	_type_set_eq

struct	_type_set_eq< std::tuple< T1, Ts1... >, std::tuple< Ts2... > >

struct	_type_set_eq< std::tuple<>, std::tuple<> >

struct	add_optional
	Add optional to a type if required. More...

struct	add_optional< std::optional< T > >
	Add optional to a type if required. More...

struct	add_optional< T & >
	Add optional to a type if required. More...

struct	apply
	Apply a modification on all types in `Ts`. More...

struct	apply< Functor, Traits< Ts... > >
	Apply a modification on all types in `Ts`. More...

struct	filter
	Filter the types in `Ts` keeping only those for which Filter<T>::value was true. More...

struct	index
	Get the index of the first occurence of type `T` in the types `Ts`. More...

struct	index< T, T, Ts... >
	Get the index of the first occurence of type `T` in the types `Ts`. More...

struct	index< T, U, Ts... >
	Get the index of the first occurence of type `T` in the types `Ts`. More...

struct	is_std_vector
	Check if a type is a std::vector. More...

struct	is_std_vector< std::vector< T, A > >
	Check if a type is a std::vector. More...

struct	is_type_bounded_array
	Check if a type is a bounded array of a given element type. More...

struct	is_type_bounded_array< T, U >
	Check if a type is a bounded array of a given element type. More...

struct	left_outer_join
	Performs a left outer join on two parameter pack types (returns types in Lefts but no in Rights). More...

struct	left_outer_join< std::tuple< Lefts... >, std::tuple< Rights... > >
	Performs a left outer join on two parameter pack types wrapped in tuple types (return types in lefts but not in Rights). More...

struct	left_outer_join< Traits< Left, Lefts... >, Traits< Rights... > >
	Performs a left outer join on two parameter pack types wrapped in Traits types (returns types in Lefts but not in Rights). More...

struct	Traits
	Empty parameter pack helper type. More...

struct	Traits< Arg, Args... >
	Parameter pack helper type. More...

struct	type_set_eq
	Test if two tuple types contains the exact same type independently of the order. More...

struct	type_set_eq< std::tuple< Ts1... >, std::tuple< Ts2... > >

Concepts
concept	is_size_t_convertible
	Check if a type is std::size_t or is convertible to it.

Typedefs
template<typename T >
using	add_optional_t = typename add_optional< T >::type
	Helper to add_optional<T>::type.

template<template< typename > typename Functor, typename... Ts>
using	apply_t = typename apply< Functor, Ts... >::type
	Helper for apply<...>::type.

template<template< typename > typename Filter, typename... Ts>
using	filter_t = typename filter< Filter, Ts... >::type
	Helper for filter<...>::type.

template<typename T >
using	is_std_vector_v = typename is_std_vector< T >::value
	Helper for is_std_vector<...>::value.

template<typename Lefts , typename Rights >
using	left_outer_join_t = typename left_outer_join< Lefts, Rights >::type
	Helper for left_outer_join<...>::type.

template<typename Lefts , typename Rights >
using	right_outer_join = left_outer_join< Rights, Lefts >
	Performs a right outer join on two parameter pack types wrapped in tuple types (return types in rights but not in lefts).

template<typename Lefts , typename Rights >
using	right_outer_join_t = typename right_outer_join< Lefts, Rights >::type
	Helper for right_outer_join<...>::type.

Variables
template<typename T , typename... Ts>
constexpr bool	contains = std::disjunction_v<std::is_same<T, Ts>...>
	Checks if the type `T` exists in the types `Ts`.

template<typename T , typename... Ts>
constexpr std::size_t	index_v = index<T, Ts...>::value
	Helper for index<...>::type.

template<typename T , typename U >
constexpr bool	is_type_bounded_array_v = is_type_bounded_array<T, U>::value
	Helper for is_type_bounded_array<...>::value.

template<typename Ts1 , typename Ts2 >
bool constexpr	type_set_eq_v = type_set_eq<Ts1, Ts2>::value
	Helper for type_set_eq.