blob: 87d9daa51d9774cb7ad58a04f77b34bdbeb7e94b (
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
|
(.using
[library
[lux "*"
["_" test (.only Test)]
[abstract
[monad (.only do)]]
[control
["[0]" try (.only Try)]
[concurrency
["[0]" async (.only Async)]]]
[data
[text
["%" format]
[encoding
["[0]" utf8]]]
[collection
["[0]" set (.only Set)]]]
[math
["[0]" random]]
[world
["[0]" file]]]]
[//
["$[0]" profile]]
[\\program
["[0]" /
["/[1]" // "_"
["[1]" profile (.only Profile)]
["[1][0]" project]
["[1][0]" action]
["[1][0]" format]
[repository
[remote (.only Address)]]]]])
(def: (with_default_source sources)
(-> (Set //.Source) (Set //.Source))
(if (set.empty? sources)
(set.has //.default_source sources)
sources))
(def: with_default_repository
(-> (Set Address) (Set Address))
(set.has //.default_repository))
(def: .public test
Test
(<| (_.covering /._)
(do [! random.monad]
[expected (# ! each (has //.#parents (list)) $profile.random)
.let [fs (is (file.System Async)
(file.mock (# file.default separator)))]]
(in (do async.monad
[verdict (do //action.monad
[.let [profile (|> expected
(//project.project //.default)
//format.project
%.code
(# utf8.codec encoded))]
_ (# fs write //project.file profile)
actual (is (Async (Try Profile))
(/.read async.monad fs (list //.default)))]
(in (# //.equivalence =
(|> expected
(revised //.#sources ..with_default_source)
(revised //.#repositories ..with_default_repository))
actual)))]
(_.coverage' [/.read]
(try.else false verdict)))))))
|
