Modulevalidity-containers-0.5.0.5Haskell2010

Data.Validity.Map

Synopsis

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

Orphan instances

1 instance

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