From 2c3130657e42313561e8a1cb7bdd020d020754a2 Mon Sep 17 00:00:00 2001
From: Ben Deane <ben@elbeno.com>
Date: Wed, 11 Sep 2024 10:10:09 -0600
Subject: [PATCH] :children_crossing: Add concept for runtime predicate

---
 include/cib/detail/runtime_conditional.hpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/include/cib/detail/runtime_conditional.hpp b/include/cib/detail/runtime_conditional.hpp
index 29ba2f56..d18a9277 100644
--- a/include/cib/detail/runtime_conditional.hpp
+++ b/include/cib/detail/runtime_conditional.hpp
@@ -5,6 +5,7 @@
 #include <cib/detail/extend.hpp>
 
 #include <stdx/compiler.hpp>
+#include <stdx/concepts.hpp>
 #include <stdx/ct_format.hpp>
 #include <stdx/tuple.hpp>
 #include <stdx/tuple_algorithms.hpp>
@@ -47,7 +48,11 @@ struct runtime_conditional : config_item {
     }
 };
 
-template <stdx::ct_string Name, typename... Ps> // FIXME: concept for Ps
+template <typename T>
+concept runtime_predicate =
+    std::default_initializable<T> and stdx::predicate<T>;
+
+template <stdx::ct_string Name, runtime_predicate... Ps>
 struct runtime_condition {
     constexpr static auto predicates = stdx::make_tuple(Ps{}...);