UNPKG

rttc

Version:

Runtime type-checking for JavaScript.

github.com/node-machine/rttc

node-machine/rttc

108 lines (79 loc) • 7.08 kB
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
// ██████╗ ████████╗████████╗ ██████╗ ███████╗██████╗ ███████╗ ██████╗ // ██╔══██╗╚══██╔══╝╚══██╔══╝██╔════╝ ██╔════╝██╔══██╗██╔════╝██╔════╝ ██╗██╗ // ██████╔╝ ██║ ██║ ██║ ███████╗██████╔╝█████╗ ██║ ╚═╝╚═╝ // ██╔══██╗ ██║ ██║ ██║ ╚════██║██╔═══╝ ██╔══╝ ██║ ██╗██╗ // ██║ ██║ ██║ ██║ ╚██████╗ ███████║██║ ███████╗╚██████╗ ╚═╝╚═╝ // ╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚══════╝╚═╝ ╚══════╝ ╚═════╝ // // ██╗███╗ ██╗████████╗███████╗██████╗ ███████╗███████╗ ██████╗████████╗██╗ ██████╗ ███╗ ██╗ // ██║████╗ ██║╚══██╔══╝██╔════╝██╔══██╗██╔════╝██╔════╝██╔════╝╚══██╔══╝██║██╔═══██╗████╗ ██║ // ██║██╔██╗ ██║ ██║ █████╗ ██████╔╝███████╗█████╗ ██║ ██║ ██║██║ ██║██╔██╗ ██║ // ██║██║╚██╗██║ ██║ ██╔══╝ ██╔══██╗╚════██║██╔══╝ ██║ ██║ ██║██║ ██║██║╚██╗██║ // ██║██║ ╚████║ ██║ ███████╗██║ ██║███████║███████╗╚██████╗ ██║ ██║╚██████╔╝██║ ╚████║ // ╚═╝╚═╝ ╚═══╝ ╚═╝ ╚══════╝╚═╝ ╚═╝╚══════╝╚══════╝ ╚═════╝ ╚═╝ ╚═╝ ╚═════╝ ╚═╝ ╚═══╝ // // > NOTE: // > All tests below assume `rttc.intersection()` is being called with // > exemplars (rather than type schemas), and with `strict` mode disabled. module.exports = [ //////////////////////////////////////////////////// // null ∩ ... // // > `null` is not actually a valid exemplar, // > rather it's a special value used for // > indicating that the set of values that // > validate against this is Ø (the empty set). //////////////////////////////////////////////////// { e0: null, e1: null, result: null }, { e0: null, e1: 'bar', result: null }, { e0: null, e1: 'foo', result: null }, { e0: null, e1: '', result: null }, { e0: null, e1: 0, result: null }, { e0: null, e1: 1, result: null }, { e0: null, e1: -1.1, result: null }, { e0: null, e1: true, result: null }, { e0: null, e1: false, result: null }, { e0: null, e1: '->', result: null }, { e0: null, e1: '*', result: null }, { e0: null, e1: '===', result: null }, { e0: null, e1: {}, result: null }, { e0: null, e1: [], result: null }, { e0: null, e1: {foo:'bar'}, result: null }, { e0: null, e1: {foo:{bar:{baz:{}}}}, result: null }, { e0: null, e1: {foo:['bar']}, result: null }, { e0: null, e1: {foo:{bar:{baz:[{}]}}}, result: null }, { e0: null, e1: ['asdf'], result: null }, { e0: null, e1: [''], result: null }, { e0: null, e1: [235], result: null }, { e0: null, e1: [false],   result: null }, { e0: null, e1: [{}], result: null }, { e0: null, e1: [{foo:'bar'}], result: null }, //////////////////////////////////////////// // "some string" ∩ ... //////////////////////////////////////////// { e0: 'foo', e1: 'bar', result: 'bar' }, { e0: 'bar', e1: 'foo', result: 'foo' }, { e0: 'foo', e1: '', result: '' }, { e0: 'foo', e1: 0, result: 0 }, { e0: 'foo', e1: 1, result: 1 }, { e0: 'foo', e1: -1.1, result: -1.1 }, { e0: 'foo', e1: true, result: true }, { e0: 'foo', e1: false, result: false }, { e0: 'foo', e1: '->', result: null }, { e0: 'foo', e1: '*', result: 'foo' }, { e0: 'foo', e1: '===', result: 'foo' }, { e0: 'foo', e1: {}, result: null }, { e0: 'foo', e1: [], result: null }, { e0: 'foo', e1: {foo:'bar'}, result: null }, { e0: 'foo', e1: {foo:{bar:{baz:{}}}}, result: null }, { e0: 'foo', e1: {foo:['bar']}, result: null }, { e0: 'foo', e1: {foo:{bar:{baz:[{}]}}}, result: null }, { e0: 'foo', e1: ['asdf'], result: null }, { e0: 'foo', e1: [''], result: null }, { e0: 'foo', e1: [235], result: null }, { e0: 'foo', e1: [false],   result: null }, { e0: 'foo', e1: [{}], result: null }, { e0: 'foo', e1: [{foo:'bar'}], result: null }, // Add more tests. // TODO ];