{-# OPTIONS_GHC -fno-warn-orphans #-}

module Orphans () where

import Numeric.Natural (Natural)

import Test.QuickCheck (Arbitrary (..))

-- | The QuickCheck-2.10 doesn't define the Arbitrary Natural instance

-- We define own instance (and not use quickcheck-instance) to break

-- the cycle in tests.

instance Arbitrary Natural where

    arbitrary = fmap (fromInteger . abs) arbitrary

    shrink = map (fromInteger . abs) . shrink . fromIntegral