extra-parser 0.5.0 → 0.6.1

package/README.md

@@ -1,4 +1,6 @@
 # extra-parser
+A functional parser toolkit.
+
 ## Install
 ```sh
 npm install --save extra-parser
@@ -6,6 +8,17 @@ npm install --save extra-parser
 yarn add extra-parser
 ```
 
+## FAQ
+### Why are functions asynchronous?
+Some parsers make heavy use of recursion,
+and most JavaScript engines do not support tail-call optimization,
+which leads to the possibility of stack overflow in programs.
+
+Asynchronous functions are an escape route:
+developers can change recursive functions to asynchronous recursive functions
+to get their programs out of stack overflow problems
+without significantly reducing readability.
+
 ## API
 ```ts
 interface IToken {
@@ -34,24 +47,100 @@ interface ITokenPattern<Token extends IToken = IToken> {
 interface INodePattern<Token extends IToken = IToken, Node extends INode = INode> {
   (tokens: ReadonlyArray<Token>): Awaitable<INodePatternMatch<Node> | Falsy>
 }
+
+type MapSequenceToPatterns<Sequence extends ReadonlyArray<IToken | INode>> = {
+  [Index in keyof Sequence]:
+    [Sequence[Index]] extends [infer Element]
+  ? (
+      Element extends IToken
+      ? string
+    : Element extends INode
+      ? INodePattern<IToken, Element>
+    : never
+    )
+  : never
+}
+
+type MapSequenceToMatches<Sequence extends ReadonlyArray<IToken | INode>> = {
+  [Index in keyof Sequence]:
+    [Sequence[Index]] extends [infer Element]
+  ? (
+      Element extends IToken
+      ? IToken
+    : Element extends INode
+      ? INodePatternMatch<Element>
+    : never
+    )
+  : never
+}
 ```
 
 ### tokenize
 ```ts
 function tokenize<Token extends IToken = IToken>(
-  text: string
-, patterns: Array<ITokenPattern<Token>>
+  patterns: Array<ITokenPattern<Token>>
+, text: string
 ): AsyncIterableIterator<Token>
 ```
 
 ### parse
 ```ts
 function parse<Token extends IToken = IToken, Node extends INode = INode>(
-  tokens: Token[]
-, patterns: Array<INodePattern<Token, Node>>
+  patterns: Array<INodePattern<Token, Node>>
+, tokens: Token[]
 ): AsyncIterableIterator<Node>
 ```
 
+### consumeNode
+```ts
+function consumeNode<
+  Token extends IToken = IToken
+, Node extends INode = INode
+>(
+  nodePattern: INodePattern<Token, Node>
+, tokens: Token[]
+): Promise<INodePatternMatch<Node> | Falsy>
+```
+
+### consumeToken
+```ts
+function consumeToken<Token extends IToken = IToken>(
+  tokenType: string
+, tokens: Token[]
+): Token | Falsy
+```
+
+#### matchAnyOf
+```ts
+function matchAnyOf<
+  Token extends IToken = IToken
+, Node extends INode = INode
+>(
+  nodePatterns: ReadonlyArray<INodePattern<Token, Node>>
+, tokens: ReadonlyArray<Token>
+): Promise<INodePatternMatch<Node> | Falsy>
+```
+
+#### matchSequence
+```ts
+function matchSequence<Sequence extends ReadonlyArray<IToken | INode>>(
+  patterns: MapSequenceToPatterns<Sequence>
+, tokens: ReadonlyArray<IToken>
+): Promise<MapSequenceToMatches<Sequence> | Falsy>
+```
+
+#### matchRepetitions
+```ts
+function matchRepetitions<Sequence extends ReadonlyArray<IToken | INode>>(
+  patterns: MapSequenceToPatterns<Sequence>
+, tokens: ReadonlyArray<IToken>
+, options?: {
+    minimumRepetitions?: number = 1
+    maximumRepetitions?: number = Infinity
+  }
+): Promise<Flatten<Array<MapSequenceToMatches<Sequence>>> | Falsy>
+```
+
 ### createTokenPatternFromRegExp
 ```ts
 function createTokenPatternFromRegExp<Token extends IToken>(
@@ -60,13 +149,87 @@ function createTokenPatternFromRegExp<Token extends IToken>(
 ): ITokenPattern<IToken>
 ```
 
-## FAQ
-### Why are functions asynchronous?
-Some parsers make heavy use of recursion,
-and most JavaScript engines do not support tail-call optimization,
-which leads to the possibility of stack overflow in programs.
+### createUnaryOperatorExpressionNodePattern
+```ts
+interface IUnaryOperatorExpressionNode<
+  NodeType extends string
+, RightNode extends INode
+> extends INode {
+  nodeType: NodeType
+  right: RightNode
+}
 
-Asynchronous functions are an escape route:
-developers can change recursive functions to asynchronous recursive functions
-to get their programs out of stack overflow problems
-without significantly reducing readability.
+function createUnaryOperatorExpressionNodePattern<
+  Token extends IToken
+, Node extends IUnaryOperatorExpressionNode<string, RightNode>
+, RightNode extends INode
+>(params: {
+  nodeType: Node['nodeType']
+  leftTokenType: string
+  rightNodePattern: INodePattern<Token, RightNode>
+}): INodePattern<
+  Token
+, IUnaryOperatorExpressionNode<Node['nodeType'], Node['right']>
+>
+```
+
+### createBinaryOperatorExpressionNodePattern
+```ts
+interface IBinaryOperatorExpressionNode<
+  NodeType extends string
+, LeftNode extends INode
+, RightNode extends INode
+> extends INode {
+  nodeType: NodeType
+  left: LeftNode
+  right: RightNode
+}
+
+function createBinaryOperatorExpressionNodePattern<
+  Token extends IToken
+, Node extends IBinaryOperatorExpressionNode<string, LeftNode, RightNode>
+, LeftNode extends INode
+, RightNode extends INode
+>(params: {
+  nodeType: Node['nodeType']
+  centerTokenType: string
+  leftNodePattern: INodePattern<Token, LeftNode>
+  rightNodePattern: INodePattern<Token, RightNode>
+}): INodePattern<
+  Token
+, IBinaryOperatorExpressionNode<Node['nodeType'], Node['left'], Node['right']>
+>
+```
+
+### createGroupedExpressionNodePattern
+```ts
+function createGroupedExpressionNodePattern<
+  Token extends IToken
+, CenterNode extends INode
+>(params: {
+  leftTokenType: string
+  rightTokenType: string
+  centerNodePattern: INodePattern<Token, CenterNode>
+}): INodePattern<Token, CenterNode>
+```
+
+### createValueExpressionNodePattern
+```ts
+interface IValueExpressionNode<
+  NodeType extends string
+, Value
+> extends INode {
+  nodeType: NodeType
+  value: Value
+}
+
+function createValueExpressionNodePattern<
+  Token extends IToken
+, Node extends IValueExpressionNode<string, Value>
+, Value
+>(params: {
+  nodeType: Node['nodeType']
+  valueTokenType: string
+  transformValue: (value: string) => Value
+}): INodePattern<Token, IValueExpressionNode<Node['nodeType'], Node['value']>>
+```

package/lib/consume-node.d.ts

@@ -0,0 +1,3 @@
+import { Falsy } from '@blackglory/prelude';
+import { IToken, INode, INodePattern, INodePatternMatch } from './types';
+export declare function consumeNode<Token extends IToken = IToken, Node extends INode = INode>(nodePattern: INodePattern<Token, Node>, tokens: Token[]): Promise<INodePatternMatch<Node> | Falsy>;

package/lib/consume-node.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.consumeNode = void 0;
+const prelude_1 = require("@blackglory/prelude");
+async function consumeNode(nodePattern, tokens) {
+    const match = await nodePattern(tokens);
+    if ((0, prelude_1.isntFalsy)(match)) {
+        tokens.splice(0, match.consumed);
+        return match;
+    }
+}
+exports.consumeNode = consumeNode;
+//# sourceMappingURL=consume-node.js.map

package/lib/consume-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consume-node.js","sourceRoot":"","sources":["../src/consume-node.ts"],"names":[],"mappings":";;;AAAA,iDAAsD;AAQ/C,KAAK,UAAU,WAAW,CAI/B,WAAsC,EACtC,MAAe;IAEf,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,CAAA;IAEvC,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;QACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;QAChC,OAAO,KAAK,CAAA;KACb;AACH,CAAC;AAbD,kCAaC"}

package/lib/consume-token.d.ts

@@ -0,0 +1,3 @@
+import { Falsy } from '@blackglory/prelude';
+import { IToken } from './types';
+export declare function consumeToken<Token extends IToken = IToken>(tokenType: string, tokens: Token[]): Token | Falsy;

package/lib/consume-token.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.consumeToken = void 0;
+function consumeToken(tokenType, tokens) {
+    const firstToken = tokens[0];
+    if (firstToken && firstToken.tokenType === tokenType) {
+        tokens.shift();
+        return firstToken;
+    }
+}
+exports.consumeToken = consumeToken;
+//# sourceMappingURL=consume-token.js.map

package/lib/consume-token.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consume-token.js","sourceRoot":"","sources":["../src/consume-token.ts"],"names":[],"mappings":";;;AAQA,SAAgB,YAAY,CAC1B,SAAiB,EACjB,MAAe;IAEf,MAAM,UAAU,GAAuB,MAAM,CAAC,CAAC,CAAC,CAAA;IAEhD,IAAI,UAAU,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE;QACpD,MAAM,CAAC,KAAK,EAAE,CAAA;QACd,OAAO,UAAmB,CAAA;KAC3B;AACH,CAAC;AAVD,oCAUC"}

package/lib/create-binary-operator-expression-node-pattern.d.ts

@@ -0,0 +1,12 @@
+import { IToken, INode, INodePattern } from './types';
+export interface IBinaryOperatorExpressionNode<NodeType extends string, LeftNode extends INode, RightNode extends INode> extends INode {
+    nodeType: NodeType;
+    left: LeftNode;
+    right: RightNode;
+}
+export declare function createBinaryOperatorExpressionNodePattern<Token extends IToken, Node extends IBinaryOperatorExpressionNode<string, LeftNode, RightNode>, LeftNode extends INode, RightNode extends INode>({ nodeType, centerTokenType, rightNodePattern, leftNodePattern }: {
+    nodeType: Node['nodeType'];
+    centerTokenType: string;
+    leftNodePattern: INodePattern<Token, LeftNode>;
+    rightNodePattern: INodePattern<Token, RightNode>;
+}): INodePattern<Token, IBinaryOperatorExpressionNode<Node['nodeType'], Node['left'], Node['right']>>;

package/lib/create-binary-operator-expression-node-pattern.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createBinaryOperatorExpressionNodePattern = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const match_sequence_1 = require("./match-sequence");
+function createBinaryOperatorExpressionNodePattern({ nodeType, centerTokenType, rightNodePattern, leftNodePattern }) {
+    return async (tokens) => {
+        const matches = await (0, match_sequence_1.matchSequence)([
+            leftNodePattern,
+            centerTokenType,
+            rightNodePattern
+        ], tokens);
+        if ((0, prelude_1.isntFalsy)(matches)) {
+            const [leftMatch, token, rightMatch] = matches;
+            return {
+                consumed: leftMatch.consumed + 1 + rightMatch.consumed,
+                node: {
+                    nodeType,
+                    left: leftMatch.node,
+                    right: rightMatch.node
+                }
+            };
+        }
+    };
+}
+exports.createBinaryOperatorExpressionNodePattern = createBinaryOperatorExpressionNodePattern;
+//# sourceMappingURL=create-binary-operator-expression-node-pattern.js.map

package/lib/create-binary-operator-expression-node-pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-binary-operator-expression-node-pattern.js","sourceRoot":"","sources":["../src/create-binary-operator-expression-node-pattern.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAE/C,qDAAgD;AAYhD,SAAgB,yCAAyC,CAKvD,EAAE,QAAQ,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAK/D;IAIC,OAAO,KAAK,EAAC,MAAM,EAAC,EAAE;QACpB,MAAM,OAAO,GAAG,MAAM,IAAA,8BAAa,EACjC;YACE,eAAiD;YACjD,eAAe;YACf,gBAAmD;SACpD,EACD,MAAM,CACP,CAAA;QACD,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,OAAO,CAAA;YAC9C,OAAO;gBACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,GAAG,CAAC,GAAG,UAAU,CAAC,QAAQ;gBACtD,IAAI,EAAE;oBACJ,QAAQ;oBACR,IAAI,EAAE,SAAS,CAAC,IAAoB;oBACpC,KAAK,EAAE,UAAU,CAAC,IAAqB;iBACxC;aACF,CAAA;SACF;IACH,CAAC,CAAA;AACH,CAAC;AAnCD,8FAmCC"}

package/lib/create-grouped-expression-node-pattern.d.ts

@@ -0,0 +1,6 @@
+import { IToken, INode, INodePattern } from './types';
+export declare function createGroupedExpressionNodePattern<Token extends IToken, CenterNode extends INode>({ leftTokenType, rightTokenType, centerNodePattern }: {
+    leftTokenType: string;
+    rightTokenType: string;
+    centerNodePattern: INodePattern<Token, CenterNode>;
+}): INodePattern<Token, CenterNode>;

package/lib/create-grouped-expression-node-pattern.js

@@ -0,0 +1,23 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createGroupedExpressionNodePattern = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const match_sequence_1 = require("./match-sequence");
+function createGroupedExpressionNodePattern({ leftTokenType, rightTokenType, centerNodePattern }) {
+    return async (tokens) => {
+        const matches = await (0, match_sequence_1.matchSequence)([
+            leftTokenType,
+            centerNodePattern,
+            rightTokenType
+        ], tokens);
+        if ((0, prelude_1.isntFalsy)(matches)) {
+            const [leftToken, nodeMatch, rightToken] = matches;
+            return {
+                consumed: 1 + nodeMatch.consumed + 1,
+                node: nodeMatch.node
+            };
+        }
+    };
+}
+exports.createGroupedExpressionNodePattern = createGroupedExpressionNodePattern;
+//# sourceMappingURL=create-grouped-expression-node-pattern.js.map

package/lib/create-grouped-expression-node-pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-grouped-expression-node-pattern.js","sourceRoot":"","sources":["../src/create-grouped-expression-node-pattern.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAE/C,qDAAgD;AAEhD,SAAgB,kCAAkC,CAGhD,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,EAInD;IACC,OAAO,KAAK,EAAC,MAAM,EAAC,EAAE;QACpB,MAAM,OAAO,GAAG,MAAM,IAAA,8BAAa,EACjC;YACE,aAAa;YACb,iBAAqD;YACrD,cAAc;SACf,EACD,MAAM,CACP,CAAA;QACD,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,GAAG,OAAO,CAAA;YAClD,OAAO;gBACL,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,GAAG,CAAC;gBACpC,IAAI,EAAE,SAAS,CAAC,IAAkB;aACnC,CAAA;SACF;IACH,CAAC,CAAA;AACH,CAAC;AAzBD,gFAyBC"}

package/lib/create-token-pattern-from-regexp.js

@@ -1,12 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createTokenPatternFromRegExp = void 0;
-const types_1 = require("@blackglory/types");
+const prelude_1 = require("@blackglory/prelude");
 function createTokenPatternFromRegExp(tokenType, regExp) {
     const startsWithRegExp = convertToStartsWithRegExp(regExp);
     return (text) => {
         const result = startsWithRegExp.exec(text);
-        if ((0, types_1.isntNull)(result)) {
+        if ((0, prelude_1.isntNull)(result)) {
             const [matchedText] = result;
             return {
                 consumed: matchedText.length,

package/lib/create-token-pattern-from-regexp.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-token-pattern-from-regexp.js","sourceRoot":"","sources":["../src/create-token-pattern-from-regexp.ts"],"names":[],"mappings":";;;AACA,6CAA4C;AAG5C,SAAgB,4BAA4B,CAC1C,SAA6B,EAC7B,MAAc;IAEd,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;IAE1D,OAAO,CAAC,IAAY,EAAsC,EAAE;QAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,IAAA,gBAAQ,EAAC,MAAM,CAAC,EAAE;YACpB,MAAM,CAAC,WAAW,CAAC,GAAG,MAAM,CAAA;YAC5B,OAAO;gBACL,QAAQ,EAAE,WAAW,CAAC,MAAM;gBAC5B,KAAK,EAAE;oBACL,SAAS,EAAE,SAAS;oBACpB,KAAK,EAAE,WAAW;iBACnB;aACF,CAAA;SACF;aAAM;YACL,OAAO,KAAK,CAAA;SACb;IACH,CAAC,CAAA;AACH,CAAC;AArBD,oEAqBC;AAED,SAAS,yBAAyB,CAAC,EAAU;IAC3C,OAAO,IAAI,MAAM,CACf,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EACvD,EAAE,CAAC,KAAK,CACT,CAAA;AACH,CAAC"}
+{"version":3,"file":"create-token-pattern-from-regexp.js","sourceRoot":"","sources":["../src/create-token-pattern-from-regexp.ts"],"names":[],"mappings":";;;AAAA,iDAAqD;AAGrD,SAAgB,4BAA4B,CAC1C,SAA6B,EAC7B,MAAc;IAEd,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;IAE1D,OAAO,CAAC,IAAY,EAAsC,EAAE;QAC1D,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,IAAA,kBAAQ,EAAC,MAAM,CAAC,EAAE;YACpB,MAAM,CAAC,WAAW,CAAC,GAAG,MAAM,CAAA;YAC5B,OAAO;gBACL,QAAQ,EAAE,WAAW,CAAC,MAAM;gBAC5B,KAAK,EAAE;oBACL,SAAS,EAAE,SAAS;oBACpB,KAAK,EAAE,WAAW;iBACnB;aACF,CAAA;SACF;aAAM;YACL,OAAO,KAAK,CAAA;SACb;IACH,CAAC,CAAA;AACH,CAAC;AArBD,oEAqBC;AAED,SAAS,yBAAyB,CAAC,EAAU;IAC3C,OAAO,IAAI,MAAM,CACf,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EACvD,EAAE,CAAC,KAAK,CACT,CAAA;AACH,CAAC"}

package/lib/create-unary-operator-expression-node-pattern.d.ts

@@ -0,0 +1,10 @@
+import { IToken, INode, INodePattern } from './types';
+export interface IUnaryOperatorExpressionNode<NodeType extends string, RightNode extends INode> extends INode {
+    nodeType: NodeType;
+    right: RightNode;
+}
+export declare function createUnaryOperatorExpressionNodePattern<Token extends IToken, Node extends IUnaryOperatorExpressionNode<string, RightNode>, RightNode extends INode>({ leftTokenType, nodeType, rightNodePattern }: {
+    nodeType: Node['nodeType'];
+    leftTokenType: string;
+    rightNodePattern: INodePattern<Token, RightNode>;
+}): INodePattern<Token, IUnaryOperatorExpressionNode<Node['nodeType'], Node['right']>>;

package/lib/create-unary-operator-expression-node-pattern.js

@@ -0,0 +1,25 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createUnaryOperatorExpressionNodePattern = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const match_sequence_1 = require("./match-sequence");
+function createUnaryOperatorExpressionNodePattern({ leftTokenType, nodeType, rightNodePattern }) {
+    return async (tokens) => {
+        const matches = await (0, match_sequence_1.matchSequence)([
+            leftTokenType,
+            rightNodePattern
+        ], tokens);
+        if ((0, prelude_1.isntFalsy)(matches)) {
+            const [leftToken, rightMatch] = matches;
+            return {
+                consumed: 1 + rightMatch.consumed,
+                node: {
+                    nodeType: nodeType,
+                    right: rightMatch.node
+                }
+            };
+        }
+    };
+}
+exports.createUnaryOperatorExpressionNodePattern = createUnaryOperatorExpressionNodePattern;
+//# sourceMappingURL=create-unary-operator-expression-node-pattern.js.map

package/lib/create-unary-operator-expression-node-pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-unary-operator-expression-node-pattern.js","sourceRoot":"","sources":["../src/create-unary-operator-expression-node-pattern.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAE/C,qDAAgD;AAUhD,SAAgB,wCAAwC,CAItD,EAAE,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAI5C;IAIC,OAAO,KAAK,EAAC,MAAM,EAAC,EAAE;QACpB,MAAM,OAAO,GAAG,MAAM,IAAA,8BAAa,EACjC;YACE,aAAa;YACb,gBAAmD;SACpD,EACD,MAAM,CACP,CAAA;QACD,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,OAAO,CAAA;YACvC,OAAO;gBACL,QAAQ,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ;gBACjC,IAAI,EAAE;oBACJ,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,UAAU,CAAC,IAAiB;iBACpC;aACF,CAAA;SACF;IACH,CAAC,CAAA;AACH,CAAC;AA/BD,4FA+BC"}

package/lib/create-value-expression-node-pattern.d.ts

@@ -0,0 +1,10 @@
+import { IToken, INode, INodePattern } from './types';
+export interface IValueExpressionNode<NodeType extends string, Value> extends INode {
+    nodeType: NodeType;
+    value: Value;
+}
+export declare function createValueExpressionNodePattern<Token extends IToken, Node extends IValueExpressionNode<string, Value>, Value>({ valueTokenType, nodeType, transformValue }: {
+    nodeType: Node['nodeType'];
+    valueTokenType: string;
+    transformValue: (value: string) => Value;
+}): INodePattern<Token, IValueExpressionNode<Node['nodeType'], Node['value']>>;

package/lib/create-value-expression-node-pattern.js

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createValueExpressionNodePattern = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const consume_token_1 = require("./consume-token");
+function createValueExpressionNodePattern({ valueTokenType, nodeType, transformValue }) {
+    return tokens => {
+        const mutableTokens = (0, prelude_1.toArray)(tokens);
+        const token = (0, consume_token_1.consumeToken)(valueTokenType, mutableTokens);
+        if ((0, prelude_1.isntFalsy)(token)) {
+            return {
+                consumed: 1,
+                node: {
+                    nodeType,
+                    value: transformValue(token.value)
+                }
+            };
+        }
+    };
+}
+exports.createValueExpressionNodePattern = createValueExpressionNodePattern;
+//# sourceMappingURL=create-value-expression-node-pattern.js.map

package/lib/create-value-expression-node-pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-value-expression-node-pattern.js","sourceRoot":"","sources":["../src/create-value-expression-node-pattern.ts"],"names":[],"mappings":";;;AAAA,iDAAwD;AACxD,mDAA8C;AAW9C,SAAgB,gCAAgC,CAI9C,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,EAI3C;IACC,OAAO,MAAM,CAAC,EAAE;QACd,MAAM,aAAa,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QAErC,MAAM,KAAK,GAAG,IAAA,4BAAY,EAAC,cAAc,EAAE,aAAa,CAAC,CAAA;QACzD,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;YACpB,OAAO;gBACL,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE;oBACJ,QAAQ;oBACR,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;iBACnC;aACF,CAAA;SACF;IACH,CAAC,CAAA;AACH,CAAC;AAvBD,4EAuBC"}

package/lib/index.d.ts

@@ -1,4 +1,13 @@
-export * from './types';
+export { IToken, ITokenPattern, ITokenPatternMatch, INode, INodePattern, INodePatternMatch } from './types';
 export * from './tokenize';
 export * from './parse';
+export * from './consume-token';
+export * from './consume-node';
+export { matchSequence } from './match-sequence';
+export * from './match-repetitions';
+export * from './match-any-of';
 export * from './create-token-pattern-from-regexp';
+export * from './create-unary-operator-expression-node-pattern';
+export * from './create-binary-operator-expression-node-pattern';
+export * from './create-grouped-expression-node-pattern';
+export * from './create-value-expression-node-pattern';

package/lib/index.js

@@ -14,8 +14,18 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./types"), exports);
+exports.matchSequence = void 0;
 __exportStar(require("./tokenize"), exports);
 __exportStar(require("./parse"), exports);
+__exportStar(require("./consume-token"), exports);
+__exportStar(require("./consume-node"), exports);
+var match_sequence_1 = require("./match-sequence");
+Object.defineProperty(exports, "matchSequence", { enumerable: true, get: function () { return match_sequence_1.matchSequence; } });
+__exportStar(require("./match-repetitions"), exports);
+__exportStar(require("./match-any-of"), exports);
 __exportStar(require("./create-token-pattern-from-regexp"), exports);
+__exportStar(require("./create-unary-operator-expression-node-pattern"), exports);
+__exportStar(require("./create-binary-operator-expression-node-pattern"), exports);
+__exportStar(require("./create-grouped-expression-node-pattern"), exports);
+__exportStar(require("./create-value-expression-node-pattern"), exports);
 //# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAuB;AACvB,6CAA0B;AAC1B,0CAAuB;AACvB,qEAAkD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAQA,6CAA0B;AAC1B,0CAAuB;AACvB,kDAA+B;AAC/B,iDAA8B;AAC9B,mDAAgD;AAAvC,+GAAA,aAAa,OAAA;AACtB,sDAAmC;AACnC,iDAA8B;AAC9B,qEAAkD;AAClD,kFAA+D;AAC/D,mFAAgE;AAChE,2EAAwD;AACxD,yEAAsD"}

package/lib/match-any-of.d.ts

@@ -0,0 +1,3 @@
+import { Falsy } from '@blackglory/prelude';
+import { IToken, INode, INodePattern, INodePatternMatch } from './types';
+export declare function matchAnyOf<Token extends IToken = IToken, Node extends INode = INode>(nodePatterns: ReadonlyArray<INodePattern<Token, Node>>, tokens: ReadonlyArray<Token>): Promise<INodePatternMatch<Node> | Falsy>;

package/lib/match-any-of.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchAnyOf = void 0;
+const prelude_1 = require("@blackglory/prelude");
+async function matchAnyOf(nodePatterns, tokens) {
+    for (const pattern of nodePatterns) {
+        const match = await pattern(tokens);
+        if ((0, prelude_1.isntFalsy)(match)) {
+            return match;
+        }
+    }
+}
+exports.matchAnyOf = matchAnyOf;
+//# sourceMappingURL=match-any-of.js.map

package/lib/match-any-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-any-of.js","sourceRoot":"","sources":["../src/match-any-of.ts"],"names":[],"mappings":";;;AAAA,iDAAsD;AAM/C,KAAK,UAAU,UAAU,CAI9B,YAAsD,EACtD,MAA4B;IAE5B,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE;QAClC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,CAAA;QACnC,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;YACpB,OAAO,KAAK,CAAA;SACb;KACF;AACH,CAAC;AAbD,gCAaC"}

package/lib/match-repetitions.d.ts

@@ -0,0 +1,7 @@
+import { Falsy } from '@blackglory/prelude';
+import { Flatten } from 'hotypes';
+import { IToken, INode, MapSequenceToPatterns, MapSequenceToMatches } from './types';
+export declare function matchRepetitions<Sequence extends ReadonlyArray<IToken | INode>>(patterns: MapSequenceToPatterns<Sequence>, tokens: ReadonlyArray<IToken>, { minimumRepetitions, maximumRepetitions }?: {
+    minimumRepetitions?: number;
+    maximumRepetitions?: number;
+}): Promise<Flatten<Array<MapSequenceToMatches<Sequence>>> | Falsy>;

package/lib/match-repetitions.js

@@ -0,0 +1,36 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchRepetitions = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const match_sequence_1 = require("./match-sequence");
+async function matchRepetitions(patterns, tokens, { minimumRepetitions = 1, maximumRepetitions = Infinity } = {}) {
+    (0, prelude_1.assert)(Number.isInteger(minimumRepetitions), 'The minimum repetiions must be an integer');
+    (0, prelude_1.assert)(minimumRepetitions >= 0, 'The minimum repetitions must be greater than or equal to 0');
+    (0, prelude_1.assert)(Number.isInteger(maximumRepetitions) || maximumRepetitions === Infinity, 'The maxmium repetiions must be an integer or an Infinity');
+    (0, prelude_1.assert)(maximumRepetitions >= minimumRepetitions, 'The maximum repetitions must be greater than or equal to the minimum repetitions');
+    const results = [];
+    const mutableTokens = (0, prelude_1.toArray)(tokens);
+    for (let i = 0; i < minimumRepetitions; i++) {
+        const matches = await (0, match_sequence_1.matchSequence)(patterns, mutableTokens);
+        if ((0, prelude_1.isntFalsy)(matches)) {
+            results.push(matches);
+            mutableTokens.splice(0, matches.length);
+        }
+        else {
+            return;
+        }
+    }
+    for (let i = minimumRepetitions; i < maximumRepetitions; i++) {
+        const matches = await (0, match_sequence_1.matchSequence)(patterns, mutableTokens);
+        if ((0, prelude_1.isntFalsy)(matches)) {
+            results.push(matches);
+            mutableTokens.splice(0, matches.length);
+        }
+        else {
+            break;
+        }
+    }
+    return results.flat();
+}
+exports.matchRepetitions = matchRepetitions;
+//# sourceMappingURL=match-repetitions.js.map

package/lib/match-repetitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-repetitions.js","sourceRoot":"","sources":["../src/match-repetitions.ts"],"names":[],"mappings":";;;AAAA,iDAAuE;AAGvE,qDAAgD;AAEzC,KAAK,UAAU,gBAAgB,CACpC,QAAyC,EACzC,MAA6B,EAC7B,EACE,kBAAkB,GAAG,CAAC,EACtB,kBAAkB,GAAG,QAAQ,KAI3B,EAAE;IAEN,IAAA,gBAAM,EAAC,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE,2CAA2C,CAAC,CAAA;IACzF,IAAA,gBAAM,EACJ,kBAAkB,IAAI,CAAC,EACvB,4DAA4D,CAC7D,CAAA;IACD,IAAA,gBAAM,EACJ,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAI,kBAAkB,KAAK,QAAQ,EACvE,0DAA0D,CAC3D,CAAA;IACD,IAAA,gBAAM,EACJ,kBAAkB,IAAI,kBAAkB,EACxC,kFAAkF,CACnF,CAAA;IAED,MAAM,OAAO,GAA0C,EAAE,CAAA;IACzD,MAAM,aAAa,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,OAAO,GAAG,MAAM,IAAA,8BAAa,EAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;QAC5D,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACrB,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;SACxC;aAAM;YACL,OAAM;SACP;KACF;IAED,KAAK,IAAI,CAAC,GAAG,kBAAkB,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE;QAC5D,MAAM,OAAO,GAAG,MAAM,IAAA,8BAAa,EAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;QAC5D,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACrB,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;SACxC;aAAM;YACL,MAAK;SACN;KACF;IAED,OAAO,OAAO,CAAC,IAAI,EAAoD,CAAA;AACzE,CAAC;AAjDD,4CAiDC"}

package/lib/match-sequence.d.ts

@@ -0,0 +1,6 @@
+import { NonEmptyArray, Falsy } from '@blackglory/prelude';
+import { IToken, INode, INodePattern, MapSequenceToPatterns, MapSequenceToMatches } from './types';
+export declare function matchSequence<Sequence extends ReadonlyArray<IToken | INode>>(patterns: MapSequenceToPatterns<Sequence>, tokens: ReadonlyArray<IToken>): Promise<MapSequenceToMatches<Sequence> | Falsy>;
+declare type SubPatterns = [INodePattern<IToken, INode>, string] | NonEmptyArray<string> | NonEmptyArray<INodePattern<IToken, INode>>;
+export declare function splitPatterns<Sequence extends ReadonlyArray<IToken | INode>>(patterns: MapSequenceToPatterns<Sequence>): IterableIterator<SubPatterns>;
+export {};

package/lib/match-sequence.js

@@ -0,0 +1,120 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.splitPatterns = exports.matchSequence = void 0;
+const prelude_1 = require("@blackglory/prelude");
+const iterable_operator_1 = require("iterable-operator");
+const consume_token_1 = require("./consume-token");
+const consume_node_1 = require("./consume-node");
+async function matchSequence(patterns, tokens) {
+    if (isTokenTypes(patterns)) {
+        const matches = [];
+        const mutableTokens = (0, prelude_1.toArray)(tokens);
+        for (const pattern of patterns) {
+            const match = (0, consume_token_1.consumeToken)(pattern, mutableTokens);
+            if ((0, prelude_1.isntFalsy)(match)) {
+                matches.push(match);
+            }
+            else {
+                return;
+            }
+        }
+        return matches;
+    }
+    else if (isNodePatterns(patterns)) {
+        const matches = [];
+        const mutableTokens = (0, prelude_1.toArray)(tokens);
+        for (const pattern of patterns) {
+            const match = await (0, consume_node_1.consumeNode)(pattern, mutableTokens);
+            if ((0, prelude_1.isntFalsy)(match)) {
+                matches.push(match);
+            }
+            else {
+                return;
+            }
+        }
+        return matches;
+    }
+    else if (isNodePatternNodeType(patterns)) {
+        const [nodePattern, tokenType] = patterns;
+        for (const indexOfToken of (0, iterable_operator_1.findAllIndexes)(tokens, x => x.tokenType === tokenType)) {
+            const leftTokens = tokens.slice(0, indexOfToken);
+            const leftMatch = await nodePattern(leftTokens);
+            if ((0, prelude_1.isntFalsy)(leftMatch) &&
+                leftMatch.consumed === indexOfToken) {
+                const matches = [
+                    leftMatch,
+                    tokens[indexOfToken]
+                ];
+                return matches;
+            }
+        }
+    }
+    else {
+        const matches = [];
+        const remainingTokens = (0, prelude_1.toArray)(tokens);
+        for (const subPatterns of splitPatterns(patterns)) {
+            const subMatches = await matchSequence(subPatterns, remainingTokens);
+            if ((0, prelude_1.isntFalsy)(subMatches)) {
+                const consumed = subMatches
+                    .map(match => {
+                    return 'consumed' in match
+                        ? match.consumed
+                        : 1;
+                })
+                    .reduce((acc, cur) => acc + cur, 0);
+                remainingTokens.splice(0, consumed);
+                matches.push(...subMatches);
+            }
+            else {
+                return;
+            }
+        }
+        return matches;
+    }
+}
+exports.matchSequence = matchSequence;
+function* splitPatterns(patterns) {
+    const mutablePatterns = (0, prelude_1.toArray)(patterns);
+    while (mutablePatterns.length > 0) {
+        if (isTokenType(mutablePatterns[0])) {
+            const indexOfNodePattern = mutablePatterns.findIndex(x => isNodePattern(x));
+            if (indexOfNodePattern === -1) {
+                yield mutablePatterns.splice(0);
+            }
+            else {
+                yield mutablePatterns.splice(0, indexOfNodePattern);
+            }
+        }
+        else if (isNodePattern(mutablePatterns[0])) {
+            const indexOfToken = mutablePatterns.findIndex(x => isTokenType(x));
+            if (indexOfToken === -1) {
+                yield mutablePatterns.splice(0);
+            }
+            else {
+                yield mutablePatterns.splice(0, indexOfToken + 1);
+            }
+        }
+        else {
+            throw new Error('Unknown patterns');
+        }
+    }
+}
+exports.splitPatterns = splitPatterns;
+function isTokenTypes(arr) {
+    return arr.every(isTokenType);
+}
+function isTokenType(val) {
+    return (0, prelude_1.isString)(val);
+}
+function isNodePatterns(arr) {
+    return arr.every(isNodePattern);
+}
+function isNodePattern(val) {
+    return (0, prelude_1.isFunction)(val);
+}
+function isNodePatternNodeType(arr) {
+    return arr.length === 2
+        && isNodePattern(arr[0])
+        && isTokenType(arr[1]);
+}
+//# sourceMappingURL=match-sequence.js.map

package/lib/match-sequence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match-sequence.js","sourceRoot":"","sources":["../src/match-sequence.ts"],"names":[],"mappings":";;;AAAA,iDAO4B;AAC5B,yDAAkD;AASlD,mDAA8C;AAC9C,iDAA4C;AAWrC,KAAK,UAAU,aAAa,CACjC,QAAyC,EACzC,MAA6B;IAE7B,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE;QAC1B,MAAM,OAAO,GAAkB,EAAE,CAAA;QAEjC,MAAM,aAAa,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,KAAK,GAAG,IAAA,4BAAY,EAAC,OAAO,EAAE,aAAa,CAAC,CAAA;YAClD,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;gBACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;aACpB;iBAAM;gBACL,OAAM;aACP;SACF;QAED,OAAO,OAAyC,CAAA;KACjD;SAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE;QACnC,MAAM,OAAO,GAAoC,EAAE,CAAA;QAEnD,MAAM,aAAa,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,KAAK,GAAG,MAAM,IAAA,0BAAW,EAAC,OAAO,EAAE,aAAa,CAAC,CAAA;YACvD,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;gBACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;aACpB;iBAAM;gBACL,OAAM;aACP;SACF;QAED,OAAO,OAAyC,CAAA;KACjD;SAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE;QAC1C,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,QAAQ,CAAA;QAEzC,KACE,MAAM,YAAY,IAAI,IAAA,kCAAc,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,EAC5E;YACA,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;YAChD,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,CAAA;YAC/C,IACE,IAAA,mBAAS,EAAC,SAAS,CAAC;gBACpB,SAAS,CAAC,QAAQ,KAAK,YAAY,EACnC;gBACA,MAAM,OAAO,GAAuC;oBAClD,SAAS;oBACT,MAAM,CAAC,YAAY,CAAC;iBACrB,CAAA;gBACD,OAAO,OAAyC,CAAA;aACjD;SACF;KACF;SAAM;QACL,MAAM,OAAO,GAA6C,EAAE,CAAA;QAC5D,MAAM,eAAe,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QACvC,KAAK,MAAM,WAAW,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE;YACjD,MAAM,UAAU,GAAG,MAAM,aAAa,CACpC,WAAW,EACX,eAAe,CAChB,CAAA;YACD,IAAI,IAAA,mBAAS,EAAC,UAAU,CAAC,EAAE;gBACzB,MAAM,QAAQ,GAAG,UAAU;qBACxB,GAAG,CAAC,KAAK,CAAC,EAAE;oBACX,OAAO,UAAU,IAAI,KAAK;wBACrB,CAAC,CAAC,KAAK,CAAC,QAAQ;wBAChB,CAAC,CAAC,CAAC,CAAA;gBACV,CAAC,CAAC;qBACD,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,CAAA;gBACrC,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;gBACnC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAA;aAC5B;iBAAM;gBACL,OAAM;aACP;SACF;QACD,OAAO,OAAyC,CAAA;KACjD;AACH,CAAC;AA3ED,sCA2EC;AAUD,QAAe,CAAC,CAAC,aAAa,CAC5B,QAAyC;IAEzC,MAAM,eAAe,GAAG,IAAA,iBAAO,EAAC,QAAQ,CAAC,CAAA;IAEzC,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE;QACjC,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACnC,MAAM,kBAAkB,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3E,IAAI,kBAAkB,KAAK,CAAC,CAAC,EAAE;gBAC7B,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,CAA0B,CAAA;aACzD;iBAAM;gBACL,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,kBAAkB,CAA0B,CAAA;aAC7E;SACF;aAAM,IAAI,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YAC5C,MAAM,YAAY,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;YACnE,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE;gBACvB,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,CAE7B,CAAA;aACF;iBAAM;gBACL,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,YAAY,GAAG,CAAC,CAG/C,CAAA;aACF;SACF;aAAM;YACL,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;SACpC;KACF;AACH,CAAC;AA7BD,sCA6BC;AAED,SAAS,YAAY,CAAC,GAA2B;IAC/C,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;AAC/B,CAAC;AAED,SAAS,WAAW,CAAC,GAAY;IAC/B,OAAO,IAAA,kBAAQ,EAAC,GAAG,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,cAAc,CACrB,GAA2B;IAE3B,OAAO,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;AACjC,CAAC;AAED,SAAS,aAAa,CACpB,GAAY;IAEZ,OAAO,IAAA,oBAAU,EAAC,GAAG,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAA2B;IAE3B,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC;WAChB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;WACrB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5B,CAAC"}

package/lib/parse.d.ts

@@ -1,2 +1,2 @@
 import { IToken, INodePattern, INode } from './types';
-export declare function parse<Token extends IToken = IToken, Node extends INode = INode>(tokens: Token[], patterns: Array<INodePattern<Token, Node>>): AsyncIterableIterator<Node>;
+export declare function parse<Token extends IToken = IToken, Node extends INode = INode>(patterns: Array<INodePattern<Token, Node>>, tokens: Token[]): AsyncIterableIterator<Node>;

package/lib/parse.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.parse = void 0;
 const prelude_1 = require("@blackglory/prelude");
-async function* parse(tokens, patterns) {
+async function* parse(patterns, tokens) {
     let i = 0;
     loop: while (i < tokens.length) {
         const remainingTokens = tokens.slice(i);

package/lib/parse.js.map

@@ -1 +1 @@
-{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAGxC,KAAK,SAAS,CAAC,CAAC,KAAK,CAC1B,MAAe,EACf,QAA0C;IAE1C,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE;QAC9B,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAEvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,CAAA;YAC7C,IAAI,IAAA,mBAAS,EAAC,MAAM,CAAC,EAAE;gBACrB,MAAM,MAAM,CAAC,IAAI,CAAA;gBACjB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAA;gBACpB,SAAS,IAAI,CAAA;aACd;SACF;QAED,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,CAAA;KAC1E;AACH,CAAC;AAnBD,sBAmBC"}
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAGxC,KAAK,SAAS,CAAC,CAAC,KAAK,CAI1B,QAA0C,EAC1C,MAAe;IAEf,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE;QAC9B,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAEvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,CAAA;YAC7C,IAAI,IAAA,mBAAS,EAAC,MAAM,CAAC,EAAE;gBACrB,MAAM,MAAM,CAAC,IAAI,CAAA;gBACjB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAA;gBACpB,SAAS,IAAI,CAAA;aACd;SACF;QAED,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,CAAA;KAC1E;AACH,CAAC;AAtBD,sBAsBC"}

package/lib/tokenize.d.ts

@@ -1,2 +1,2 @@
 import { ITokenPattern, IToken } from './types';
-export declare function tokenize<Token extends IToken = IToken>(text: string, patterns: Array<ITokenPattern<Token>>): AsyncIterableIterator<Token>;
+export declare function tokenize<Token extends IToken = IToken>(patterns: Array<ITokenPattern<Token>>, text: string): AsyncIterableIterator<Token>;

package/lib/tokenize.js

@@ -2,7 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.tokenize = void 0;
 const prelude_1 = require("@blackglory/prelude");
-async function* tokenize(text, patterns) {
+async function* tokenize(patterns, text) {
     let i = 0;
     loop: while (i < text.length) {
         const remainingText = text.slice(i);

package/lib/tokenize.js.map

@@ -1 +1 @@
-{"version":3,"file":"tokenize.js","sourceRoot":"","sources":["../src/tokenize.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAGxC,KAAK,SAAS,CAAC,CAAC,QAAQ,CAC7B,IAAY,EACZ,QAAqC;IAErC,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE;QAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAEnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,CAAA;YAC3C,IAAI,IAAA,mBAAS,EAAC,MAAM,CAAC,EAAE;gBACrB,MAAM,MAAM,CAAC,KAAK,CAAA;gBAClB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAA;gBACpB,SAAS,IAAI,CAAA;aACd;SACF;QAED,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;KAClE;AACH,CAAC;AAnBD,4BAmBC"}
+{"version":3,"file":"tokenize.js","sourceRoot":"","sources":["../src/tokenize.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAGxC,KAAK,SAAS,CAAC,CAAC,QAAQ,CAC7B,QAAqC,EACrC,IAAY;IAEZ,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE;QAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAEnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,CAAA;YAC3C,IAAI,IAAA,mBAAS,EAAC,MAAM,CAAC,EAAE;gBACrB,MAAM,MAAM,CAAC,KAAK,CAAA;gBAClB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAA;gBACpB,SAAS,IAAI,CAAA;aACd;SACF;QAED,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;KAClE;AACH,CAAC;AAnBD,4BAmBC"}

package/lib/types.d.ts

@@ -20,3 +20,13 @@ export interface ITokenPattern<Token extends IToken = IToken> {
 export interface INodePattern<Token extends IToken = IToken, Node extends INode = INode> {
     (tokens: ReadonlyArray<Token>): Awaitable<INodePatternMatch<Node> | Falsy>;
 }
+export declare type MapSequenceToPatterns<Sequence extends ReadonlyArray<IToken | INode>> = {
+    [Index in keyof Sequence]: [
+        Sequence[Index]
+    ] extends [infer Element] ? (Element extends IToken ? string : Element extends INode ? INodePattern<IToken, Element> : never) : never;
+};
+export declare type MapSequenceToMatches<Sequence extends ReadonlyArray<IToken | INode>> = {
+    [Index in keyof Sequence]: [
+        Sequence[Index]
+    ] extends [infer Element] ? (Element extends IToken ? IToken : Element extends INode ? INodePatternMatch<Element> : never) : never;
+};

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "extra-parser",
-  "version": "0.5.0",
-  "description": "",
+  "version": "0.6.1",
+  "description": "A functional parser toolkit",
   "keywords": [],
   "files": [
     "lib"
@@ -39,7 +39,6 @@
     "@typescript-eslint/parser": "^5.42.1",
     "eslint": "^8.27.0",
     "husky": "^4.3.8",
-    "iterable-operator": "^2.2.0",
     "jest": "^29.3.0",
     "npm-run-all": "^4.1.5",
     "return-style": "^1.0.0",
@@ -51,6 +50,7 @@
     "typescript": "^4.8.4"
   },
   "dependencies": {
-    "@blackglory/prelude": "^0.1.8"
+    "@blackglory/prelude": "^0.1.8",
+    "iterable-operator": "^2.3.0"
   }
 }