Functions
template<typename Pred , template< typename... > typename SomeListOfTypes>
constexpr List	filter (Pred, SomeListOfTypes<> *)

template<typename Pred , template< typename... > typename SomeListOfTypes, typename Head , typename... Tail>
constexpr decltype(auto)	filter (Pred pred, SomeListOfTypes< Head, Tail... > *)

template<template< typename... > typename List, typename Function , typename Head , typename... Tail>
constexpr decltype(auto)	map_to_array (Function &&f, List< Head, Tail... > *)

template<template< typename... > typename List, typename Function >
constexpr std::array< std::nullptr_t, 0 >	map_to_array (Function &&, List<> *)

template<template< typename... > typename List, typename Function , typename... Types>
void	foreach (Function &&f, List< Types... > *)

Function Documentation

◆ filter() [1/2]

template<typename Pred , template< typename... > typename SomeListOfTypes, typename Head , typename... Tail>

decltype(auto) BaseLib::TMP::detail::filter	(	Pred	pred,
		SomeListOfTypes< Head, Tail... > *	)

constexpr

Definition at line 56 of file TMP.h.

{
    constexpr auto tail_arg = static_cast<List<Tail...>*>(nullptr);
    using TailFiltered = decltype(filter(pred, tail_arg));
 
    using Result =
        std::conditional_t<pred((Head*)nullptr),
                           Concat_t<List<Head>, TailFiltered>, TailFiltered>;
 
    return Result{};
}

References BaseLib::TMP::filter().

◆ filter() [2/2]

template<typename Pred , template< typename... > typename SomeListOfTypes>

List BaseLib::TMP::detail::filter	(	Pred	,
		SomeListOfTypes<> *	)

constexpr

Definition at line 49 of file TMP.h.

{
    return {};
}

Referenced by BaseLib::TMP::filter().

◆ foreach()

template<template< typename... > typename List, typename Function , typename... Types>

void BaseLib::TMP::detail::foreach	(	Function &&	f,
		List< Types... > *	)

Definition at line 144 of file TMP.h.

{
    (..., f((Types*)nullptr));
}

Referenced by BaseLib::TMP::foreach().

◆ map_to_array() [1/2]

template<template< typename... > typename List, typename Function >

std::array< std::nullptr_t, 0 > BaseLib::TMP::detail::map_to_array	(	Function &&	,
		List<> *	)

constexpr

Definition at line 120 of file TMP.h.

{
    return {};
}

◆ map_to_array() [2/2]

template<template< typename... > typename List, typename Function , typename Head , typename... Tail>

decltype(auto) BaseLib::TMP::detail::map_to_array	(	Function &&	f,
		List< Head, Tail... > *	)

constexpr

Definition at line 109 of file TMP.h.

{
    using CommonType =
        std::common_type_t<std::invoke_result_t<Function, Head*>,
                           std::invoke_result_t<Function, Tail*>...>;
 
    return std::array<CommonType, 1 + sizeof...(Tail)>{f((Head*)nullptr),
                                                       f((Tail*)nullptr)...};
}

Referenced by BaseLib::TMP::map_to_array().

Functions

Function Documentation

◆ filter() [1/2]

◆ filter() [2/2]

◆ foreach()

◆ map_to_array() [1/2]

◆ map_to_array() [2/2]