GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31
Package sets
Modulevalidity-containers-0.5.0.5Haskell2010
distinctOrd :: Ord a => [a] -> Bool
(Ord v, Validity v) => Validity (Set v)
A Set of things is valid if all the elements are valid and the Set itself is valid.