1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# LANGUAGE AllowAmbiguousTypes #-}
module Spec.Bare ( laws )
where
import Barbies.Bare (BareB(..), Covered)
import Data.Functor.Identity
import Data.Typeable (Typeable, typeRep, Proxy(..))
import Test.Tasty(testGroup, TestTree)
import Test.Tasty.QuickCheck(Arbitrary(..), testProperty, (===))
laws
:: forall b
. ( BareB b
, Eq (b Covered Identity) , Show (b Covered Identity) , Arbitrary (b Covered Identity)
-- , Show (b Bare Identity), Eq (b Bare Identity), Arbitrary (b Bare Identity)
, Typeable b
)
=> TestTree
laws
= testGroup (show (typeRep (Proxy :: Proxy b)))
[ testProperty "bcover . bstrip = id" $ \b ->
bcover (bstrip b) === (b :: b Covered Identity)
-- TODO: FIXME
-- , testProperty "bstrip . bcover = id" $ \b ->
-- bstrip (bcover b) === (b :: b Bare)
]
|
