fhirpath-ts 0.1.0 → 0.2.0

package/dist/parser/precedence.d.ts

@@ -1,7 +1,6 @@
 /**
- * Binding powers derived from the spec's 13-level operator precedence table
- * (https://hl7.org/fhirpath/#operator-precedence). Higher binds tighter; the
- * spec numbers levels the other way around (1 = `.`, 13 = `implies`).
+ * Binding powers derived from the spec's 13-level operator precedence table.
+ * Higher binds tighter; the spec numbers levels in the opposite direction.
  */
 export declare const BindingPower: {
     readonly Implies: 1;
@@ -19,6 +18,371 @@ export declare const BindingPower: {
     readonly Dot: 13;
     readonly FunctionCall: 14;
 };
-/** Binding power for every infix (and postfix) construct, keyed by token text. */
+export type InfixParseletRecord = {
+    tokenKind: 'operator' | 'keyword';
+    fixity: 'infix';
+    bindingPower: number;
+    associativity: 'left';
+    rhs: 'expression';
+    reducer: 'binary';
+} | {
+    tokenKind: 'keyword';
+    fixity: 'infix';
+    bindingPower: number;
+    associativity: 'left';
+    rhs: 'type-name';
+    reducer: 'type';
+} | {
+    tokenKind: 'punct';
+    fixity: 'infix';
+    bindingPower: number;
+    associativity: 'left';
+    rhs: 'path';
+    reducer: 'dot';
+} | {
+    tokenKind: 'punct';
+    fixity: 'postfix';
+    bindingPower: number;
+    associativity: 'left';
+    rhs: 'index';
+    reducer: 'indexer';
+} | {
+    tokenKind: 'punct';
+    fixity: 'postfix';
+    bindingPower: number;
+    associativity: 'left';
+    rhs: 'arguments';
+    reducer: 'call';
+};
+export type PrefixParseletRecord = {
+    tokenKind: 'identifier' | 'variable';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'none';
+    rhs: 'none';
+    reducer: 'identifier';
+} | {
+    tokenKind: 'literal';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'none';
+    rhs: 'none';
+    reducer: 'literal';
+} | {
+    tokenKind: 'operator';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'right';
+    rhs: 'expression';
+    reducer: 'unary';
+} | {
+    tokenKind: 'punct';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'none';
+    rhs: 'group';
+    reducer: 'group';
+} | {
+    tokenKind: 'punct';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'none';
+    rhs: 'none';
+    reducer: 'empty';
+} | {
+    tokenKind: 'punct';
+    fixity: 'prefix';
+    bindingPower: number;
+    associativity: 'none';
+    rhs: 'external-name';
+    reducer: 'external';
+};
+/** Single source of truth for tokens and token kinds accepted before an operand. */
+export declare const PREFIX_PARSELETS: {
+    readonly identifier: {
+        readonly tokenKind: "identifier";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "none";
+        readonly reducer: "identifier";
+    };
+    readonly literal: {
+        readonly tokenKind: "literal";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "none";
+        readonly reducer: "literal";
+    };
+    readonly variable: {
+        readonly tokenKind: "variable";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "none";
+        readonly reducer: "identifier";
+    };
+    readonly '+': {
+        readonly tokenKind: "operator";
+        readonly fixity: "prefix";
+        readonly bindingPower: 11;
+        readonly associativity: "right";
+        readonly rhs: "expression";
+        readonly reducer: "unary";
+    };
+    readonly '-': {
+        readonly tokenKind: "operator";
+        readonly fixity: "prefix";
+        readonly bindingPower: 11;
+        readonly associativity: "right";
+        readonly rhs: "expression";
+        readonly reducer: "unary";
+    };
+    readonly '(': {
+        readonly tokenKind: "punct";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "group";
+        readonly reducer: "group";
+    };
+    readonly '{': {
+        readonly tokenKind: "punct";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "none";
+        readonly reducer: "empty";
+    };
+    readonly '%': {
+        readonly tokenKind: "punct";
+        readonly fixity: "prefix";
+        readonly bindingPower: 0;
+        readonly associativity: "none";
+        readonly rhs: "external-name";
+        readonly reducer: "external";
+    };
+};
+/** Single source of truth for every token accepted after an operand. */
+export declare const INFIX_PARSELETS: {
+    readonly implies: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly or: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly xor: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly and: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly in: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly contains: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '=': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '~': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '!=': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '!~': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '<': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '>': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '<=': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '>=': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '|': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly is: {
+        readonly tokenKind: "keyword";
+        readonly fixity: "infix";
+        readonly bindingPower: 8;
+        readonly associativity: "left";
+        readonly rhs: "type-name";
+        readonly reducer: "type";
+    };
+    readonly as: {
+        readonly tokenKind: "keyword";
+        readonly fixity: "infix";
+        readonly bindingPower: 8;
+        readonly associativity: "left";
+        readonly rhs: "type-name";
+        readonly reducer: "type";
+    };
+    readonly '+': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '-': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '&': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '*': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '/': {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly div: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly mod: {
+        tokenKind: "operator" | "keyword";
+        fixity: "infix";
+        bindingPower: number;
+        associativity: "left";
+        rhs: "expression";
+        reducer: "binary";
+    };
+    readonly '[': {
+        readonly tokenKind: "punct";
+        readonly fixity: "postfix";
+        readonly bindingPower: 12;
+        readonly associativity: "left";
+        readonly rhs: "index";
+        readonly reducer: "indexer";
+    };
+    readonly '.': {
+        readonly tokenKind: "punct";
+        readonly fixity: "infix";
+        readonly bindingPower: 13;
+        readonly associativity: "left";
+        readonly rhs: "path";
+        readonly reducer: "dot";
+    };
+    readonly '(': {
+        readonly tokenKind: "punct";
+        readonly fixity: "postfix";
+        readonly bindingPower: 14;
+        readonly associativity: "left";
+        readonly rhs: "arguments";
+        readonly reducer: "call";
+    };
+};
+/** Compatibility view used by callers that only need precedence. */
 export declare const INFIX_BINDING_POWER: Readonly<Record<string, number>>;
 //# sourceMappingURL=precedence.d.ts.map

package/dist/parser/precedence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"precedence.d.ts","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;CAef,CAAA;AAEV,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA4BhE,CAAA"}
+{"version":3,"file":"precedence.d.ts","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;CAef,CAAA;AAEV,MAAM,MAAM,mBAAmB,GAC3B;IACE,SAAS,EAAE,UAAU,GAAG,SAAS,CAAA;IACjC,MAAM,EAAE,OAAO,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,YAAY,CAAA;IACjB,OAAO,EAAE,QAAQ,CAAA;CAClB,GACD;IACE,SAAS,EAAE,SAAS,CAAA;IACpB,MAAM,EAAE,OAAO,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,WAAW,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;CAChB,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,OAAO,CAAA;IACf,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,KAAK,CAAA;CACf,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,SAAS,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,OAAO,CAAA;IACZ,OAAO,EAAE,SAAS,CAAA;CACnB,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,SAAS,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,WAAW,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAEL,MAAM,MAAM,oBAAoB,GAC5B;IACE,SAAS,EAAE,YAAY,GAAG,UAAU,CAAA;IACpC,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,YAAY,CAAA;CACtB,GACD;IACE,SAAS,EAAE,SAAS,CAAA;IACpB,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,SAAS,CAAA;CACnB,GACD;IACE,SAAS,EAAE,UAAU,CAAA;IACrB,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,OAAO,CAAA;IACtB,GAAG,EAAE,YAAY,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;CACjB,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,OAAO,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;CACjB,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,OAAO,CAAA;CACjB,GACD;IACE,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,EAAE,QAAQ,CAAA;IAChB,YAAY,EAAE,MAAM,CAAA;IACpB,aAAa,EAAE,MAAM,CAAA;IACrB,GAAG,EAAE,eAAe,CAAA;IACpB,OAAO,EAAE,UAAU,CAAA;CACpB,CAAA;AAEL,oFAAoF;AACpF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiE4B,CAAA;AAczD,wEAAwE;AACxE,eAAO,MAAM,eAAe;;mBA3KX,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;;;;;;;;;;;;;;;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;mBALN,UAAU,GAAG,SAAS;gBACzB,OAAO;sBACD,MAAM;uBACL,MAAM;aAChB,YAAY;iBACR,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;CAqOiC,CAAA;AAExD,oEAAoE;AACpE,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAEhE,CAAA"}

package/dist/parser/precedence.js

@@ -1,7 +1,6 @@
 /**
- * Binding powers derived from the spec's 13-level operator precedence table
- * (https://hl7.org/fhirpath/#operator-precedence). Higher binds tighter; the
- * spec numbers levels the other way around (1 = `.`, 13 = `implies`).
+ * Binding powers derived from the spec's 13-level operator precedence table.
+ * Higher binds tighter; the spec numbers levels in the opposite direction.
  */
 export const BindingPower = {
     Implies: 1,
@@ -19,34 +18,149 @@ export const BindingPower = {
     Dot: 13,
     FunctionCall: 14,
 };
-/** Binding power for every infix (and postfix) construct, keyed by token text. */
-export const INFIX_BINDING_POWER = {
-    implies: BindingPower.Implies,
-    or: BindingPower.OrXor,
-    xor: BindingPower.OrXor,
-    and: BindingPower.And,
-    in: BindingPower.Membership,
-    contains: BindingPower.Membership,
-    '=': BindingPower.Equality,
-    '~': BindingPower.Equality,
-    '!=': BindingPower.Equality,
-    '!~': BindingPower.Equality,
-    '<': BindingPower.Comparison,
-    '>': BindingPower.Comparison,
-    '<=': BindingPower.Comparison,
-    '>=': BindingPower.Comparison,
-    '|': BindingPower.Union,
-    is: BindingPower.TypeOps,
-    as: BindingPower.TypeOps,
-    '+': BindingPower.Additive,
-    '-': BindingPower.Additive,
-    '&': BindingPower.Additive,
-    '*': BindingPower.Multiplicative,
-    '/': BindingPower.Multiplicative,
-    div: BindingPower.Multiplicative,
-    mod: BindingPower.Multiplicative,
-    '[': BindingPower.Indexer,
-    '.': BindingPower.Dot,
-    '(': BindingPower.FunctionCall,
+/** Single source of truth for tokens and token kinds accepted before an operand. */
+export const PREFIX_PARSELETS = {
+    identifier: {
+        tokenKind: 'identifier',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'none',
+        reducer: 'identifier',
+    },
+    literal: {
+        tokenKind: 'literal',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'none',
+        reducer: 'literal',
+    },
+    variable: {
+        tokenKind: 'variable',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'none',
+        reducer: 'identifier',
+    },
+    '+': {
+        tokenKind: 'operator',
+        fixity: 'prefix',
+        bindingPower: BindingPower.Unary,
+        associativity: 'right',
+        rhs: 'expression',
+        reducer: 'unary',
+    },
+    '-': {
+        tokenKind: 'operator',
+        fixity: 'prefix',
+        bindingPower: BindingPower.Unary,
+        associativity: 'right',
+        rhs: 'expression',
+        reducer: 'unary',
+    },
+    '(': {
+        tokenKind: 'punct',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'group',
+        reducer: 'group',
+    },
+    '{': {
+        tokenKind: 'punct',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'none',
+        reducer: 'empty',
+    },
+    '%': {
+        tokenKind: 'punct',
+        fixity: 'prefix',
+        bindingPower: 0,
+        associativity: 'none',
+        rhs: 'external-name',
+        reducer: 'external',
+    },
 };
+const binary = (tokenKind, bindingPower) => ({
+    tokenKind,
+    fixity: 'infix',
+    bindingPower,
+    associativity: 'left',
+    rhs: 'expression',
+    reducer: 'binary',
+});
+/** Single source of truth for every token accepted after an operand. */
+export const INFIX_PARSELETS = {
+    implies: binary('keyword', BindingPower.Implies),
+    or: binary('keyword', BindingPower.OrXor),
+    xor: binary('keyword', BindingPower.OrXor),
+    and: binary('keyword', BindingPower.And),
+    in: binary('keyword', BindingPower.Membership),
+    contains: binary('keyword', BindingPower.Membership),
+    '=': binary('operator', BindingPower.Equality),
+    '~': binary('operator', BindingPower.Equality),
+    '!=': binary('operator', BindingPower.Equality),
+    '!~': binary('operator', BindingPower.Equality),
+    '<': binary('operator', BindingPower.Comparison),
+    '>': binary('operator', BindingPower.Comparison),
+    '<=': binary('operator', BindingPower.Comparison),
+    '>=': binary('operator', BindingPower.Comparison),
+    '|': binary('operator', BindingPower.Union),
+    is: {
+        tokenKind: 'keyword',
+        fixity: 'infix',
+        bindingPower: BindingPower.TypeOps,
+        associativity: 'left',
+        rhs: 'type-name',
+        reducer: 'type',
+    },
+    as: {
+        tokenKind: 'keyword',
+        fixity: 'infix',
+        bindingPower: BindingPower.TypeOps,
+        associativity: 'left',
+        rhs: 'type-name',
+        reducer: 'type',
+    },
+    '+': binary('operator', BindingPower.Additive),
+    '-': binary('operator', BindingPower.Additive),
+    '&': binary('operator', BindingPower.Additive),
+    '*': binary('operator', BindingPower.Multiplicative),
+    '/': binary('operator', BindingPower.Multiplicative),
+    div: binary('keyword', BindingPower.Multiplicative),
+    mod: binary('keyword', BindingPower.Multiplicative),
+    '[': {
+        tokenKind: 'punct',
+        fixity: 'postfix',
+        bindingPower: BindingPower.Indexer,
+        associativity: 'left',
+        rhs: 'index',
+        reducer: 'indexer',
+    },
+    '.': {
+        tokenKind: 'punct',
+        fixity: 'infix',
+        bindingPower: BindingPower.Dot,
+        associativity: 'left',
+        rhs: 'path',
+        reducer: 'dot',
+    },
+    '(': {
+        tokenKind: 'punct',
+        fixity: 'postfix',
+        bindingPower: BindingPower.FunctionCall,
+        associativity: 'left',
+        rhs: 'arguments',
+        reducer: 'call',
+    },
+};
+/** Compatibility view used by callers that only need precedence. */
+export const INFIX_BINDING_POWER = Object.fromEntries(Object.entries(INFIX_PARSELETS).map(([token, record]) => [token, record.bindingPower]));
+/** Compile-time coverage: every binary AST operator has a binary parselet. */
+const _binaryOperatorCoverage = INFIX_PARSELETS;
+void _binaryOperatorCoverage;
 //# sourceMappingURL=precedence.js.map

package/dist/parser/precedence.js.map

@@ -1 +1 @@
-{"version":3,"file":"precedence.js","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,UAAU,EAAE,CAAC;IACb,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,cAAc,EAAE,EAAE;IAClB,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,EAAE;IACX,GAAG,EAAE,EAAE;IACP,YAAY,EAAE,EAAE;CACR,CAAA;AAEV,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAqC;IACnE,OAAO,EAAE,YAAY,CAAC,OAAO;IAC7B,EAAE,EAAE,YAAY,CAAC,KAAK;IACtB,GAAG,EAAE,YAAY,CAAC,KAAK;IACvB,GAAG,EAAE,YAAY,CAAC,GAAG;IACrB,EAAE,EAAE,YAAY,CAAC,UAAU;IAC3B,QAAQ,EAAE,YAAY,CAAC,UAAU;IACjC,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,IAAI,EAAE,YAAY,CAAC,QAAQ;IAC3B,IAAI,EAAE,YAAY,CAAC,QAAQ;IAC3B,GAAG,EAAE,YAAY,CAAC,UAAU;IAC5B,GAAG,EAAE,YAAY,CAAC,UAAU;IAC5B,IAAI,EAAE,YAAY,CAAC,UAAU;IAC7B,IAAI,EAAE,YAAY,CAAC,UAAU;IAC7B,GAAG,EAAE,YAAY,CAAC,KAAK;IACvB,EAAE,EAAE,YAAY,CAAC,OAAO;IACxB,EAAE,EAAE,YAAY,CAAC,OAAO;IACxB,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,OAAO;IACzB,GAAG,EAAE,YAAY,CAAC,GAAG;IACrB,GAAG,EAAE,YAAY,CAAC,YAAY;CAC/B,CAAA"}
+{"version":3,"file":"precedence.js","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,UAAU,EAAE,CAAC;IACb,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,cAAc,EAAE,EAAE;IAClB,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,EAAE;IACX,GAAG,EAAE,EAAE;IACP,YAAY,EAAE,EAAE;CACR,CAAA;AA8FV,oFAAoF;AACpF,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,UAAU,EAAE;QACV,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,YAAY;KACtB;IACD,OAAO,EAAE;QACP,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,SAAS;KACnB;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,YAAY;KACtB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,YAAY,CAAC,KAAK;QAChC,aAAa,EAAE,OAAO;QACtB,GAAG,EAAE,YAAY;QACjB,OAAO,EAAE,OAAO;KACjB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,YAAY,CAAC,KAAK;QAChC,aAAa,EAAE,OAAO;QACtB,GAAG,EAAE,YAAY;QACjB,OAAO,EAAE,OAAO;KACjB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,OAAO;QACZ,OAAO,EAAE,OAAO;KACjB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,OAAO;KACjB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,eAAe;QACpB,OAAO,EAAE,UAAU;KACpB;CACsD,CAAA;AAEzD,MAAM,MAAM,GAAG,CACb,SAAiC,EACjC,YAAoB,EACiC,EAAE,CAAC,CAAC;IACzD,SAAS;IACT,MAAM,EAAE,OAAO;IACf,YAAY;IACZ,aAAa,EAAE,MAAM;IACrB,GAAG,EAAE,YAAY;IACjB,OAAO,EAAE,QAAQ;CAClB,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC;IAChD,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IACzC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC;IAC1C,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC;IACxC,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,UAAU,CAAC;IAC9C,QAAQ,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,UAAU,CAAC;IACpD,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC9C,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC9C,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC/C,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC;IAChD,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC;IAChD,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC;IACjD,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC;IACjD,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC;IAC3C,EAAE,EAAE;QACF,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,OAAO;QACf,YAAY,EAAE,YAAY,CAAC,OAAO;QAClC,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,WAAW;QAChB,OAAO,EAAE,MAAM;KAChB;IACD,EAAE,EAAE;QACF,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,OAAO;QACf,YAAY,EAAE,YAAY,CAAC,OAAO;QAClC,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,WAAW;QAChB,OAAO,EAAE,MAAM;KAChB;IACD,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC9C,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC9C,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC;IAC9C,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,cAAc,CAAC;IACpD,GAAG,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,cAAc,CAAC;IACpD,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,cAAc,CAAC;IACnD,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,cAAc,CAAC;IACnD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,YAAY,CAAC,OAAO;QAClC,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,OAAO;QACZ,OAAO,EAAE,SAAS;KACnB;IACD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,OAAO;QACf,YAAY,EAAE,YAAY,CAAC,GAAG;QAC9B,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,KAAK;KACf;IACD,GAAG,EAAE;QACH,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,YAAY,CAAC,YAAY;QACvC,aAAa,EAAE,MAAM;QACrB,GAAG,EAAE,WAAW;QAChB,OAAO,EAAE,MAAM;KAChB;CACqD,CAAA;AAExD,oEAAoE;AACpE,MAAM,CAAC,MAAM,mBAAmB,GAAqC,MAAM,CAAC,WAAW,CACrF,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CACvF,CAAA;AAED,8EAA8E;AAC9E,MAAM,uBAAuB,GAAgD,eAAe,CAAA;AAC5F,KAAK,uBAAuB,CAAA"}