GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12
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.