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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
module Util.TestTrees where
import Data.List.NonEmpty (NonEmpty (..))
import Data.Monoid
import Data.Proxy
import Data.Semigroup
import Test.QuickCheck
import Test.QuickCheck.Classes
import Test.QuickCheck.Instances ()
import Test.Tasty
import Test.Tasty.QuickCheck
import TextBuilderDev
import Prelude
-- | Tests mapping from @a@ to @b@ to produce a valid 'Monoid'.
--
-- Tests the following properties:
--
-- [/Associative/]
-- @a '<>' (b '<>' c) ≡ (a '<>' b) '<>' c@
-- [/Semigroup Concatenation/]
-- @'sconcat' as ≡ 'foldr1' ('<>') as@
-- [/Times/]
-- @'stimes' n a ≡ 'foldr1' ('<>') ('replicate' n a)@
-- [/Left Identity/]
-- @mappend mempty a ≡ a@
-- [/Right Identity/]
-- @mappend a mempty ≡ a@
-- [/Monoid Concatenation/]
-- @mconcat as ≡ foldr mappend mempty as@
mapsToMonoid ::
forall a b.
(Arbitrary a, Show a, Eq a, Monoid b, Eq b, Show b) =>
-- | Embed in monoid.
(a -> b) ->
TestTree
mapsToMonoid embed =
customGenMonoid (embed <$> arbitrary)
-- | Tests mapping from @a@ to @b@ to produce a valid 'Monoid'.
--
-- Tests the following properties:
--
-- [/Associative/]
-- @a '<>' (b '<>' c) ≡ (a '<>' b) '<>' c@
-- [/Semigroup Concatenation/]
-- @'sconcat' as ≡ 'foldr1' ('<>') as@
-- [/Times/]
-- @'stimes' n a ≡ 'foldr1' ('<>') ('replicate' n a)@
-- [/Left Identity/]
-- @mappend mempty a ≡ a@
-- [/Right Identity/]
-- @mappend a mempty ≡ a@
-- [/Monoid Concatenation/]
-- @mconcat as ≡ foldr mappend mempty as@
customGenMonoid ::
(Monoid a, Eq a, Show a) =>
Gen a ->
TestTree
customGenMonoid gen =
testGroup
"Monoid"
[ testProperty "Is associative" do
x <- gen
y <- gen
z <- gen
pure (x <> (y <> z) === (x <> y) <> z),
testProperty "Semigroup concatenation" do
xs <- (:|) <$> gen <*> listOf gen
pure (sconcat xs === foldr1 (<>) xs),
testProperty "Times" do
x <- gen
Positive n <- arbitrary
pure (stimes n x === foldr1 (<>) (replicate n x)),
testProperty "Left identity" do
x <- gen
pure (mempty <> x === x),
testProperty "Right identity" do
x <- gen
pure (x <> mempty === x),
testProperty "Monoid concatenation" do
xs <- listOf gen
pure (mconcat xs === foldr mappend mempty xs)
]
isomorphic ::
forall a.
(Isomorphic a, Eq a, Show a, Arbitrary a) =>
Proxy a ->
TestTree
isomorphic proxy =
testGroup "Isomorphic" $
[ testProperty "to . from == id" $ \a ->
(to . from) a === asProxyTypeOf a proxy,
testProperty "from . to == id" $ \a ->
(from . flip asProxyTypeOf proxy . to) a === a,
testGroup "from" $
[ mapsToMonoid (from @a)
]
]
followsLaws :: Laws -> TestTree
followsLaws Laws {..} =
testProperties lawsTypeclass lawsProperties
|
