pareto-core 0.1.119 → 0.1.120
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.
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import * as _pi from "../../../interface";
|
|
2
|
-
export type Option<T> = readonly [string, T];
|
|
2
|
+
export type Option<T extends _pi.Value> = readonly [string, T];
|
|
3
3
|
/**
|
|
4
4
|
* ss means 'switch state'.
|
|
5
5
|
* used to make the value T the context variable ('$')
|
|
@@ -17,7 +17,7 @@ export type Option<T> = readonly [string, T];
|
|
|
17
17
|
* default: return au($.state[0])
|
|
18
18
|
* }
|
|
19
19
|
*/
|
|
20
|
-
export declare function ss<T, RT>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
20
|
+
export declare function ss<T extends _pi.Value, RT extends _pi.Value>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
21
21
|
/**
|
|
22
22
|
* au means 'assert unreachable'. Used in the 'default' clause of switch statements to ensure
|
|
23
23
|
* during compile time that all possible cases have been implemented
|
package/dist/query.d.ts
CHANGED
|
@@ -10,5 +10,8 @@ export * from "./__internals/async/__query_result";
|
|
|
10
10
|
export * from "./__internals/async/query";
|
|
11
11
|
export * from "./interface/algorithm_signatures/Query_Result";
|
|
12
12
|
export declare namespace decide {
|
|
13
|
+
type Option<T extends _pi.Value> = readonly [string, T];
|
|
14
|
+
function ss<T extends _pi.Value, RT extends _pi.Query_Result<any, any>>(option: Option<T>, $c: ($: T) => RT): RT;
|
|
15
|
+
function au<RT extends _pi.Query_Result<any, any>>(_x: never): RT;
|
|
13
16
|
const state: <T extends _pi.State, RT extends _pi.Query_Result<any, any>>(state: T, assign: (output: T) => RT) => RT;
|
|
14
17
|
}
|
package/dist/query.js
CHANGED
|
@@ -32,8 +32,16 @@ __exportStar(require("./__internals/async/query"), exports);
|
|
|
32
32
|
__exportStar(require("./interface/algorithm_signatures/Query_Result"), exports);
|
|
33
33
|
var decide;
|
|
34
34
|
(function (decide) {
|
|
35
|
+
function ss(option, $c) {
|
|
36
|
+
return $c(option[1]);
|
|
37
|
+
}
|
|
38
|
+
decide.ss = ss;
|
|
39
|
+
function au(_x) {
|
|
40
|
+
throw new Error("unreachable");
|
|
41
|
+
}
|
|
42
|
+
decide.au = au;
|
|
35
43
|
decide.state = (state, assign) => {
|
|
36
44
|
return assign(state);
|
|
37
45
|
};
|
|
38
46
|
})(decide || (exports.decide = decide = {}));
|
|
39
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
47
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicXVlcnkuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcXVlcnkudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFBQSxzRUFBNkM7QUFPekMsZ0JBUEcsZUFBSyxDQU9IO0FBTlQsd0ZBQStEO0FBTzNELHlCQVBHLHdCQUFjLENBT0g7QUFObEIsd0ZBQStEO0FBTzNELHlCQVBHLHdCQUFjLENBT0g7QUFHbEIsd0VBQXFEO0FBQ3JELHVFQUFvRDtBQUNwRCxxRUFBa0Q7QUFDbEQscUVBQWtEO0FBQ2xELDREQUF5QztBQUN6QyxnRkFBNkQ7QUFFN0QsSUFBaUIsTUFBTSxDQTBCdEI7QUExQkQsV0FBaUIsTUFBTTtJQUluQixTQUFnQixFQUFFLENBQ2QsTUFBaUIsRUFDakIsRUFBZ0I7UUFDaEIsT0FBTyxFQUFFLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7SUFDeEIsQ0FBQztJQUplLFNBQUUsS0FJakIsQ0FBQTtJQUVELFNBQWdCLEVBQUUsQ0FDZCxFQUFTO1FBRVQsTUFBTSxJQUFJLEtBQUssQ0FBQyxhQUFhLENBQUMsQ0FBQTtJQUNsQyxDQUFDO0lBSmUsU0FBRSxLQUlqQixDQUFBO0lBRVksWUFBSyxHQUFHLENBSWpCLEtBQVEsRUFDUixNQUF5QixFQUN2QixFQUFFO1FBQ0osT0FBTyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUE7SUFDeEIsQ0FBQyxDQUFBO0FBRUwsQ0FBQyxFQTFCZ0IsTUFBTSxzQkFBTixNQUFNLFFBMEJ0QiJ9
|