Merge pull request #6 from joelberkeley/pair

implement `Hashable` for `Pair`
Z-snails · Sep 22, 2022 · 2e522ad · 2e522ad
2 parents d97d2c3 + 18b5cc1
commit 2e522ad
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Data/Hashable.idr b/src/Data/Hashable.idr
@@ -123,6 +123,10 @@ Hashable Bool where
 
     hashWithSalt = defaultHashWithSalt hash
 
+export
+(Hashable a, Hashable b) => Hashable (a, b) where
+    hashWithSalt salt (a, b) = salt `hashWithSalt` a `hashWithSalt` b
+
 export
 Hashable a => Hashable (Maybe a) where
     hashWithSalt salt Nothing = hashWithSalt salt 0