Data.Validity.Map

Documentation

decorateMap :: Show k => Map k v -> (k -> v -> Validation) -> Validation

Orphan instances

(Show k, 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