aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/pom.lux
blob: c87ff05907b6752856848dfc485fb48ca0b55773 (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
(.module:
  [lux #*
   ["_" test (#+ Test)]
   [abstract
    [monad (#+ do)]]
   [control
    ["." try]
    ["." exception]
    ["<>" parser
     ["<.>" xml]]]
   [data
    [format
     ["." xml]]]
   [math
    ["." random]]]
  [//
   ["@." profile]]
  {#program
   ["." /
    ["/#" // #_
     ["#" profile]]]})

(def: #export test
  Test
  (<| (_.covering /._)
      (do random.monad
        [expected @profile.random]
        (_.cover [/.write /.parser]
                 (case [(/.write expected)
                        (get@ #//.identity expected)]
                   [(#try.Success pom)
                    (#.Some _)]
                   (case (<xml>.run /.parser pom)
                     (#try.Success actual)
                     (\ //.equivalence =
                        (|> (\ //.monoid identity)
                            (set@ #//.dependencies (get@ #//.dependencies expected)))
                        actual)

                     (#try.Failure error)
                     false)

                   [(#try.Failure error)
                    #.None]
                   (exception.match? //.no_identity error)

                   _
                   false)))))