25 template<
template<
typename...>
class List,
typename H,
typename... T>
31 template<
typename List>
34 template<
template<
typename...>
class List,
typename H,
typename... T>
42 template<
int N,
typename List>
48 template<
typename List>
55 template<
int N,
template<
typename...>
class List,
typename...
Args>
61 template<
template<
typename...>
class List,
typename...
Args1,
typename...
Args2>
67 template<
template<
typename...>
class List>
73 template<
template<
typename...>
class List,
typename Head,
typename...
Tail>
81 template<
template<
typename...>
class List,
typename Tuple,
size_t...
Is>
82 constexpr auto InitImpl (std::integer_sequence<size_t, Is...>)
88 template<
template<
typename...>
class List,
typename...
Args>
94 template<
typename Type,
template<
typename...>
class List,
typename...
Args>
97 return (std::is_same_v<Type, Args> || ...);
102 template<
template<
typename>
class,
typename,
typename =
void>
106 template<
template<
typename>
class Pred,
typename List>
111 template<
template<
typename>
class Pred,
template<
typename...>
class List,
typename Head,
typename...
Tail>
117 template<
template<
typename>
class Pred,
template<
typename...>
class List,
typename Head,
typename...
Tail>
123 template<
template<
typename>
class Pred,
template<
typename...>
class List>
133 template<
template<
typename...>
class OtherList,
typename...
Args>
142 template<
typename F,
typename G,
typename Def,
typename Head,
typename...
Args>
148 if constexpr (
sizeof... (
Args) > 0)
156 template<
template<
typename>
class Name,
typename Def,
typename...
Args>
159 template<
template<
typename>
class Name,
typename Def,
typename T,
typename...
Rest>
162 template<
template<
typename>
class Name,
typename Def,
typename T,
typename...
Rest>
168 template<
template<
typename>
class Name,
typename Def>
175 template<
template<
typename>
class Name,
typename Def,
typename...
Args>
constexpr auto InitImpl(std::integer_sequence< size_t, Is... >)
typename AsTypelist< T >::Result_t AsTypelist_t
Container< T > Filter(const Container< T > &c, F f)
constexpr auto Init(List< Args... >)
typename Head< List >::Head_t Head_t
constexpr List< T... > Tail(List< H, T... >)
constexpr detail::DropImpl< N, List< Args... > >::Result_t Drop(List< Args... >)
constexpr bool HasType(List< Args... >)
Container< T > Concat(const Container< Container< T > > &containers)
auto FirstMatching(F f, G g, Def def, Util::Typelist< Head, Args... >)
typename detail::Find< Name, Def, Args... >::type Find
constexpr List Reverse(List<>)
typename detail::Filter< Pred, List >::Result_t Filter_t
typename DropImpl< N - 1, decltype(Tail(List {}))>::Result_t Result_t