validity-containers-0.5.0.4: Validity instances for containers

Data.Validity.Map

Contents

# 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 Methodsvalidate :: Map k v -> Validation #