validity-containers-0.5.0.4: Validity instances for containers
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 #