aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/command/deps.lux
blob: 292185a280ec33d474906c35302982350e8d1e8a (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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
(.module:
  [lux #*
   ["_" test (#+ Test)]
   [abstract
    [monad (#+ do)]
    ["." predicate]]
   [control
    ["." try]
    [concurrency
     ["." promise]]
    [security
     ["!" capability]]
    [parser
     ["." environment]]]
   [data
    ["." text ("#\." equivalence)
     ["%" format (#+ format)]]
    [collection
     ["." dictionary]
     ["." set]]]
   [math
    ["." random (#+ Random)]]
   [world
    ["." program]
    ["." file]]]
  ["." // #_
   ["@." version]
   ["$/#" // #_
    ["#." package]
    ["#." artifact]
    ["#." dependency #_
     ["#/." resolution]]]]
  {#program
   ["." /
    ["/#" // #_
     ["#." clean]
     ["/#" // #_
      ["#" profile]
      ["#." action]
      ["#." pom]
      ["#." package]
      ["#." cache]
      ["#." repository]
      ["#." artifact
       ["#/." type]]
      ["#." dependency
       ["#/." resolution]]]]]})

(def: #export test
  Test
  (<| (_.covering /._)
      (do random.monad
        [home (random.ascii/alpha 5)
         working-directory (random.ascii/alpha 5)

         dependee-artifact $///artifact.random
         depender-artifact (random.filter (predicate.complement
                                           (\ ///artifact.equivalence = dependee-artifact))
                                          $///artifact.random)

         [_ dependee-package] $///package.random
         [_ depender-package] $///package.random

         #let [dependee {#///dependency.artifact dependee-artifact
                         #///dependency.type ///artifact/type.lux-library}
               depender {#///dependency.artifact depender-artifact
                         #///dependency.type ///artifact/type.lux-library}

               dependee-pom (|> (\ ///.monoid identity)
                                (set@ #///.identity (#.Some dependee-artifact))
                                ///pom.write
                                try.assume)
               depender-pom (|> (\ ///.monoid identity)
                                (set@ #///.identity (#.Some depender-artifact))
                                (set@ #///.dependencies (set.from-list ///dependency.hash (list dependee)))
                                ///pom.write
                                try.assume)
               
               dependee-package (|> dependee-package
                                    (set@ #///package.origin #///package.Remote)
                                    (set@ #///package.pom dependee-pom))
               depender-package (|> depender-package
                                    (set@ #///package.origin #///package.Remote)
                                    (set@ #///package.pom depender-pom))

               fs (file.mock (\ file.default separator))
               program (program.async (program.mock environment.empty home working-directory))]]
        (wrap (do promise.monad
                [verdict (do ///action.monad
                           [#let [console (@version.echo "")]
                            pre (|> ///dependency/resolution.empty
                                    (dictionary.put dependee dependee-package)
                                    (///cache.write-all program fs))
                            post (|> (\ ///.monoid identity)
                                     (set@ #///.dependencies (set.from-list ///dependency.hash (list dependee depender)))
                                     (/.do! program console fs (list (///repository.mock ($///dependency/resolution.single depender-artifact depender-package) []))))
                            logging! (\ ///action.monad map
                                        (text\= //clean.success)
                                        (!.use (\ console read-line) []))]
                           (wrap (and logging!
                                      (and (set.member? pre dependee-artifact)
                                           (not (set.member? pre depender-artifact)))
                                      (and (dictionary.key? post dependee)
                                           (dictionary.key? post depender)))))]
                (_.cover' [/.do!]
                          (try.default false verdict)))))))