compdata-0.1: testsuite/tests/Data/Comp/Equality_Test.hs

module Data.Comp.Equality_Test where


import Data.Comp
import Data.Comp.Equality
import Data.Comp.Arbitrary
import Data.Comp.Show

import Test.Framework
import Test.Framework.Providers.QuickCheck2
import Test.QuickCheck
import Test.Utils





--------------------------------------------------------------------------------
-- Test Suits
--------------------------------------------------------------------------------

main = defaultMain [tests]

tests = testGroup "Equality" [
         testProperty "prop_eqMod_fmap" prop_eqMod_fmap
        ]


--------------------------------------------------------------------------------
-- Properties
--------------------------------------------------------------------------------

prop_eqMod_fmap cxt f = case eqMod cxt cxt' of
                   Nothing -> False
                   Just list -> all (uncurry (==)) $ map (\(x,y)->(f x,y)) list
    where cxt' = fmap f cxt 
          with = (cxt :: Context SigP Int, f :: Int -> Int)