monogram/src/shape-calc.ts at master · johnsoncodehk/monogram · GitHub

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
/** calc grammar — declarative AST shape (full coverage, unmapped:error). */
import type { ShapeSpec } from './shape-schema.ts';

export const calcShape: ShapeSpec = {
  grammar: 'calc',
  spans: 'optional',
  unmapped: 'error',
  leaves: {
    $punct: { action: 'drop' },
    $keyword: { action: 'drop' },
    Number: { action: 'leafValue', fn: 'number' },
    Ident: { action: 'leafValue', fn: 'ident' },
  },
  rules: {
    Expr: {
      kind: 'pratt',
      atom: { kind: 'keep' },
      group: { kind: 'inline' },
      prefix: {
        kind: 'node',
        type: 'UnaryExpression',
        fields: [
          { name: 'operator', bind: 'opText', typeHint: 'string' },
          { name: 'argument', bind: { at: 0 }, typeHint: 'Expression' },
        ],
      },
      binary: {
        kind: 'node',
        type: 'BinaryExpression',
        fields: [
          { name: 'left', bind: { at: 0 }, typeHint: 'Expression' },
          { name: 'operator', bind: 'opText', typeHint: 'string' },
          { name: 'right', bind: { at: 1 }, typeHint: 'Expression' },
        ],
      },
    },
    Stmt: {
      kind: 'choice',
      arms: [
        {
          name: 'LetStatement',
          altIndices: [0],
          shape: {
            kind: 'node',
            type: 'LetStatement',
            fields: [
              { name: 'id', bind: { at: 0 }, typeHint: 'Identifier' },
              { name: 'init', bind: { at: 1 }, typeHint: 'Expression' },
            ],
          },
        },
        {
          name: 'ExpressionStatement',
          altIndices: [1],
          shape: {
            kind: 'node',
            type: 'ExpressionStatement',
            fields: [
              { name: 'expression', bind: { at: 0 }, typeHint: 'Expression' },
            ],
          },
        },
      ],
    },
    Program: {
      kind: 'node',
      type: 'Program',
      fields: [
        { name: 'body', bind: { from: 'list', of: 0 }, typeHint: 'Statement' },
      ],
    },
  },
};