aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/package.lux
blob: 069bdb83cef388cb35fd3b5fa4e41d416f9ca533 (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
(.module:
  [library
   [lux {"-" [local]}
    [abstract
     [equivalence {"+" [Equivalence]}]]
    [control
     ["." try {"+" [Try]} ("#\." functor)]
     [parser
      ["<.>" xml]]]
    [data
     ["." sum]
     ["." product]
     ["." binary {"+" [Binary]}]
     [text
      [encoding
       ["." utf8]]]
     [format
      ["." xml {"+" [XML]}]]
     [collection
      [set {"+" [Set]}]]]]]
  ["." // "_"
   ["/" profile]
   ["#." hash]
   ["#." pom]
   [dependency {"+" [Dependency]}
    ["#." status {"+" [Status]}]]
   [repository
    [remote {"+" [Address]}]
    ["#." origin {"+" [Origin]}]]])

(type: .public Package
  (Record
   [#origin Origin
    #library [Binary Status]
    #pom [XML Binary Status]]))

(template [<name> <tag>]
  [(def: .public (<name> package)
     (-> Package Bit)
     (case (value@ #origin package)
       (<tag> _)
       true
       
       _
       false))]

  [local? #//origin.Local]
  [remote? #//origin.Remote]
  )

(def: .public (local pom library)
  (-> XML Binary Package)
  [#origin (#//origin.Local "")
   #library [library
             (#//status.Verified (//hash.sha-1 library)
                                 (//hash.md5 library))]
   #pom (let [binary_pom (|> pom (\ xml.codec encoded) (\ utf8.codec encoded))]
          [pom
           binary_pom
           (#//status.Verified (//hash.sha-1 binary_pom)
                               (//hash.md5 binary_pom))])])

(def: .public dependencies
  (-> Package (Try (Set Dependency)))
  (|>> (value@ #pom)
       product.left
       list
       (<xml>.result //pom.parser)
       (try\each (value@ #/.dependencies))))

(def: .public repositories
  (-> Package (Try (Set Address)))
  (|>> (value@ #pom)
       product.left
       list
       (<xml>.result //pom.parser)
       (try\each (value@ #/.repositories))))

(def: .public equivalence
  (Equivalence Package)
  ($_ product.equivalence
      //origin.equivalence
      ($_ product.equivalence
          binary.equivalence
          //status.equivalence)
      ($_ product.equivalence
          xml.equivalence
          binary.equivalence
          //status.equivalence)
      ))