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
|
import { pipe } from 'fp-ts/function'
import {takeLeftWhile} from 'fp-ts/lib/Array'
import { Expr, ListExpr } from '../types'
import { match } from '../utils'
export const find = <T>([startO, exprs, endO]: ListExpr, list: T[]): any => {
const check =
(expr: Expr) =>
<T>(x: T, i: number, ls: T[]): boolean => {
return pipe(
expr,
match<boolean, Expr>({
AnyItem: _ => true,
AnyNumber: _ => typeof x === 'number',
AnyString: _ => typeof x === 'string',
AnyBool: _ => typeof x === 'boolean',
Truthy: _ => !!x,
Falsey: _ => !x,
Group: ({ exprs }) => exprs.every(e => check(e)(x, i, ls)),
PropertyMatch: ({ name, exprs }) =>
name in x && exprs.every(e => check(e)(x[name], i, ls)),
OneOrMore: ({ expr }) => {
// TODO: Nested quantified expression
const x = pipe(
list.slice(i),
takeLeftWhile(x => check(expr)(x, i, list)),
)
console.log(x)
return true
},
_: _ => false,
}),
)
}
const cs = exprs.map(check)
return list.filter((x, i, ls) => cs.every(c => c(x, i, ls)))
}
|
