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
|
import { left, right } from 'fp-ts/Either'
import { none, some } from 'fp-ts/Option'
import { Expr, ListExpr } from '../src/types'
import { jlog } from '../src/utils'
import { find, matchAll } from '../src/eval'
describe('Eval', () => {
it('should do stuff', () => {
const ls = [-1, 1, 2, '3', 4, '5', 6, 7, '']
const liexp: ListExpr = [
none,
[
Expr.OneOrMore({
expr: Expr.Group({
exprs: [Expr.AnyNumber(), Expr.Truthy()],
}),
}),
],
none,
]
//jlog(matchAll(liexp, ls))
})
it('basic evaluation', () => {
const list = [0, 1, '2', 3, [4], 5]
const liexp: ListExpr = [
none,
[Expr.AnyNumber(), Expr.Truthy()],
none,
]
expect(find(liexp, list)).toEqual([1, 3, 5])
const liexp2: ListExpr = [
none,
[Expr.Falsey(), Expr.Truthy()],
none,
]
expect(find(liexp2, list)).toEqual([])
})
it('with groups', () => {
const list = [0, 1, '2', 3, [4], 5]
const liexp: ListExpr = [
none,
[
Expr.AnyItem(),
Expr.Group({ exprs: [Expr.AnyNumber(), Expr.Truthy()] }),
],
none,
]
expect(find(liexp, list)).toEqual([1, 3, 5])
})
it('object property', () => {
const list = [
{ name: 20, age: 'hello' },
{ name: 'gello', age: 20 },
{ name: '', age: 20 },
{ name: 'Wow' },
{ age: 20 },
]
const liexp: ListExpr = [
none,
[
Expr.PropertyMatch({
name: 'name',
exprs: [Expr.AnyString(), Expr.Truthy()],
}),
Expr.PropertyMatch({ name: 'age', exprs: [Expr.AnyNumber()] }),
],
none,
]
expect(find(liexp, list)).toEqual([{ name: 'gello', age: 20 }])
})
xit('with groups', () => {
const list = [0, 1, 1, 1, '2', 3, 4, [4], 5, '']
const liexp: ListExpr = [
none,
[Expr.OneOrMore({ expr: Expr.AnyNumber() })],
none,
]
expect(find(liexp, list)).toEqual([1, 3, 5])
})
})
|
