From 838c4b9a45a50f252c7b20d14570b0b7463709ab Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Wed, 8 Jan 2025 23:40:52 +0100
Subject: Finish work on hashing probably

---
 asl/option.hpp | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'asl/option.hpp')

diff --git a/asl/option.hpp b/asl/option.hpp
index eb6a91c..f7a3eab 100644
--- a/asl/option.hpp
+++ b/asl/option.hpp
@@ -5,6 +5,7 @@
 #include "asl/maybe_uninit.hpp"
 #include "asl/functional.hpp"
 #include "asl/annotations.hpp"
+#include "asl/hash.hpp"
 
 namespace asl
 {
@@ -485,8 +486,23 @@ public:
     {
         return has_value() ? ASL_MOVE(*this) : invoke(ASL_FWD(f));
     }
+
+    template<typename H>
+    requires (!uniquely_represented<option>) && hashable<T>
+    friend H AslHashValue(H h, const option& opt)
+    {
+        if (!opt.has_value())
+        {
+            return H::combine(ASL_MOVE(h), 0);
+        }
+        return H::combine(ASL_MOVE(h), 1, opt.value());
+    }
 };
 
+template<typename T>
+requires has_niche<T> && uniquely_represented<T>
+struct is_uniquely_represented<option<T>> : true_type {};
+
 template<typename T>
 option(T) -> option<T>;
 
-- 
cgit