blob: a29358b6b5bc8b3f6d5258c80c81f5e015e5a735 (
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
66
67
68
69
|
(.module:
[lux #*
["_" test (#+ Test)]]
["." / #_
["#." bit]
["#." color]
["#." error]
["#." identity]
["#." lazy]
["#." maybe]
["#." name]
["#." product]
["#." sum]
[number
["#." i64]
["#." nat]
["#." int]
["#." rev]
["#." frac]
["#." ratio]
["#." complex]]
["#." text
["#/." regex]]
[format
["#." json]
["#." xml]]
["#." collection]])
(def: number
Test
($_ _.and
/i64.test
/nat.test
/int.test
/rev.test
/frac.test
/ratio.test
/complex.test
))
(def: text
($_ _.and
/text.test
/text/regex.test
))
(def: format
($_ _.and
/json.test
/xml.test
))
(def: #export test
Test
($_ _.and
/bit.test
/color.test
/error.test
/identity.test
/lazy.test
/maybe.test
/name.test
/product.test
/sum.test
..number
..text
..format
/collection.test
))
|