From 5eeeb317fccf4ba27d76e5a9c0578790a898d619 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Kr=C3=BCgler?= <daniel.kruegler@gmail.com>
Date: Sat, 2 Jul 2022 18:59:49 +0200
Subject: [PATCH] #2954: Provide std::conjunction and std::disjunction
 substitutes

---
 include/fmt/core.h | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/include/fmt/core.h b/include/fmt/core.h
index 55ae22db..cb6a8887 100644
--- a/include/fmt/core.h
+++ b/include/fmt/core.h
@@ -292,6 +292,32 @@ template <typename T> using type_identity_t = typename type_identity<T>::type;
 template <typename T>
 using underlying_t = typename std::underlying_type<T>::type;
 
+template <typename...>
+struct disjunction;
+template <>
+struct disjunction<> : std::false_type {};
+template <typename P>
+struct disjunction<P> : P {};
+template <typename P1, typename P2>
+struct disjunction<P1, P2> : std::conditional<P1::value, P1, P2>::type {};
+template <typename P1, typename P2, typename P3, typename... Pn>
+struct disjunction<P1, P2, P3, Pn...> 
+  : std::conditional<P1::value, P1, disjunction<P2, P3, Pn...>>::type {
+};
+
+template <typename...>
+struct conjunction;
+template <>
+struct conjunction<> : std::true_type {};
+template <typename P>
+struct conjunction<P> : P {};
+template <typename P1, typename P2>
+struct conjunction<P1, P2> : std::conditional<P1::value, P2, P1>::type {};
+template <typename P1, typename P2, typename P3, typename... Pn>
+struct conjunction<P1, P2, P3, Pn...>
+  : std::conditional<P1::value, conjunction<P2, P3, Pn...>, P1>::type {
+};
+
 struct monostate {
   constexpr monostate() {}
 };