Data.GenValidity.Map

Documentation

genStructurallyValidMapOf :: Ord k => Gen (k, v) -> Gen (Map k v)

genStructurallyValidMapOfInvalidValues :: (Ord k, GenUnchecked k, GenInvalid k, GenUnchecked v, GenInvalid v) => Gen (Map k v)

genStructurallyInvalidMap :: (Show k, Ord k, GenUnchecked k, GenUnchecked v) => Gen (Map k v)

Orphan instances

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

Methods

genUnchecked :: Gen (Map k v)

shrinkUnchecked :: Map k v -> [Map k v]

(Show k, Ord k, GenValid k, GenValid v) => GenValid (Map k v)

Methods

genValid :: Gen (Map k v)

shrinkValid :: Map k v -> [Map k v]

(Show k, Ord k, GenUnchecked k, GenInvalid k, GenUnchecked v, GenInvalid v) => GenInvalid (Map k v)

Methods

genInvalid :: Gen (Map k v)

shrinkInvalid :: Map k v -> [Map k v]