aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/input.lux
blob: 01db3538cd69845004f5bad12f18584b594d5b71 (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 {"+" 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)))))))