feat: New Nullable system, and improved Vettable system.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 5 insertions, 8 deletions

diff --git a/src/kernel/NeKit/Vettable.h b/src/kernel/NeKit/Vettable.h
index 04d51b1d..c8c27fe3 100644
--- a/src/kernel/NeKit/Vettable.h
+++ b/src/kernel/NeKit/Vettable.h
@@ -40,15 +40,12 @@ struct Vettable<IVettable> final {
   static constexpr bool kValue = true;
 };
 
-/// @brief Concept version of Vettable.
-template <typename Type, typename OnFallback>
-concept IsVettable = requires(OnFallback fallback) {
-  { Vettable<Type>::kValue ? TrueResult<Type>::kValue : fallback() };
-};
+using FallbackType = bool (*)(bool);
 
-template <class Type, typename OnFallback>
-concept IsNotVettable = requires(OnFallback fallback) {
-  { !Vettable<Type>::kValue ? TrueResult<Type>::kValue : fallback() };
+/// @brief Concept version of Vettable.
+template <typename Type, FallbackType OnFallback>
+concept IsVettable = requires() {
+  { Vettable<Type>::kValue ? TrueResult<Type>::kValue : OnFallback(FalseResult<Type>::kValue) };
 };
 }  // namespace Kernel