Data.Validity.Map

Documentation

Orphan instances

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

A tree of things is valid if all the things are valid and the map itself is valid.

Methods

isValid :: Map k v -> Bool