aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact.lux
blob: 84e7839f83320d22d7cb14c3b64e3f7478a07c9a (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
(.module:
  [lux (#- Name)
   [abstract
    [equivalence (#+ Equivalence)]
    ["." hash (#+ Hash)]]
   [data
    ["." text
     ["%" format (#+ Format)]]
    [collection
     ["." list ("#@." monoid)]]]
   [world
    ["." file (#+ Path)]
    [net
     ["." uri (#+ URI)]]]])

(type: #export Group
  Text)

(type: #export Name
  Text)

(type: #export Version
  Text)

(type: #export Artifact
  {#group Group
   #name Name
   #version Version})

(def: #export hash
  (Hash Artifact)
  ($_ hash.product
      text.hash
      text.hash
      text.hash
      ))

(def: #export equivalence
  (Equivalence Artifact)
  (:: ..hash &equivalence))

(template [<separator> <definition>]
  [(def: <definition>
     Text
     <separator>)]

  ["." group-separator]
  ["-" version-separator]
  [":" identity-separator]
  )

(def: #export (identity artifact)
  (-> Artifact Text)
  (%.format (get@ #name artifact)
            ..version-separator
            (get@ #version artifact)))

(def: #export (format value)
  (Format Artifact)
  (%.format (get@ #group value)
            ..identity-separator
            (..identity value)))

(def: (address separator artifact)
  (-> Text Artifact Text)
  (let [directory (%.format (|> artifact
                                (get@ #group)
                                (text.split-all-with ..group-separator)
                                (text.join-with separator))
                            separator
                            (get@ #name artifact)
                            separator
                            (get@ #version artifact))]
    (%.format directory
              separator
              (..identity artifact))))

(def: #export uri
  (-> Artifact URI)
  (..address uri.separator))

(def: #export (path system)
  (All [!] (-> (file.System !) Artifact Path))
  (..address (:: system separator)))

(def: #export (local artifact)
  (-> Artifact (List Text))
  (list@compose (|> artifact
                    (get@ #group)
                    (text.split-all-with ..group-separator))
                (list (get@ #name artifact)
                      (get@ #version artifact))))