genvalidity-containers-0.1.0.2: src/Data/GenValidity/Map.hs

module Data.GenValidity.Map where

import           Data.GenValidity
import           Data.Validity.Map ()

import           Data.Map         (Map)
import qualified Data.Map         as M

instance (Ord k, GenValidity k, GenValidity v) => GenValidity (Map k v) where
    genUnchecked = M.fromList <$> genUnchecked

    genValid     = M.fromList <$> genValid

    genInvalid   = M.fromList <$> genInvalid