Data.Validity.Set
Contents
distinctOrd :: Ord a => [a] -> Bool Source #
A Set of things is valid if all the elements are valid and the Set itself is valid.
Set
Methods
validate :: Set v -> Validation #