Skip to content

Instantly share code, notes, and snippets.

@picanumber

picanumber/quantify_variadic_predicates.cpp

Last active December 19, 2016 07:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save picanumber/f008c16118c0f7407b5bb56cb6f2cdfb to your computer and use it in GitHub Desktop.
Save picanumber/f008c16118c0f7407b5bb56cb6f2cdfb to your computer and use it in GitHub Desktop.
Download ZIP
Quantification for constant typelist - variadic predicate list
Raw
quantify_variadic_predicates.cpp
template <class T, template <class> class... Ps>
constexpr bool satisfies_all_v = std::conjunction<Ps<T>...>::value;
template <class T, template <class> class... Ps>
constexpr bool satisfies_any_v = std::disjunction<Ps<T>...>::value;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment