{-# OPTIONS_GHC -fno-warn-orphans #-}
module Numeric.Natural.QuickCheck where

import Numeric.Natural
import Test.QuickCheck (Arbitrary, arbitrary, CoArbitrary, coarbitrary, suchThat, variant)
import Control.Applicative ((<$>))

instance Arbitrary Natural where
    arbitrary = fromInteger <$> (arbitrary `suchThat` (0 <=))

instance CoArbitrary Natural where
    coarbitrary = variant
