aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/abstract.lux
blob: cb41844ebe01b5adcf5333a8dc2cee0a0ddb0880 (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
(.module:
  [library
   [lux #*
    ["_" test (#+ Test)]]]
  ["." / #_
   ["#." apply]
   ["#." codec]
   ["#." comonad
    ["#/." cofree]]
   ["#." enum]
   ["#." equivalence]
   ["#." hash]
   ["#." fold]
   ["#." functor
    ["#/." contravariant]]
   ["#." interval]
   ["#." monad
    ["#/." free]]
   ["#." monoid]
   ["#." order]
   ["#." predicate]])

(def: functor
  Test
  ($_ _.and
      /functor.test
      /functor/contravariant.test
      ))

(def: monad
  Test
  ($_ _.and
      /monad.test
      /monad/free.test
      ))

(def: comonad
  Test
  ($_ _.and
      /comonad.test
      /comonad/cofree.test
      ))

(def: .public test
  Test
  ($_ _.and
      /apply.test
      /codec.test
      /enum.test
      /equivalence.test
      /hash.test
      /fold.test
      /interval.test
      /monoid.test
      /order.test
      /predicate.test
      ..functor
      ..monad
      ..comonad
      ))