extra-parser 0.6.5 → 0.7.0

package/README.md

@@ -8,17 +8,6 @@ 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 {
@@ -41,11 +30,11 @@ interface INodePatternMatch<Node extends INode> {
 }
 
 interface ITokenPattern<Token extends IToken = IToken> {
-  (text: string): Awaitable<ITokenPatternMatch<Token> | Falsy>
+  (text: string): ITokenPatternMatch<Token> | Falsy
 }
 
 interface INodePattern<Token extends IToken = IToken, Node extends INode = INode> {
-  (tokens: ReadonlyArray<Token>): Awaitable<INodePatternMatch<Node> | Falsy>
+  (tokens: ReadonlyArray<Token>): INodePatternMatch<Node> | Falsy
 }
 
 type MapSequenceToPatterns<
@@ -54,12 +43,12 @@ type MapSequenceToPatterns<
 , Node extends INode = INode
 > = {
   [Index in keyof Sequence]:
-    [Sequence[Index]] extends [infer Element]
+    [Sequence[Index]] extends [infer TokenOrNode]
   ? (
-      Element extends Token
+      TokenOrNode extends Token
       ? string
-    : Element extends Node
-      ? INodePattern<Token, Element>
+    : TokenOrNode extends Node
+      ? INodePattern<Token, TokenOrNode>
     : never
     )
   : never
@@ -71,12 +60,12 @@ type MapSequenceToMatches<
 , Node extends INode = INode
 > = {
   [Index in keyof Sequence]:
-    [Sequence[Index]] extends [infer Element]
+    [Sequence[Index]] extends [infer TokenOrNode]
   ? (
-      Element extends IToken
+      TokenOrNode extends IToken
       ? Token
-    : Element extends INode
-      ? INodePatternMatch<Element>
+    : TokenOrNode extends INode
+      ? INodePatternMatch<TokenOrNode>
     : never
     )
   : never
@@ -88,7 +77,7 @@ type MapSequenceToMatches<
 function tokenize<Token extends IToken = IToken>(
   patterns: Array<ITokenPattern<Token>>
 , text: string
-): AsyncIterableIterator<Token>
+): IterableIterator<Token>
 ```
 
 ### parse
@@ -96,7 +85,7 @@ function tokenize<Token extends IToken = IToken>(
 function parse<Token extends IToken = IToken, Node extends INode = INode>(
   patterns: Array<INodePattern<Token, Node>>
 , tokens: Token[]
-): AsyncIterableIterator<Node>
+): IterableIterator<Node>
 ```
 
 ### consumeNode
@@ -107,7 +96,7 @@ function consumeNode<
 >(
   nodePattern: INodePattern<Token, Node>
 , tokens: Token[]
-): Promise<INodePatternMatch<Node> | Falsy>
+): INodePatternMatch<Node> | Falsy
 ```
 
 ### consumeToken
@@ -126,7 +115,7 @@ function matchAnyOf<
 >(
   nodePatterns: ReadonlyArray<INodePattern<Token, Node>>
 , tokens: ReadonlyArray<Token>
-): Promise<INodePatternMatch<Node> | Falsy>
+): INodePatternMatch<Node> | Falsy
 ```
 
 ### matchSequence
@@ -138,7 +127,7 @@ function matchSequence<
 >(
   patterns: MapSequenceToPatterns<Sequence, Token, Node>
 , tokens: ReadonlyArray<Token>
-): Promise<MapSequenceToMatches<Sequence, Token, Node> | Falsy>
+): MapSequenceToMatches<Sequence, Token, Node> | Falsy
 ```
 
 ### matchRepetitions
@@ -154,7 +143,7 @@ function matchRepetitions<
     minimumRepetitions?: number = 1
     maximumRepetitions?: number = Infinity
   }
-): Promise<Array<Token | INodePatternMatch<Node>> | Falsy>
+): Array<Token | INodePatternMatch<Node>> | Falsy
 ```
 
 ### createTokenPatternFromRegExp

package/lib/consume-node.d.ts

@@ -1,3 +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>;
+export declare function consumeNode<Token extends IToken = IToken, Node extends INode = INode>(nodePattern: INodePattern<Token, Node>, tokens: Token[]): INodePatternMatch<Node> | Falsy;

package/lib/consume-node.js

@@ -2,8 +2,8 @@
 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);
+function consumeNode(nodePattern, tokens) {
+    const match = nodePattern(tokens);
     if ((0, prelude_1.isntFalsy)(match)) {
         tokens.splice(0, match.consumed);
         return match;

package/lib/consume-node.js.map

@@ -1 +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"}
+{"version":3,"file":"consume-node.js","sourceRoot":"","sources":["../src/consume-node.ts"],"names":[],"mappings":";;;AAAA,iDAAsD;AAQtD,SAAgB,WAAW,CAIzB,WAAsC,EACtC,MAAe;IAEf,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAA;IAEjC,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/create-binary-operator-expression-node-pattern.js

@@ -4,8 +4,8 @@ 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)([
+    return tokens => {
+        const matches = (0, match_sequence_1.matchSequence)([
             leftNodePattern,
             centerTokenType,
             rightNodePattern

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

@@ -1 +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"}
+{"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,MAAM,CAAC,EAAE;QACd,MAAM,OAAO,GAAG,IAAA,8BAAa,EAC3B;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.js

@@ -4,8 +4,8 @@ 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)([
+    return tokens => {
+        const matches = (0, match_sequence_1.matchSequence)([
             leftTokenType,
             centerNodePattern,
             rightTokenType

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

@@ -1 +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"}
+{"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,MAAM,CAAC,EAAE;QACd,MAAM,OAAO,GAAG,IAAA,8BAAa,EAC3B;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-unary-operator-expression-node-pattern.js

@@ -4,8 +4,8 @@ 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)([
+    return tokens => {
+        const matches = (0, match_sequence_1.matchSequence)([
             leftTokenType,
             rightNodePattern
         ], tokens);

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

@@ -1 +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"}
+{"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,MAAM,CAAC,EAAE;QACd,MAAM,OAAO,GAAG,IAAA,8BAAa,EAC3B;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/match-any-of.d.ts

@@ -1,3 +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>;
+export declare function matchAnyOf<Token extends IToken = IToken, Node extends INode = INode>(nodePatterns: ReadonlyArray<INodePattern<Token, Node>>, tokens: ReadonlyArray<Token>): INodePatternMatch<Node> | Falsy;

package/lib/match-any-of.js

@@ -2,9 +2,9 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.matchAnyOf = void 0;
 const prelude_1 = require("@blackglory/prelude");
-async function matchAnyOf(nodePatterns, tokens) {
+function matchAnyOf(nodePatterns, tokens) {
     for (const pattern of nodePatterns) {
-        const match = await pattern(tokens);
+        const match = pattern(tokens);
         if ((0, prelude_1.isntFalsy)(match)) {
             return match;
         }

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

@@ -1 +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"}
+{"version":3,"file":"match-any-of.js","sourceRoot":"","sources":["../src/match-any-of.ts"],"names":[],"mappings":";;;AAAA,iDAAsD;AAMtD,SAAgB,UAAU,CAIxB,YAAsD,EACtD,MAA4B;IAE5B,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAC7B,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;YACpB,OAAO,KAAK,CAAA;SACb;KACF;AACH,CAAC;AAbD,gCAaC"}

package/lib/match-repetitions.d.ts

@@ -3,4 +3,4 @@ import { IToken, INode, MapSequenceToPatterns, INodePatternMatch } from './types
 export declare function matchRepetitions<Sequence extends ReadonlyArray<Token | Node>, Token extends IToken = IToken, Node extends INode = INode>(patterns: MapSequenceToPatterns<Sequence, Token, Node>, tokens: ReadonlyArray<Token>, { minimumRepetitions, maximumRepetitions }?: {
     minimumRepetitions?: number;
     maximumRepetitions?: number;
-}): Promise<Array<Token | INodePatternMatch<Node>> | Falsy>;
+}): Array<Token | INodePatternMatch<Node>> | Falsy;

package/lib/match-repetitions.js

@@ -3,7 +3,7 @@ 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 } = {}) {
+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');
@@ -11,26 +11,33 @@ async function matchRepetitions(patterns, tokens, { minimumRepetitions = 1, maxi
     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);
+        const matches = (0, match_sequence_1.matchSequence)(patterns, mutableTokens);
         if ((0, prelude_1.isntFalsy)(matches)) {
-            results.push(matches);
-            mutableTokens.splice(0, matches.length);
+            handleMatches(matches);
         }
         else {
             return;
         }
     }
     for (let i = minimumRepetitions; i < maximumRepetitions; i++) {
-        const matches = await (0, match_sequence_1.matchSequence)(patterns, mutableTokens);
+        const matches = (0, match_sequence_1.matchSequence)(patterns, mutableTokens);
         if ((0, prelude_1.isntFalsy)(matches)) {
-            results.push(matches);
-            mutableTokens.splice(0, matches.length);
+            handleMatches(matches);
         }
         else {
             break;
         }
     }
-    return results.flat();
+    return results;
+    function handleMatches(matches) {
+        results.push(...matches);
+        mutableTokens.splice(0, getConsumed(matches));
+    }
 }
 exports.matchRepetitions = matchRepetitions;
+function getConsumed(matches) {
+    return matches
+        .map(match => 'consumed' in match ? match.consumed : 1)
+        .reduce((acc, cur) => acc + cur);
+}
 //# sourceMappingURL=match-repetitions.js.map

package/lib/match-repetitions.js.map

@@ -1 +1 @@
-{"version":3,"file":"match-repetitions.js","sourceRoot":"","sources":["../src/match-repetitions.ts"],"names":[],"mappings":";;;AAAA,iDAAuE;AAEvE,qDAAgD;AAEzC,KAAK,UAAU,gBAAgB,CAKpC,QAAsD,EACtD,MAA4B,EAC5B,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,GAAuD,EAAE,CAAA;IACtE,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,EAA4C,CAAA;AACjE,CAAC;AArDD,4CAqDC"}
+{"version":3,"file":"match-repetitions.js","sourceRoot":"","sources":["../src/match-repetitions.ts"],"names":[],"mappings":";;;AAAA,iDAAuE;AAEvE,qDAAgD;AAEhD,SAAgB,gBAAgB,CAK9B,QAAsD,EACtD,MAA4B,EAC5B,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,GAA2C,EAAE,CAAA;IAC1D,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,IAAA,8BAAa,EAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;QACtD,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,aAAa,CAAC,OAAO,CAAC,CAAA;SACvB;aAAM;YACL,OAAM;SACP;KACF;IAED,KAAK,IAAI,CAAC,GAAG,kBAAkB,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,EAAE,EAAE;QAC5D,MAAM,OAAO,GAAG,IAAA,8BAAa,EAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;QACtD,IAAI,IAAA,mBAAS,EAAC,OAAO,CAAC,EAAE;YACtB,aAAa,CAAC,OAAO,CAAC,CAAA;SACvB;aAAM;YACL,MAAK;SACN;KACF;IAED,OAAO,OAAO,CAAA;IAEd,SAAS,aAAa,CACpB,OAAoD;QAEpD,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAA;QACxB,aAAa,CAAC,MAAM,CAClB,CAAC,EACD,WAAW,CAAC,OAAiD,CAAC,CAC/D,CAAA;IACH,CAAC;AACH,CAAC;AA7DD,4CA6DC;AAED,SAAS,WAAW,CAAC,OAAiD;IACpE,OAAO,OAAO;SACX,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAA;AACpC,CAAC"}

package/lib/match-sequence.d.ts

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

package/lib/match-sequence.js

@@ -5,7 +5,7 @@ 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) {
+function matchSequence(patterns, tokens) {
     if (isTokenTypes(patterns)) {
         const matches = [];
         const mutableTokens = (0, prelude_1.toArray)(tokens);
@@ -24,7 +24,7 @@ async function matchSequence(patterns, tokens) {
         const matches = [];
         const mutableTokens = (0, prelude_1.toArray)(tokens);
         for (const pattern of patterns) {
-            const match = await (0, consume_node_1.consumeNode)(pattern, mutableTokens);
+            const match = (0, consume_node_1.consumeNode)(pattern, mutableTokens);
             if ((0, prelude_1.isntFalsy)(match)) {
                 matches.push(match);
             }
@@ -38,7 +38,7 @@ async function matchSequence(patterns, tokens) {
         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);
+            const leftMatch = nodePattern(leftTokens);
             if ((0, prelude_1.isntFalsy)(leftMatch) &&
                 leftMatch.consumed === indexOfToken) {
                 const matches = [
@@ -53,7 +53,7 @@ async function matchSequence(patterns, tokens) {
         const matches = [];
         const remainingTokens = (0, prelude_1.toArray)(tokens);
         for (const subPatterns of splitPatterns(patterns)) {
-            const subMatches = await matchSequence(subPatterns, remainingTokens);
+            const subMatches = matchSequence(subPatterns, remainingTokens);
             if ((0, prelude_1.isntFalsy)(subMatches)) {
                 const consumed = subMatches
                     .map((match) => {

package/lib/match-sequence.js.map

@@ -1 +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,CAKjC,QAAsD,EACtD,MAA4B;IAE5B,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE;QAC1B,MAAM,OAAO,GAAiB,EAAE,CAAA;QAEhC,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,OAAsD,CAAA;KAC9D;SAAM,IAAI,cAAc,CAAc,QAAQ,CAAC,EAAE;QAChD,MAAM,OAAO,GAAmC,EAAE,CAAA;QAElD,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,OAAsD,CAAA;KAC9D;SAAM,IAAI,qBAAqB,CAAc,QAAQ,CAAC,EAAE;QACvD,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,GAAqC;oBAChD,SAAS;oBACT,MAAM,CAAC,YAAY,CAAC;iBACrB,CAAA;gBACD,OAAO,OAAyC,CAAA;aACjD;SACF;KACF;SAAM;QACL,MAAM,OAAO,GAA2C,EAAE,CAAA;QAC1D,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,WAA2D,EAC3D,eAAe,CAChB,CAAA;YACD,IAAI,IAAA,mBAAS,EAAC,UAAU,CAAC,EAAE;gBACzB,MAAM,QAAQ,GAAG,UAAU;qBACxB,GAAG,CAAC,CAAC,KAAsC,EAAE,EAAE;oBAC9C,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;AA/ED,sCA+EC;AAUD,QAAe,CAAC,CAAC,aAAa,CAK5B,QAAsD;IAEtD,MAAM,eAAe,GAA8C,IAAA,iBAAO,EAAC,QAAQ,CAAC,CAAA;IAEpF,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;AAjCD,sCAiCC;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"}
+{"version":3,"file":"match-sequence.js","sourceRoot":"","sources":["../src/match-sequence.ts"],"names":[],"mappings":";;;AAAA,iDAO4B;AAC5B,yDAAkD;AASlD,mDAA8C;AAC9C,iDAA4C;AAW5C,SAAgB,aAAa,CAK3B,QAAsD,EACtD,MAA4B;IAE5B,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE;QAC1B,MAAM,OAAO,GAAiB,EAAE,CAAA;QAEhC,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,OAAsD,CAAA;KAC9D;SAAM,IAAI,cAAc,CAAc,QAAQ,CAAC,EAAE;QAChD,MAAM,OAAO,GAAmC,EAAE,CAAA;QAElD,MAAM,aAAa,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;YAC9B,MAAM,KAAK,GAAG,IAAA,0BAAW,EAAC,OAAO,EAAE,aAAa,CAAC,CAAA;YACjD,IAAI,IAAA,mBAAS,EAAC,KAAK,CAAC,EAAE;gBACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;aACpB;iBAAM;gBACL,OAAM;aACP;SACF;QAED,OAAO,OAAsD,CAAA;KAC9D;SAAM,IAAI,qBAAqB,CAAc,QAAQ,CAAC,EAAE;QACvD,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,WAAW,CAAC,UAAU,CAAC,CAAA;YACzC,IACE,IAAA,mBAAS,EAAC,SAAS,CAAC;gBACpB,SAAS,CAAC,QAAQ,KAAK,YAAY,EACnC;gBACA,MAAM,OAAO,GAAqC;oBAChD,SAAS;oBACT,MAAM,CAAC,YAAY,CAAC;iBACrB,CAAA;gBACD,OAAO,OAAyC,CAAA;aACjD;SACF;KACF;SAAM;QACL,MAAM,OAAO,GAA2C,EAAE,CAAA;QAC1D,MAAM,eAAe,GAAG,IAAA,iBAAO,EAAC,MAAM,CAAC,CAAA;QACvC,KAAK,MAAM,WAAW,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE;YACjD,MAAM,UAAU,GAAG,aAAa,CAC9B,WAA2D,EAC3D,eAAe,CAChB,CAAA;YACD,IAAI,IAAA,mBAAS,EAAC,UAAU,CAAC,EAAE;gBACzB,MAAM,QAAQ,GAAG,UAAU;qBACxB,GAAG,CAAC,CAAC,KAAsC,EAAE,EAAE;oBAC9C,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;AA/ED,sCA+EC;AAUD,QAAe,CAAC,CAAC,aAAa,CAK5B,QAAsD;IAEtD,MAAM,eAAe,GAA8C,IAAA,iBAAO,EAAC,QAAQ,CAAC,CAAA;IAEpF,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;AAjCD,sCAiCC;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>(patterns: Array<INodePattern<Token, Node>>, tokens: Token[]): AsyncIterableIterator<Node>;
+export declare function parse<Token extends IToken = IToken, Node extends INode = INode>(patterns: Array<INodePattern<Token, Node>>, tokens: Token[]): IterableIterator<Node>;

package/lib/parse.js

@@ -2,12 +2,12 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.parse = void 0;
 const prelude_1 = require("@blackglory/prelude");
-async function* parse(patterns, tokens) {
+function* parse(patterns, tokens) {
     let i = 0;
     loop: while (i < tokens.length) {
         const remainingTokens = tokens.slice(i);
         for (const pattern of patterns) {
-            const result = await pattern(remainingTokens);
+            const result = pattern(remainingTokens);
             if ((0, prelude_1.isntFalsy)(result)) {
                 yield result.node;
                 i += result.consumed;

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,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"}
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAG/C,QAAe,CAAC,CAAC,KAAK,CAIpB,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,OAAO,CAAC,eAAe,CAAC,CAAA;YACvC,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>(patterns: Array<ITokenPattern<Token>>, text: string): AsyncIterableIterator<Token>;
+export declare function tokenize<Token extends IToken = IToken>(patterns: Array<ITokenPattern<Token>>, text: string): IterableIterator<Token>;

package/lib/tokenize.js

@@ -2,12 +2,12 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.tokenize = void 0;
 const prelude_1 = require("@blackglory/prelude");
-async function* tokenize(patterns, text) {
+function* tokenize(patterns, text) {
     let i = 0;
     loop: while (i < text.length) {
         const remainingText = text.slice(i);
         for (const pattern of patterns) {
-            const result = await pattern(remainingText);
+            const result = pattern(remainingText);
             if ((0, prelude_1.isntFalsy)(result)) {
                 yield result.token;
                 i += result.consumed;

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,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"}
+{"version":3,"file":"tokenize.js","sourceRoot":"","sources":["../src/tokenize.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAG/C,QAAe,CAAC,CAAC,QAAQ,CACvB,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,OAAO,CAAC,aAAa,CAAC,CAAA;YACrC,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

@@ -1,4 +1,4 @@
-import { Falsy, Awaitable } from '@blackglory/prelude';
+import { Falsy } from '@blackglory/prelude';
 export interface IToken {
     tokenType: string;
     value: string;
@@ -15,18 +15,18 @@ export interface INodePatternMatch<Node extends INode> {
     node: Node;
 }
 export interface ITokenPattern<Token extends IToken = IToken> {
-    (text: string): Awaitable<ITokenPatternMatch<Token> | Falsy>;
+    (text: string): ITokenPatternMatch<Token> | Falsy;
 }
 export interface INodePattern<Token extends IToken = IToken, Node extends INode = INode> {
-    (tokens: ReadonlyArray<Token>): Awaitable<INodePatternMatch<Node> | Falsy>;
+    (tokens: ReadonlyArray<Token>): INodePatternMatch<Node> | Falsy;
 }
 export declare type MapSequenceToPatterns<Sequence extends ReadonlyArray<Token | Node>, Token extends IToken = IToken, Node extends INode = INode> = {
     [Index in keyof Sequence]: [
         Sequence[Index]
-    ] extends [infer Element] ? (Element extends Token ? string : Element extends Node ? INodePattern<Token, Element> : never) : never;
+    ] extends [infer TokenOrNode] ? (TokenOrNode extends Token ? string : TokenOrNode extends Node ? INodePattern<Token, TokenOrNode> : never) : never;
 };
 export declare type MapSequenceToMatches<Sequence extends ReadonlyArray<Token | Node>, Token extends IToken = IToken, Node extends INode = INode> = {
     [Index in keyof Sequence]: [
         Sequence[Index]
-    ] extends [infer Element] ? (Element extends IToken ? Token : Element extends INode ? INodePatternMatch<Element> : never) : never;
+    ] extends [infer TokenOrNode] ? (TokenOrNode extends IToken ? Token : TokenOrNode extends INode ? INodePatternMatch<TokenOrNode> : never) : never;
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "extra-parser",
-  "version": "0.6.5",
+  "version": "0.7.0",
   "description": "A functional parser toolkit",
   "keywords": [],
   "files": [

package/src/consume-node.ts

@@ -6,14 +6,14 @@ import { IToken, INode, INodePattern, INodePatternMatch } from './types'
  * 
  * @param tokens 匹配成功时会发生原地修改
  */
-export async function consumeNode<
+export function consumeNode<
   Token extends IToken = IToken
 , Node extends INode = INode
 >(
   nodePattern: INodePattern<Token, Node>
 , tokens: Token[]
-): Promise<INodePatternMatch<Node> | Falsy> {
-  const match = await nodePattern(tokens)
+): INodePatternMatch<Node> | Falsy {
+  const match = nodePattern(tokens)
 
   if (isntFalsy(match)) {
     tokens.splice(0, match.consumed)

package/src/create-binary-operator-expression-node-pattern.ts

@@ -26,8 +26,8 @@ export function createBinaryOperatorExpressionNodePattern<
   Token
 , IBinaryOperatorExpressionNode<Node['nodeType'], Node['left'], Node['right']>
 > {
-  return async tokens => {
-    const matches = await matchSequence<[INode, IToken, INode]>(
+  return tokens => {
+    const matches = matchSequence<[INode, IToken, INode]>(
       [
         leftNodePattern as INodePattern<IToken, LeftNode>
       , centerTokenType

package/src/create-grouped-expression-node-pattern.ts

@@ -10,8 +10,8 @@ export function createGroupedExpressionNodePattern<
   rightTokenType: string
   centerNodePattern: INodePattern<Token, CenterNode>
 }): INodePattern<Token, CenterNode> {
-  return async tokens => {
-    const matches = await matchSequence<[IToken, INode, IToken]>(
+  return tokens => {
+    const matches = matchSequence<[IToken, INode, IToken]>(
       [
         leftTokenType
       , centerNodePattern as INodePattern<IToken, CenterNode>

package/src/create-unary-operator-expression-node-pattern.ts

@@ -22,8 +22,8 @@ export function createUnaryOperatorExpressionNodePattern<
   Token
 , IUnaryOperatorExpressionNode<Node['nodeType'], Node['right']>
 > {
-  return async tokens => {
-    const matches = await matchSequence<[IToken, INode]>(
+  return tokens => {
+    const matches = matchSequence<[IToken, INode]>(
       [
         leftTokenType
       , rightNodePattern as INodePattern<IToken, RightNode>

package/src/match-any-of.ts

@@ -4,15 +4,15 @@ import { IToken, INode, INodePattern, INodePatternMatch } from './types'
 /**
  * 从多个模式中依序匹配, 直到有一个匹配结果为真值, 返回该真值.
  */
-export async function matchAnyOf<
+export function matchAnyOf<
   Token extends IToken = IToken
 , Node extends INode = INode
 >(
   nodePatterns: ReadonlyArray<INodePattern<Token, Node>>
 , tokens: ReadonlyArray<Token>
-): Promise<INodePatternMatch<Node> | Falsy> {
+): INodePatternMatch<Node> | Falsy {
   for (const pattern of nodePatterns) {
-    const match = await pattern(tokens)
+    const match = pattern(tokens)
     if (isntFalsy(match)) {
       return match
     }

package/src/match-repetitions.ts

@@ -2,7 +2,7 @@ import { assert, Falsy, isntFalsy, toArray } from '@blackglory/prelude'
 import { IToken, INode, MapSequenceToPatterns, MapSequenceToMatches, INodePatternMatch } from './types'
 import { matchSequence } from './match-sequence'
 
-export async function matchRepetitions<
+export function matchRepetitions<
   Sequence extends ReadonlyArray<Token | Node>
 , Token extends IToken = IToken
 , Node extends INode = INode
@@ -16,7 +16,7 @@ export async function matchRepetitions<
     minimumRepetitions?: number
     maximumRepetitions?: number
   } = {}
-): Promise<Array<Token | INodePatternMatch<Node>> | Falsy> {
+): Array<Token | INodePatternMatch<Node>> | Falsy {
   assert(Number.isInteger(minimumRepetitions), 'The minimum repetiions must be an integer')
   assert(
     minimumRepetitions >= 0
@@ -31,28 +31,42 @@ export async function matchRepetitions<
   , 'The maximum repetitions must be greater than or equal to the minimum repetitions'
   )
 
-  const results: Array<MapSequenceToMatches<Sequence, Token, Node>> = []
+  const results: Array<Token | INodePatternMatch<Node>> = []
   const mutableTokens = toArray(tokens)
 
   for (let i = 0; i < minimumRepetitions; i++) {
-    const matches = await matchSequence(patterns, mutableTokens)
+    const matches = matchSequence(patterns, mutableTokens)
     if (isntFalsy(matches)) {
-      results.push(matches)
-      mutableTokens.splice(0, matches.length)
+      handleMatches(matches)
     } else {
       return
     }
   }
 
   for (let i = minimumRepetitions; i < maximumRepetitions; i++) {
-    const matches = await matchSequence(patterns, mutableTokens)
+    const matches = matchSequence(patterns, mutableTokens)
     if (isntFalsy(matches)) {
-      results.push(matches)
-      mutableTokens.splice(0, matches.length)
+      handleMatches(matches)
     } else {
       break
     }
   }
 
-  return results.flat() as Array<Token | INodePatternMatch<Node>>
+  return results
+
+  function handleMatches(
+    matches: MapSequenceToMatches<Sequence, Token, Node>
+  ): void {
+    results.push(...matches)
+    mutableTokens.splice(
+      0
+    , getConsumed(matches as Array<Token | INodePatternMatch<Node>>)
+    )
+  }
+}
+
+function getConsumed(matches: Array<IToken | INodePatternMatch<INode>>): number {
+  return matches
+    .map(match => 'consumed' in match ? match.consumed : 1)
+    .reduce((acc, cur) => acc + cur)
 }

package/src/match-sequence.ts

@@ -27,14 +27,14 @@ import { consumeNode } from './consume-node'
  *    这种子模式适用于二元或三元运算符这样的规则.
  *    在引擎盖下, 它首先匹配TokenType以防止NodePattern在匹配时陷入死循环.
  */
-export async function matchSequence<
+export function matchSequence<
   Sequence extends ReadonlyArray<Token | Node>
 , Token extends IToken = IToken
 , Node extends INode = INode
 >(
   patterns: MapSequenceToPatterns<Sequence, Token, Node>
 , tokens: ReadonlyArray<Token>
-): Promise<MapSequenceToMatches<Sequence, Token, Node> | Falsy> {
+): MapSequenceToMatches<Sequence, Token, Node> | Falsy {
   if (isTokenTypes(patterns)) {
     const matches: Array<Token> = []
 
@@ -54,7 +54,7 @@ export async function matchSequence<
 
     const mutableTokens = toArray(tokens)
     for (const pattern of patterns) {
-      const match = await consumeNode(pattern, mutableTokens)
+      const match = consumeNode(pattern, mutableTokens)
       if (isntFalsy(match)) {
         matches.push(match)
       } else {
@@ -70,7 +70,7 @@ export async function matchSequence<
       const indexOfToken of findAllIndexes(tokens, x => x.tokenType === tokenType)
     ) {
       const leftTokens = tokens.slice(0, indexOfToken)
-      const leftMatch = await nodePattern(leftTokens)
+      const leftMatch = nodePattern(leftTokens)
       if (
         isntFalsy(leftMatch) &&
         leftMatch.consumed === indexOfToken
@@ -86,7 +86,7 @@ export async function matchSequence<
     const matches: Array<INodePatternMatch<Node> | Token> = []
     const remainingTokens = toArray(tokens)
     for (const subPatterns of splitPatterns(patterns)) {
-      const subMatches = await matchSequence(
+      const subMatches = matchSequence(
         subPatterns as MapSequenceToPatterns<Sequence, Token, Node>
       , remainingTokens
       )

package/src/parse.ts

@@ -1,19 +1,19 @@
 import { isntFalsy } from '@blackglory/prelude'
 import { IToken, INodePattern, INode } from './types'
 
-export async function* parse<
+export function* parse<
   Token extends IToken = IToken
 , Node extends INode = INode
 >(
   patterns: Array<INodePattern<Token, Node>>
 , tokens: Token[]
-): AsyncIterableIterator<Node> {
+): IterableIterator<Node> {
   let i = 0
   loop: while (i < tokens.length) {
     const remainingTokens = tokens.slice(i)
 
     for (const pattern of patterns) {
-      const result = await pattern(remainingTokens)
+      const result = pattern(remainingTokens)
       if (isntFalsy(result)) {
         yield result.node
         i += result.consumed

package/src/tokenize.ts

@@ -1,16 +1,16 @@
 import { isntFalsy } from '@blackglory/prelude'
 import { ITokenPattern, IToken } from './types'
 
-export async function* tokenize<Token extends IToken = IToken>(
+export function* tokenize<Token extends IToken = IToken>(
   patterns: Array<ITokenPattern<Token>>
 , text: string
-): AsyncIterableIterator<Token> {
+): IterableIterator<Token> {
   let i = 0
   loop: while (i < text.length) {
     const remainingText = text.slice(i)
 
     for (const pattern of patterns) {
-      const result = await pattern(remainingText)
+      const result = pattern(remainingText)
       if (isntFalsy(result)) {
         yield result.token
         i += result.consumed

package/src/types.ts

@@ -1,4 +1,4 @@
-import { Falsy, Awaitable } from '@blackglory/prelude'
+import { Falsy } from '@blackglory/prelude'
 
 export interface IToken {
   tokenType: string
@@ -20,14 +20,14 @@ export interface INodePatternMatch<Node extends INode> {
 }
 
 export interface ITokenPattern<Token extends IToken = IToken> {
-  (text: string): Awaitable<ITokenPatternMatch<Token> | Falsy>
+  (text: string): ITokenPatternMatch<Token> | Falsy
 }
 
 export interface INodePattern<
   Token extends IToken = IToken
 , Node extends INode = INode
 > {
-  (tokens: ReadonlyArray<Token>): Awaitable<INodePatternMatch<Node> | Falsy>
+  (tokens: ReadonlyArray<Token>): INodePatternMatch<Node> | Falsy
 }
 
 export type MapSequenceToPatterns<
@@ -36,12 +36,12 @@ export type MapSequenceToPatterns<
 , Node extends INode = INode
 > = {
   [Index in keyof Sequence]:
-    [Sequence[Index]] extends [infer Element]
+    [Sequence[Index]] extends [infer TokenOrNode]
   ? (
-      Element extends Token
+      TokenOrNode extends Token
       ? string
-    : Element extends Node
-      ? INodePattern<Token, Element>
+    : TokenOrNode extends Node
+      ? INodePattern<Token, TokenOrNode>
     : never
     )
   : never
@@ -53,12 +53,12 @@ export type MapSequenceToMatches<
 , Node extends INode = INode
 > = {
   [Index in keyof Sequence]:
-    [Sequence[Index]] extends [infer Element]
+    [Sequence[Index]] extends [infer TokenOrNode]
   ? (
-      Element extends IToken
+      TokenOrNode extends IToken
       ? Token
-    : Element extends INode
-      ? INodePatternMatch<Element>
+    : TokenOrNode extends INode
+      ? INodePatternMatch<TokenOrNode>
     : never
     )
   : never