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
|
import {Option} from "fp-ts/lib/Option"
import { constructors, Union } from "./utils"
type _ = never
export type Literal = Union<{
String: string,
Number: number,
Boolean: boolean,
}>
export const Literal = constructors<Literal>()
export type Expr = Union<{
Start: _,
End: _,
Optional: { expr: Expr },
OneOrMore: { expr: Expr },
ZeroOrMore: { expr: Expr },
NextItem: _,
AnyItem: _,
Or: { exprs: Expr[] },
AnyString: _,
AnyNumber: _,
AnyBool: _,
Truthy: _,
Falsey: _,
Group: { exprs: Expr[] },
PropertyMatch: { name: string, expr: Expr },
Literal: Literal,
}>
export const Expr = constructors<Expr>()
export type ListExpr = [
Option<Expr>,
Expr,
Option<Expr>,
]
|
