blob: c6413c601a49e8b8000d0ec5e8ec3968d2fb4925 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(.using
[library
[lux "*"
["_" test {"+" Test}]
[abstract
[monad {"+" do}]]
[math
["[0]" random]
[number
["n" nat]]]]]
[//
[functor {"+" Injection Comparison}]]
[\\library
["[0]" /]])
(def: .public (spec injection comparison (^open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
(do random.monad
[subject random.nat
parameter random.nat]
(_.cover [/.Mix]
(n.= (@//mix n.+ parameter (injection subject))
(n.+ parameter subject)))))
|