#include <TypeList.h>

Public Types
using	type = RightFold_t< Op, TypeList, List< Nil, Nil > >

Private Types
template<typename Type , typename Acc >
using	Op = std::conditional_t< Is_v< Predicate, Type >, List< Cons_t< Type, First_t< Acc > >, Second_t< Acc > >, List< First_t< Acc >, Cons_t< Type, Second_t< Acc > > > >

Detailed Description

template<typename Predicate, typename TypeList>
struct TypeList::StablePartition< Predicate, TypeList >

Find a list of two lists of types, the first containing those satisfying the Predicate, the second containing the others

Definition at line 486 of file TypeList.h.

Member Typedef Documentation

template<typename Predicate , typename TypeList >

template<typename Type , typename Acc >

using TypeList::StablePartition< Predicate, TypeList >::Op = std::conditional_t< Is_v<Predicate, Type>, List<Cons_t<Type, First_t<Acc> >, Second_t<Acc> >, List<First_t<Acc>, Cons_t<Type, Second_t<Acc> >> >

private

Definition at line 488 of file TypeList.h.

template<typename Predicate , typename TypeList >

using TypeList::StablePartition< Predicate, TypeList >::type = RightFold_t<Op, TypeList, List<Nil, Nil> >

Definition at line 494 of file TypeList.h.

The documentation for this struct was generated from the following file: