pareto-core 0.1.232 → 0.1.234
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/implementation/__internal/sync/data_switch.d.ts +2 -0
- package/dist/implementation/__internal/sync/data_switch.js +6 -1
- package/dist/implementation/command/__internal/decide.d.ts +4 -0
- package/dist/implementation/command/__internal/decide.js +8 -1
- package/dist/implementation/query/__internal/decide.d.ts +4 -0
- package/dist/implementation/query/__internal/decide.js +8 -1
- package/dist/implementation/refiner/specials/iterate.js +13 -3
- package/dist/implementation/transformer/specials/unreachable_code_path.d.ts +2 -2
- package/dist/implementation/transformer/specials/unreachable_code_path.js +1 -1
- package/dist/interface/production/__internal/Iterator.d.ts +3 -0
- package/package.json +1 -1
|
@@ -16,8 +16,10 @@ export type Option<T extends p_di.Value> = readonly [string, T];
|
|
|
16
16
|
* return ss($.state, ($) => null)
|
|
17
17
|
* default: return au($.state[0])
|
|
18
18
|
* }
|
|
19
|
+
* @deprecated use 'option' instead
|
|
19
20
|
*/
|
|
20
21
|
export declare function ss<T extends p_di.Value, RT extends p_di.Value>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
22
|
+
export declare function option<T extends p_di.Value, RT extends p_di.Value>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
21
23
|
/**
|
|
22
24
|
* au means 'assert unreachable'. Used in the 'default' clause of switch statements to ensure
|
|
23
25
|
* during compile time that all possible cases have been implemented
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.ss = ss;
|
|
4
|
+
exports.option = option;
|
|
4
5
|
exports.au = au;
|
|
5
6
|
/**
|
|
6
7
|
* ss means 'switch state'.
|
|
@@ -18,10 +19,14 @@ exports.au = au;
|
|
|
18
19
|
* return ss($.state, ($) => null)
|
|
19
20
|
* default: return au($.state[0])
|
|
20
21
|
* }
|
|
22
|
+
* @deprecated use 'option' instead
|
|
21
23
|
*/
|
|
22
24
|
function ss(option, $c) {
|
|
23
25
|
return $c(option[1]);
|
|
24
26
|
}
|
|
27
|
+
function option(option, $c) {
|
|
28
|
+
return $c(option[1]);
|
|
29
|
+
}
|
|
25
30
|
/**
|
|
26
31
|
* au means 'assert unreachable'. Used in the 'default' clause of switch statements to ensure
|
|
27
32
|
* during compile time that all possible cases have been implemented
|
|
@@ -39,4 +44,4 @@ function ss(option, $c) {
|
|
|
39
44
|
function au(_x) {
|
|
40
45
|
throw new Error("unreachable");
|
|
41
46
|
}
|
|
42
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
47
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGF0YV9zd2l0Y2guanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvaW1wbGVtZW50YXRpb24vX19pbnRlcm5hbC9zeW5jL2RhdGFfc3dpdGNoLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7O0FBcUJBLGdCQUlDO0FBQ0Qsd0JBSUM7QUFnQkQsZ0JBSUM7QUEvQ0Q7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBaUJHO0FBQ0gsU0FBZ0IsRUFBRSxDQUNkLE1BQWlCLEVBQ2pCLEVBQWdCO0lBQ2hCLE9BQU8sRUFBRSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBQ3hCLENBQUM7QUFDRCxTQUFnQixNQUFNLENBQ2xCLE1BQWlCLEVBQ2pCLEVBQWdCO0lBQ2hCLE9BQU8sRUFBRSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO0FBQ3hCLENBQUM7QUFFRDs7Ozs7Ozs7Ozs7OztHQWFHO0FBQ0gsU0FBZ0IsRUFBRSxDQUNkLEVBQVM7SUFFVCxNQUFNLElBQUksS0FBSyxDQUFDLGFBQWEsQ0FBQyxDQUFBO0FBQ2xDLENBQUMifQ==
|
|
@@ -2,7 +2,11 @@ import * as p_di from "../../../interface/data";
|
|
|
2
2
|
import { Command_Promise } from "../../../interface/command/__internal/Command_Promise";
|
|
3
3
|
import { Command_Block } from "./Command_Block";
|
|
4
4
|
export type Option<T extends p_di.Value> = readonly [string, T];
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use 'option' instead
|
|
7
|
+
*/
|
|
5
8
|
export declare function ss<T extends p_di.Value, Error extends p_di.Value>(option: Option<T>, $c: ($: T) => Command_Block<Error>): Command_Block<Error>;
|
|
9
|
+
export declare function option<T extends p_di.Value, Error extends p_di.Value>(option: Option<T>, $c: ($: T) => Command_Block<Error>): Command_Block<Error>;
|
|
6
10
|
export declare function au<Error extends p_di.Value>(_x: never): Command_Block<Error>;
|
|
7
11
|
export declare namespace decide {
|
|
8
12
|
const state: <T extends p_di.State, Error extends p_di.Value>(state: T, assign: (output: T) => Command_Block<Error>) => Command_Promise<Error>;
|
|
@@ -5,12 +5,19 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
|
|
|
5
5
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
6
|
exports.decide = void 0;
|
|
7
7
|
exports.ss = ss;
|
|
8
|
+
exports.option = option;
|
|
8
9
|
exports.au = au;
|
|
9
10
|
const command_promise_1 = __importDefault(require("./command_promise"));
|
|
10
11
|
const handle_command_block_1 = __importDefault(require("./handle_command_block"));
|
|
12
|
+
/**
|
|
13
|
+
* @deprecated use 'option' instead
|
|
14
|
+
*/
|
|
11
15
|
function ss(option, $c) {
|
|
12
16
|
return $c(option[1]);
|
|
13
17
|
}
|
|
18
|
+
function option(option, $c) {
|
|
19
|
+
return $c(option[1]);
|
|
20
|
+
}
|
|
14
21
|
function au(_x) {
|
|
15
22
|
throw new Error("unreachable");
|
|
16
23
|
}
|
|
@@ -24,4 +31,4 @@ var decide;
|
|
|
24
31
|
});
|
|
25
32
|
};
|
|
26
33
|
})(decide || (exports.decide = decide = {}));
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
34
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVjaWRlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2ltcGxlbWVudGF0aW9uL2NvbW1hbmQvX19pbnRlcm5hbC9kZWNpZGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7Ozs7O0FBWUEsZ0JBUUM7QUFFRCx3QkFRQztBQUVELGdCQU1DO0FBbENELHdFQUErQztBQUMvQyxrRkFBeUQ7QUFJekQ7O0dBRUc7QUFDSCxTQUFnQixFQUFFLENBSWQsTUFBaUIsRUFDakIsRUFBa0M7SUFFbEMsT0FBTyxFQUFFLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFDeEIsQ0FBQztBQUVELFNBQWdCLE1BQU0sQ0FJbEIsTUFBaUIsRUFDakIsRUFBa0M7SUFFbEMsT0FBTyxFQUFFLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFDeEIsQ0FBQztBQUVELFNBQWdCLEVBQUUsQ0FHZCxFQUFTO0lBRVQsTUFBTSxJQUFJLEtBQUssQ0FBQyxhQUFhLENBQUMsQ0FBQTtBQUNsQyxDQUFDO0FBRUQsSUFBaUIsTUFBTSxDQXVCdEI7QUF2QkQsV0FBaUIsTUFBTTtJQUVOLFlBQUssR0FBRyxDQUlqQixLQUFRLEVBQ1IsTUFBMkMsRUFDckIsRUFBRTtRQUV4QixPQUFPLElBQUEseUJBQWUsRUFBQztZQUNuQixTQUFTLEVBQUUsQ0FDUCxVQUFVLEVBQ1YsUUFBUSxFQUNWLEVBQUU7Z0JBQ0EsSUFBQSw4QkFBb0IsRUFBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQ3ZDLFVBQVUsRUFDVixRQUFRLENBQ1gsQ0FBQTtZQUNMLENBQUM7U0FDSixDQUFDLENBQUE7SUFDTixDQUFDLENBQUE7QUFFTCxDQUFDLEVBdkJnQixNQUFNLHNCQUFOLE1BQU0sUUF1QnRCIn0=
|
|
@@ -1,7 +1,11 @@
|
|
|
1
1
|
import * as p_di from "../../../interface/data";
|
|
2
2
|
import * as p_qi from "../../../interface/query";
|
|
3
3
|
export type Option<T extends p_di.Value> = readonly [string, T];
|
|
4
|
+
/**
|
|
5
|
+
* @deprecated use 'option' instead
|
|
6
|
+
*/
|
|
4
7
|
export declare function ss<T extends p_di.Value, RT extends p_qi.Query_Result<any, any>>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
8
|
+
export declare function option<T extends p_di.Value, RT extends p_qi.Query_Result<any, any>>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
5
9
|
export declare function au<RT extends p_qi.Query_Result<any, any>>(_x: never): RT;
|
|
6
10
|
export declare namespace decide {
|
|
7
11
|
const state: <T extends p_di.State, RT extends p_qi.Query_Result<any, any>>(state: T, assign: (output: T) => RT) => RT;
|
|
@@ -2,10 +2,17 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.decide = void 0;
|
|
4
4
|
exports.ss = ss;
|
|
5
|
+
exports.option = option;
|
|
5
6
|
exports.au = au;
|
|
7
|
+
/**
|
|
8
|
+
* @deprecated use 'option' instead
|
|
9
|
+
*/
|
|
6
10
|
function ss(option, $c) {
|
|
7
11
|
return $c(option[1]);
|
|
8
12
|
}
|
|
13
|
+
function option(option, $c) {
|
|
14
|
+
return $c(option[1]);
|
|
15
|
+
}
|
|
9
16
|
function au(_x) {
|
|
10
17
|
throw new Error("unreachable");
|
|
11
18
|
}
|
|
@@ -15,4 +22,4 @@ var decide;
|
|
|
15
22
|
return assign(state);
|
|
16
23
|
};
|
|
17
24
|
})(decide || (exports.decide = decide = {}));
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
25
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVjaWRlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2ltcGxlbWVudGF0aW9uL3F1ZXJ5L19faW50ZXJuYWwvZGVjaWRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQVNBLGdCQUlDO0FBRUQsd0JBSUM7QUFFRCxnQkFJQztBQW5CRDs7R0FFRztBQUNILFNBQWdCLEVBQUUsQ0FDZCxNQUFpQixFQUNqQixFQUFnQjtJQUNoQixPQUFPLEVBQUUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUN4QixDQUFDO0FBRUQsU0FBZ0IsTUFBTSxDQUNsQixNQUFpQixFQUNqQixFQUFnQjtJQUNoQixPQUFPLEVBQUUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUN4QixDQUFDO0FBRUQsU0FBZ0IsRUFBRSxDQUNkLEVBQVM7SUFFVCxNQUFNLElBQUksS0FBSyxDQUFDLGFBQWEsQ0FBQyxDQUFBO0FBQ2xDLENBQUM7QUFFRCxJQUFpQixNQUFNLENBWXRCO0FBWkQsV0FBaUIsTUFBTTtJQUVOLFlBQUssR0FBRyxDQUlqQixLQUFRLEVBQ1IsTUFBeUIsRUFDdkIsRUFBRTtRQUNKLE9BQU8sTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFBO0lBQ3hCLENBQUMsQ0FBQTtBQUVMLENBQUMsRUFaZ0IsTUFBTSxzQkFBTixNQUFNLFFBWXRCIn0=
|
|
@@ -58,7 +58,12 @@ function iterate($$) {
|
|
|
58
58
|
break;
|
|
59
59
|
}
|
|
60
60
|
else {
|
|
61
|
-
|
|
61
|
+
const position_before = position;
|
|
62
|
+
const result = $x.handle();
|
|
63
|
+
if (position === position_before) {
|
|
64
|
+
return $x.on_no_progression(null);
|
|
65
|
+
}
|
|
66
|
+
raw.push(result);
|
|
62
67
|
}
|
|
63
68
|
}
|
|
64
69
|
return lit.list(raw);
|
|
@@ -74,7 +79,12 @@ function iterate($$) {
|
|
|
74
79
|
break;
|
|
75
80
|
}
|
|
76
81
|
else {
|
|
77
|
-
|
|
82
|
+
const position_before = position;
|
|
83
|
+
const result = $x.handle();
|
|
84
|
+
if (position === position_before) {
|
|
85
|
+
return $x.on_no_progression(null);
|
|
86
|
+
}
|
|
87
|
+
raw.push(...result.__get_raw());
|
|
78
88
|
}
|
|
79
89
|
}
|
|
80
90
|
return lit.list(raw);
|
|
@@ -126,4 +136,4 @@ function iterate($$) {
|
|
|
126
136
|
}
|
|
127
137
|
return result;
|
|
128
138
|
}
|
|
129
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
139
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaXRlcmF0ZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9pbXBsZW1lbnRhdGlvbi9yZWZpbmVyL3NwZWNpYWxzL2l0ZXJhdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFRQSwwQkFrTEM7QUF4TEQsbUVBQW9EO0FBTXBELFNBQXdCLE9BQU8sQ0FJN0IsRUFPRDtJQUVHLE1BQU0sR0FBRyxHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUE7SUFFL0IsSUFBSSxRQUFRLEdBQUcsQ0FBQyxDQUFBO0lBRWhCLE1BQU0sUUFBUSxHQUFHLENBQUMsS0FBYyxFQUE0QixFQUFFO1FBQzFELE1BQU0sR0FBRyxHQUFHLFFBQVEsR0FBRyxDQUFDLEtBQUssYUFBTCxLQUFLLGNBQUwsS0FBSyxHQUFJLENBQUMsQ0FBQyxDQUFBO1FBQ25DLElBQUksR0FBRyxHQUFHLENBQUMsSUFBSSxHQUFHLElBQUksR0FBRyxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQy9CLE9BQU8sSUFBSSxDQUFBO1FBQ2YsQ0FBQztRQUNELE9BQU8sQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQTtJQUNyQixDQUFDLENBQUE7SUFFRCxNQUFNLGVBQWUsR0FBRyxHQUl0QixFQUFFO1FBQ0EsT0FBTztZQUVILFVBQVUsRUFBRSxDQUErQixFQUkxQyxFQUF3QixFQUFFO2dCQUN2QixNQUFNLEdBQUcsR0FBZ0IsRUFBRSxDQUFBO2dCQUUzQixPQUFPLElBQUksRUFBRSxDQUFDO29CQUNWLE1BQU0sWUFBWSxHQUFHLFFBQVEsRUFBRSxDQUFBO29CQUMvQixJQUFJLFlBQVksS0FBSyxJQUFJLEVBQUUsQ0FBQzt3QkFDeEIsTUFBSztvQkFDVCxDQUFDO3lCQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsY0FBYyxDQUFDLFlBQVksQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7d0JBQzdDLE1BQUs7b0JBQ1QsQ0FBQzt5QkFBTSxDQUFDO3dCQUNKLE1BQU0sZUFBZSxHQUFHLFFBQVEsQ0FBQTt3QkFDaEMsTUFBTSxNQUFNLEdBQUcsRUFBRSxDQUFDLE1BQU0sRUFBRSxDQUFBO3dCQUMxQixJQUFJLFFBQVEsS0FBSyxlQUFlLEVBQUUsQ0FBQzs0QkFDL0IsT0FBTyxFQUFFLENBQUMsaUJBQWlCLENBQUMsSUFBSSxDQUFDLENBQUE7d0JBQ3JDLENBQUM7d0JBQ0QsR0FBRyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQTtvQkFDcEIsQ0FBQztnQkFDTCxDQUFDO2dCQUNELE9BQU8sR0FBRyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQTtZQUN4QixDQUFDO1lBRUQsd0JBQXdCLEVBQUUsQ0FBK0IsRUFJeEQsRUFBd0IsRUFBRTtnQkFDdkIsTUFBTSxHQUFHLEdBQWdCLEVBQUUsQ0FBQTtnQkFFM0IsT0FBTyxJQUFJLEVBQUUsQ0FBQztvQkFDVixNQUFNLFlBQVksR0FBRyxRQUFRLEVBQUUsQ0FBQTtvQkFDL0IsSUFBSSxZQUFZLEtBQUssSUFBSSxFQUFFLENBQUM7d0JBQ3hCLE1BQUs7b0JBQ1QsQ0FBQzt5QkFBTSxJQUFJLENBQUMsRUFBRSxDQUFDLGNBQWMsQ0FBQyxZQUFZLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO3dCQUM3QyxNQUFLO29CQUNULENBQUM7eUJBQU0sQ0FBQzt3QkFDSixNQUFNLGVBQWUsR0FBRyxRQUFRLENBQUE7d0JBQ2hDLE1BQU0sTUFBTSxHQUFHLEVBQUUsQ0FBQyxNQUFNLEVBQUUsQ0FBQTt3QkFDMUIsSUFBSSxRQUFRLEtBQUssZUFBZSxFQUFFLENBQUM7NEJBQy9CLE9BQU8sRUFBRSxDQUFDLGlCQUFpQixDQUFDLElBQUksQ0FBQyxDQUFBO3dCQUNyQyxDQUFDO3dCQUNELEdBQUcsQ0FBQyxJQUFJLENBQUMsR0FBRyxNQUFNLENBQUMsU0FBUyxFQUFFLENBQUMsQ0FBQTtvQkFDbkMsQ0FBQztnQkFDTCxDQUFDO2dCQUNELE9BQU8sR0FBRyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQTtZQUN4QixDQUFDO1lBRUQsT0FBTyxFQUFFLENBQ0wsT0FBTyxFQUNQLElBQUksRUFDTixFQUFFO2dCQUNBLE1BQU0sUUFBUSxHQUFHLFFBQVEsRUFBRSxDQUFBO2dCQUMzQixJQUFJLFFBQVEsS0FBSyxJQUFJLEVBQUUsQ0FBQztvQkFDcEIsT0FBTyxPQUFPLENBQ1YsRUFBRSxDQUFDLFFBQVEsQ0FDZCxDQUFBO2dCQUNMLENBQUM7Z0JBQ0QsUUFBUSxJQUFJLENBQUMsQ0FBQTtnQkFDYixPQUFPLElBQUksQ0FDUCxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQ2QsQ0FBQTtZQUNMLENBQUM7WUFFRCx3QkFBd0IsRUFBRSxDQUN0QixRQUFRLEVBQ1IsT0FBTyxFQUNQLElBQUksRUFDTixFQUFFO2dCQUNBLE1BQU0sUUFBUSxHQUFHLFFBQVEsRUFBRSxDQUFBO2dCQUMzQixJQUFJLFFBQVEsS0FBSyxJQUFJLEVBQUUsQ0FBQztvQkFDcEIsT0FBTyxPQUFPLENBQ1YsRUFBRSxDQUFDLFFBQVEsRUFDWCxRQUFRLENBQ1gsQ0FBQTtnQkFDTCxDQUFDO2dCQUNELFFBQVEsSUFBSSxDQUFDLENBQUE7Z0JBQ2IsT0FBTyxJQUFJLENBQ1AsUUFBUSxDQUFDLENBQUMsQ0FBQyxFQUNYLFFBQVEsQ0FDWCxDQUFBO1lBQ0wsQ0FBQztZQUVELElBQUksRUFBRSxDQUNGLE9BQU8sRUFDUCxJQUFJLEVBQ04sRUFBRTtnQkFDQSxNQUFNLElBQUksR0FBRyxRQUFRLEVBQUUsQ0FBQTtnQkFDdkIsSUFBSSxJQUFJLEtBQUssSUFBSSxFQUFFLENBQUM7b0JBQ2hCLE9BQU8sT0FBTyxDQUNWLEVBQUUsQ0FBQyxRQUFRLENBQ2QsQ0FBQTtnQkFDTCxDQUFDO2dCQUNELE9BQU8sSUFBSSxDQUNQLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FDVixDQUFBO1lBQ0wsQ0FBQztZQUVELFVBQVUsRUFBRSxDQUNSLE1BQU0sRUFDTixPQUFPLEVBQ1AsSUFBSSxFQUNOLEVBQUU7Z0JBQ0EsTUFBTSxJQUFJLEdBQUcsUUFBUSxDQUFDLE1BQU0sQ0FBQyxDQUFBO2dCQUM3QixJQUFJLElBQUksS0FBSyxJQUFJLEVBQUUsQ0FBQztvQkFDaEIsT0FBTyxPQUFPLENBQ1YsRUFBRSxDQUFDLFFBQVEsQ0FDZCxDQUFBO2dCQUNMLENBQUM7Z0JBQ0QsT0FBTyxJQUFJLENBQ1AsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUNWLENBQUE7WUFDTCxDQUFDO1lBRUQscUJBQXFCLEVBQUUsQ0FDbkIsUUFBUSxFQUNSLE9BQU8sRUFDUCxJQUFJLEVBQ04sRUFBRTtnQkFDQSxNQUFNLElBQUksR0FBRyxRQUFRLEVBQUUsQ0FBQTtnQkFDdkIsSUFBSSxJQUFJLEtBQUssSUFBSSxFQUFFLENBQUM7b0JBQ2hCLE9BQU8sT0FBTyxDQUNWLEVBQUUsQ0FBQyxRQUFRLEVBQ1gsUUFBUSxDQUNYLENBQUE7Z0JBQ0wsQ0FBQztnQkFDRCxPQUFPLElBQUksQ0FDUCxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQ1AsUUFBUSxDQUNYLENBQUE7WUFDTCxDQUFDO1NBRUosQ0FBQTtJQUNMLENBQUMsQ0FBQTtJQUVELE1BQU0sTUFBTSxHQUFHLEVBQUUsQ0FBQyxNQUFNLENBQ3BCLGVBQWUsRUFBRSxDQUNwQixDQUFBO0lBQ0QsSUFBSSxFQUFFLENBQUMsZ0JBQWdCLEtBQUssSUFBSSxFQUFFLENBQUM7UUFDL0IsSUFBSSxRQUFRLEdBQUcsR0FBRyxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ3hCLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQTtRQUN0QyxDQUFDO0lBQ0wsQ0FBQztJQUNELE9BQU8sTUFBTSxDQUFBO0FBQ2pCLENBQUMifQ==
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
export declare class Unreachable_Code_Path_Error {
|
|
2
|
-
constructor(message: string, stack
|
|
2
|
+
constructor(message: string, stack: string | undefined);
|
|
3
3
|
message: string;
|
|
4
|
-
stack
|
|
4
|
+
stack: string | undefined;
|
|
5
5
|
}
|
|
6
6
|
export default function unreachable_code_path(explanation: string): never;
|
|
@@ -13,4 +13,4 @@ function unreachable_code_path(explanation) {
|
|
|
13
13
|
const err = new Error(explanation);
|
|
14
14
|
throw new Unreachable_Code_Path_Error(explanation, err.stack);
|
|
15
15
|
}
|
|
16
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
16
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidW5yZWFjaGFibGVfY29kZV9wYXRoLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2ltcGxlbWVudGF0aW9uL3RyYW5zZm9ybWVyL3NwZWNpYWxzL3VucmVhY2hhYmxlX2NvZGVfcGF0aC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7QUFhQSx3Q0FHQztBQWZELE1BQWEsMkJBQTJCO0lBQ3BDLFlBQ0ksT0FBZSxFQUNmLEtBQTBCO1FBRTFCLElBQUksQ0FBQyxPQUFPLEdBQUcsT0FBTyxDQUFBO1FBQ3RCLElBQUksQ0FBQyxLQUFLLEdBQUcsS0FBSyxDQUFBO0lBQ3RCLENBQUM7Q0FHSjtBQVZELGtFQVVDO0FBRUQsU0FBd0IscUJBQXFCLENBQUMsV0FBbUI7SUFDN0QsTUFBTSxHQUFHLEdBQUcsSUFBSSxLQUFLLENBQUMsV0FBVyxDQUFDLENBQUE7SUFDbEMsTUFBTSxJQUFJLDJCQUEyQixDQUFDLFdBQVcsRUFBRSxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUE7QUFDakUsQ0FBQyJ9
|
|
@@ -1,12 +1,15 @@
|
|
|
1
1
|
import * as p_di from "../../data";
|
|
2
|
+
import { Abort } from "../../__internal/Abort";
|
|
2
3
|
export interface Iterator<Item extends p_di.Value, End_Info extends p_di.Value> {
|
|
3
4
|
build_list: <List_Item extends p_di.Value>($: {
|
|
4
5
|
has_more_items: ($: Item) => boolean;
|
|
5
6
|
handle: () => List_Item;
|
|
7
|
+
on_no_progression: Abort<null>;
|
|
6
8
|
}) => p_di.List<List_Item>;
|
|
7
9
|
build_list_with_segments: <List_Item extends p_di.Value>($: {
|
|
8
10
|
has_more_items: ($: Item) => boolean;
|
|
9
11
|
handle: () => p_di.List<List_Item>;
|
|
12
|
+
on_no_progression: Abort<null>;
|
|
10
13
|
}) => p_di.List<List_Item>;
|
|
11
14
|
consume: <T extends p_di.Value>(no_item: (end_info: End_Info) => T, item: (token: Item) => T) => T;
|
|
12
15
|
consume_with_expectation: <Value extends p_di.Value, Expected extends p_di.Value>(expected: Expected, no_item: (end_info: End_Info, expected: Expected) => Value, item: (token: Item, expected: Expected) => Value) => Value;
|