blob: a2f7d77a773b21f6ba0f4731a5c158eb3b9f54c4 (
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
[monad {"+" [do]}]]
[control
["[0]" try {"+" [Try]}]
[concurrency
["[0]" async {"+" [Async]}]]]
[data
[text
["%" format]
[encoding
["[0]" utf8]]]
[collection
["[0]" set {"+" [Set]}]]]
[math
["[0]" random]]
[world
["[0]" file]]]]
[//
["$[0]" profile]]
[\\program
["[0]" /
["/[1]" // "_"
["[1]" profile {"+" [Profile]}]
["[1][0]" project]
["[1][0]" action]
["[1][0]" format]
[repository
[remote {"+" [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 (with@ //.#parents (list)) $profile.random)
.let [fs (: (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 profile //project.file)
actual (: (Async (Try Profile))
(/.read async.monad fs (list //.default)))]
(in (# //.equivalence =
(|> expected
(revised@ //.#sources ..with_default_source)
(revised@ //.#repositories ..with_default_repository))
actual)))]
(_.cover' [/.read]
(try.else false verdict)))))))
|
