Data.Validity.Set

Documentation

Orphan instances

(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.

Methods

validate :: Set v -> Validation