blob: 675357e7e80929714cb4ab70e9350d9c5fb25625 (
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
|
(.module:
[library
[lux #*
["_" test (#+ Test)]
[abstract
[monad (#+ do)]]
[control
["." try (#+ Try)]
[concurrency
["." async (#+ Async)]]]
[data
[text
["%" format]
[encoding
["." utf8]]]
[collection
["." set (#+ Set)]]]
[math
["." random]]
[world
["." file]]]]
[//
["$." profile]]
[\\program
["." /
["/#" // #_
["#" profile (#+ Profile)]
["#." project]
["#." action]
["#." 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 (\ ! map (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
//format.profile
%.code
(\ utf8.codec encoded))]
_ (\ fs write profile //project.file)
actual (: (Async (Try Profile))
(/.read async.monad fs //.default))]
(in (\ //.equivalence =
(|> expected
(revised@ #//.sources ..with_default_source)
(revised@ #//.repositories ..with_default_repository))
actual)))]
(_.cover' [/.read]
(try.else false verdict)))))))
|
