{-# OPTIONS_GHC -fno-warn-orphans #-}
module Test.QuickCheck.Instances.Hashable () where

import Prelude ()
import Test.QuickCheck.Instances.CustomPrelude

import Data.Hashable (Hashable, Hashed, hashed)
import Data.Hashable (hashedHash)

import Test.QuickCheck

-------------------------------------------------------------------------------
-- hashable
-------------------------------------------------------------------------------

instance (Hashable a, Arbitrary a) => Arbitrary (Hashed a) where
    arbitrary :: Gen (Hashed a)
arbitrary = a -> Hashed a
forall a. Hashable a => a -> Hashed a
hashed (a -> Hashed a) -> Gen a -> Gen (Hashed a)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen a
forall a. Arbitrary a => Gen a
arbitrary

instance CoArbitrary (Hashed a) where
    coarbitrary :: forall b. Hashed a -> Gen b -> Gen b
coarbitrary Hashed a
x = Int -> Gen b -> Gen b
forall b. Int -> Gen b -> Gen b
forall a b. CoArbitrary a => a -> Gen b -> Gen b
coarbitrary (Hashed a -> Int
forall a. Hashed a -> Int
hashedHash Hashed a
x :: Int)