aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/abstract.lux
blob: e0527238679ca669ea7d33de07365e3a36f4c42c (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
(.require
 [library
  [lux (.except)
   [test
    ["_" property (.only Test)]]]]
 ["[0]" /
  ["[1][0]" apply]
  ["[1][0]" codec]
  ["[1][0]" comonad (.only)
   ["[1]/[0]" free]]
  ["[1][0]" enum]
  ["[1][0]" equivalence]
  ["[1][0]" hash]
  ["[1][0]" mix]
  ["[1][0]" functor (.only)
   ["[1]/[0]" contravariant]]
  ["[1][0]" interval]
  ["[1][0]" monad]
  ["[1][0]" monoid]
  ["[1][0]" order]])

(def functor
  Test
  (all _.and
       /functor.test
       /functor/contravariant.test
       ))

(def comonad
  Test
  (all _.and
       /comonad.test
       /comonad/free.test
       ))

(def .public test
  Test
  (all _.and
       /apply.test
       /codec.test
       /enum.test
       /equivalence.test
       /hash.test
       /mix.test
       /interval.test
       /monoid.test
       /order.test
       ..functor
       /monad.test
       ..comonad
       ))