validity-containers-0.5.0.4: Validity instances for containers

Safe HaskellNone
LanguageHaskell2010

Data.Validity.Set

Contents

Documentation

distinctOrd :: Ord a => [a] -> Bool Source #

Orphan instances

(Ord v, Validity v) => Validity (Set v) Source #

A Set of things is valid if all the elements are valid and the Set itself is valid.

Instance details

Methods

validate :: Set v -> Validation #