-
Notifications
You must be signed in to change notification settings - Fork 68
Expand file tree
/
Copy pathfor.spec.js
More file actions
126 lines (106 loc) · 3.19 KB
/
for.spec.js
File metadata and controls
126 lines (106 loc) · 3.19 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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
import test from 'ava';
import Core from '../lib/core';
const Patterns = Core.Patterns;
const SpecialForms = Core.SpecialForms;
const Tuple = Core.Tuple;
const BitString = Core.BitString;
const $ = Patterns.variable();
const collectable = {
into(original) {
const fun = Patterns.defmatch(
Patterns.clause(
[
$,
Patterns.type(Tuple, {
values: [Symbol.for('cont'), Patterns.variable()],
}),
],
(list, x) => list.concat([x]),
),
Patterns.clause([$, Symbol.for('done')], list => list),
);
return new Tuple([], fun);
},
};
test('simple for', async (t) => {
const gen = Patterns.list_generator($, [1, 2, 3, 4]);
const result = await SpecialForms._for(Patterns.clause([$], x => x * 2), [gen], collectable);
t.deepEqual(result, [2, 4, 6, 8]);
});
test('for with multiple generators', async (t) => {
// for x <- [1, 2], y <- [2, 3], do: x*y
const gen = Patterns.list_generator($, [1, 2]);
const gen2 = Patterns.list_generator($, [2, 3]);
const result = await SpecialForms._for(
Patterns.clause([$, $], (x, y) => x * y),
[gen, gen2],
collectable,
);
t.deepEqual(result, [2, 3, 4, 6]);
});
test('for with filter', async (t) => {
// for n <- [1, 2, 3, 4, 5, 6], rem(n, 2) == 0, do: n
const gen = Patterns.list_generator($, [1, 2, 3, 4, 5, 6]);
const result = await SpecialForms._for(
Patterns.clause([$], x => x, x => x % 2 === 0),
[gen],
collectable,
);
t.deepEqual(result, [2, 4, 6]);
});
test('for with pattern matching', async (t) => {
// for {:user, name} <- [user: "john", admin: "john", user: "meg"], do
// String.upcase(name)
// end
const gen = Patterns.list_generator(
[Symbol.for('user'), $],
[[Symbol.for('user'), 'john'], [Symbol.for('admin'), 'john'], [Symbol.for('user'), 'meg']],
);
const result = await SpecialForms._for(
Patterns.clause([[Symbol.for('user'), $]], name => name.toUpperCase()),
[gen],
collectable,
);
t.deepEqual(result, ['JOHN', 'MEG']);
});
test('for with bitstring', async (t) => {
// for <<r::8, g::8, b::8 <- <<213, 45, 132, 64, 76, 32, 76, 0, 0, 234, 32, 15>> >>, do: {r, g, b}
const gen = Patterns.bitstring_generator(
Patterns.bitStringMatch(
BitString.integer({ value: $ }),
BitString.integer({ value: $ }),
BitString.integer({ value: $ }),
),
new BitString(
BitString.integer(213),
BitString.integer(45),
BitString.integer(132),
BitString.integer(64),
BitString.integer(76),
BitString.integer(32),
BitString.integer(76),
BitString.integer(0),
BitString.integer(0),
BitString.integer(234),
BitString.integer(32),
BitString.integer(15),
),
);
const expression = Patterns.clause(
[
Patterns.bitStringMatch(
BitString.integer({ value: $ }),
BitString.integer({ value: $ }),
BitString.integer({ value: $ }),
),
],
(r, g, b) => new Tuple(r, g, b),
);
const result = await SpecialForms._for(expression, [gen], collectable);
t.deepEqual(result, [
new Tuple(213, 45, 132),
new Tuple(64, 76, 32),
new Tuple(76, 0, 0),
new Tuple(234, 32, 15),
]);
});