blob: 04a30d87bec2cbc5c1532129b70185888c38d8ca (
plain)
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
|
(.module:
[library
[lux "*"
["_" test {"+" [Test]}]
[abstract
[equivalence {"+" [Equivalence]}]
[monad {"+" [do]}]
[\\specification
["$[0]" monoid]]]
[data
["[0]" text ("[1]![0]" equivalence)]]
[math
["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["[0]" /]]
["[0]" / "_"
["[1][0]" contract]
["[1][0]" memo]
["[1][0]" mixin]
["[1][0]" mutual]])
(def: .public test
Test
(do [! random.monad]
[expected random.nat
f0 (\ ! each n.+ random.nat)
f1 (\ ! each n.* random.nat)
dummy random.nat
extra (|> random.nat (random.only (|>> (n.= expected) not)))]
(<| (_.covering /._)
($_ _.and
(let [equivalence (: (Equivalence (-> Nat Nat))
(implementation
(def: (= left right)
(n.= (left extra)
(right extra)))))
generator (: (Random (-> Nat Nat))
(\ ! each n.- random.nat))]
(_.for [/.monoid]
($monoid.spec equivalence /.monoid generator)))
(_.cover [/.identity]
(n.= expected
(/.identity expected)))
(_.cover [/.composite]
(n.= (f0 (f1 expected))
((/.composite f0 f1) expected)))
(_.cover [/.constant]
(n.= expected
((/.constant expected) dummy)))
(_.cover [/.flipped]
(let [outcome ((/.flipped n.-) expected extra)]
(and (n.= (n.- extra expected)
outcome)
(not (n.= (n.- expected extra)
outcome)))))
(_.cover [/.on]
(n.= (f0 extra)
(/.on extra f0)))
/contract.test
/memo.test
/mixin.test
/mutual.test
))))
|
