aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/extension.lux
blob: bf2127d23f86a5f5086f5d97efd919380671fd93 (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
(.require
 [library
  [lux (.except)
   ["_" test (.only Test)]
   [abstract
    [monad (.only do)]]
   [data
    ["[0]" text (.use "[1]#[0]" equivalence)]
    [collection
     ["[0]" set]
     ["[0]" list]]]
   [math
    ["[0]" random (.only Random)]
    [number
     ["n" nat]]]]]
 [\\program
  ["[0]" / (.only)
   ["/[1]" //
    ["[1]" type]]]])

(def .public test
  Test
  (<| (_.covering /._)
      (_.for [/.Extension]
             (all _.and
                  (_.coverage [/.lux_library /.jvm_library /.pom
                               /.sha-1 /.md5]
                    (let [options (list /.lux_library /.jvm_library /.pom /.sha-1 /.md5)
                          uniques (set.of_list text.hash options)]
                      (n.= (list.size options)
                           (set.size uniques))))
                  (_.coverage [/.extension /.type]
                    (`` (and (~~ (with_template [<type> <extension>]
                                   [(and (text#= <extension>
                                                 (/.extension <type>))
                                         (text#= <type>
                                                 (/.type (/.extension <type>))))]

                                   [//.lux_library /.lux_library]
                                   [//.jvm_library /.jvm_library]
                                   [//.pom /.pom]
                                   )))))
                  ))))