We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9a7416e commit 370ee24Copy full SHA for 370ee24
Data/HashSet/Internal.hs
@@ -405,6 +405,11 @@ intersection :: Eq a => HashSet a -> HashSet a -> HashSet a
405
intersection (HashSet a) (HashSet b) = HashSet (H.intersection a b)
406
{-# INLINABLE intersection #-}
407
408
+-- | Check whether two sets are disjoint (i.e., their intersection is empty).
409
+--
410
+-- @
411
+-- xs ``disjoint`` ys = null (xs ``intersection`` ys)
412
413
disjoint :: Eq k => HashSet k -> HashSet k -> Bool
414
disjoint (HashSet a) (HashSet b) = H.disjoint a b
415
{-# INLINE disjoint #-}
0 commit comments