blob: 0e90e68dc02b7d8d3401782a8b686efb5d43cbd0 (
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)))))))
|
