quickcheck-instances-0.3.29: test/Tests.hs

{-# LANGUAGE CPP #-}
module Main (main) where

import Data.Proxy (Proxy (..))
import Test.QuickCheck
import Test.QuickCheck.Instances ()

import qualified Data.Tree as Tree
import qualified Data.Primitive as Prim

import           Data.UUID.Types (UUID)

#if MIN_VERSION_base(4,9,0)
import qualified Data.Array.Byte as AB
#endif

-- | Example law: == (and thus ===) should be reflexive.
eqReflexive
    :: (Eq a, Show a)
    => Proxy a
    -> a
    -> Property
eqReflexive _ x = x === x

main :: IO ()
main = do
    quickCheck $ eqReflexive (Proxy :: Proxy Int)
    quickCheck $ eqReflexive (Proxy :: Proxy (Tree.Tree Int))
    quickCheck $ eqReflexive (Proxy :: Proxy UUID)
    quickCheck $ eqReflexive (Proxy :: Proxy Prim.ByteArray)
#if MIN_VERSION_base(4,9,0)
    quickCheck $ eqReflexive (Proxy :: Proxy AB.ByteArray)
#endif