search

cardano-foundation / cardano-wallet

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Apache License 2.0
757 stars 213 forks source link

[ADP-3272] Add shrinker function `shrinkMapToSubmaps`. #4575

Closed jonathanknowles closed 2 months ago

jonathanknowles commented 2 months ago

This PR adds a shrinker function shrinkMapToSubmaps to Test.QuickCheck.Extra:

-- | Shrinks a 'Map' to list of proper submaps.
--
-- Satisfies the following property:
--
-- @
-- all (`Map.isProperSubmapOf` m) (shrinkMapToSubmaps m)
-- @
--
shrinkMapToSubmaps :: Ord k => Map k v -> [Map k v]

Issue

ADP-3272