{-# OPTIONS_GHC -fno-warn-orphans #-} module Data.Map.Arbitrary where import Test.QuickCheck ( Arbitrary(..) ) import Control.Monad ( liftM ) import Data.Map ( Map ) import qualified Data.Map as Map instance (Arbitrary k, Arbitrary v, Ord k) => Arbitrary (Map k v) where arbitrary = Map.fromList `liftM` arbitrary coarbitrary = coarbitrary . Map.toList