blob: b05d0afcb670e4d252571e5aef9ff20842f5400a (
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
|
(.module:
[lux #*
["_" test (#+ Test)]
[abstract
[monad (#+ do)]]
[control
["." try (#+ Try) ("#@." functor)]
[concurrency
["." promise (#+ Promise)]]
[security
["!" capability]]]
[data
["." binary]
["." text ("#@." equivalence)
["%" format]
["." encoding]]]
[math
["." random (#+ Random)]]
[world
["." file (#+ File)]]]
[//
["@." profile]]
{#program
["." /
["/#" // #_
["#" profile (#+ Profile)]
["#." project]
["#." action]
["#." format]]]})
(def: #export test
Test
(<| (_.covering /._)
(do {! random.monad}
[expected (:: ! map (set@ #//.parents (list)) @profile.random)
#let [fs (: (file.System Promise)
(file.mock (:: file.default separator)))]]
(wrap (do promise.monad
[verdict (do //action.monad
[file (: (Promise (Try (File Promise)))
(file.get-file promise.monad fs //project.file))
_ (|> expected
//format.profile
%.code
encoding.to-utf8
(!.use (:: file over-write)))
actual (: (Promise (Try Profile))
(/.read promise.monad fs //.default))]
(wrap (:: //.equivalence = expected actual)))]
(_.claim [/.read]
(try.default false verdict)))))))
|
