aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
blob: 5fcef9a0c06887bbd89e69851b3bb5fb3453ad0e (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
(.using
 [library
  [lux (.except)
   ["_" test (.only Test)]
   [abstract
    [monad (.only do)]
    [\\specification
     ["$[0]" equivalence]]]
   [control
    ["[0]" try (.open: "[1]#[0]" functor)]]
   [data
    ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" \\format (.only format)]
     ["<[1]>" \\parser]]]
   [math
    ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
    [number
     ["n" nat]
     ["i" int]]]
   [time
    ["[0]" instant]]]]
 ["$[0]" ///
  ["[1][0]" stamp]]
 [\\program
  ["[0]" / (.only)
   ["//[1]" /// (.only)
    ["[1][0]" stamp]
    ["[1][0]" time]]]])

(def: .public random
  (Random /.Value)
  (all random.and
       (random.alphabetic 5)
       (random.or (random#in [])
                  $///stamp.random)
       ))

(def: .public test
  Test
  (<| (_.covering /._)
      (_.for [/.Value])
      (all _.and
           (_.for [/.equivalence]
                  ($equivalence.spec /.equivalence ..random))

           (do random.monad
             [sample random
              stamp $///stamp.random]
             (let [version (the /.#version sample)

                   local!
                   (text#= version
                           (/.format (has /.#snapshot {///.#Local} sample)))

                   remote_format (/.format [/.#version (format version /.snapshot)
                                            /.#snapshot {///.#Remote stamp}])
                   remote!
                   (and (text.starts_with? (format version (///time.format (the ///stamp.#time stamp)))
                                           remote_format)
                        (text.ends_with? (%.nat (the ///stamp.#build stamp))
                                         remote_format))]
               (_.coverage [/.snapshot /.format]
                 (and local!
                      remote!))))
           )))