Data.Validity.Map

Orphan instances

(Ord k, Validity k, Validity v) => Validity (Map k v)

A Map of things is valid if all the keys and values are valid and the Map itself is valid.

Methods

validate :: Map k v -> Validation