validity-containers-0.5.0.5: Validity instances for containers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Validity.Map

Documentation

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

Orphan instances

(Show k, Ord k, Validity k, Validity v) => Validity (Map k v) Source #

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

Instance details

Methods

validate :: Map k v -> Validation #