aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/meta/compiler/meta/context.lux
blob: f310fc9d0ceb6253d13e482ba887ccb36416a5e6 (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
... This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
... If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/.

(.require
 [library
  [lux (.except)
   [abstract
    [monad (.only do)]]
   [data
    ["[0]" text]
    [collection
     ["[0]" set]
     ["[0]" list (.use "[1]#[0]" functor)]]]
   [math
    ["[0]" random (.only Random)]
    [number
     ["n" nat]]]
   [test
    ["_" property (.only Test)]]]]
 [\\library
  ["[0]" /]])

(def .public random
  (Random /.Context)
  (do [! random.monad]
    [context (all random.either
                  (in /.js)
                  (in /.jvm)
                  (in /.lua)
                  (in /.python)
                  (in /.ruby))]
    (of ! each context (random.lower_cased 1))))

(def .public test
  Test
  (<| (_.covering /._)
      (_.for [/.Context /.Extension])
      (do [! random.monad]
        [target (random.lower_cased 1)]
        (all _.and
             (_.coverage [/.js /.jvm /.lua /.python /.ruby]
               (let [contexts (list (/.js target)
                                    (/.jvm target)
                                    (/.lua target)
                                    (/.python target)
                                    (/.ruby target))
                     maximum (list.size contexts)]
                 (`` (and (,, (with_template [<amount> <slot>]
                                [(|> contexts
                                     (list#each (the <slot>))
                                     (set.of_list text.hash)
                                     set.size
                                     (n.= <amount>))]

                                [maximum /.#host]
                                [maximum /.#host_module_extension]
                                [maximum /.#artifact_extension]
                                [1 /.#target]
                                ))))))
             ))))