pareto-core 0.1.5 → 0.1.6

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.
@@ -36,12 +36,12 @@ export declare function ss<T, RT>($: State<T>, $c: ($: T) => RT): RT;
36
36
  export declare function au<RT>(_x: never): RT;
37
37
  export declare namespace decide {
38
38
  namespace dictionary {
39
- const has_entries: <T>($: _pi.Dictionary<T>, if_true: ($: _pi.Dictionary<T>) => T, if_not_true: () => T) => T;
39
+ const has_entries: <T, RT>($: _pi.Dictionary<T>, if_true: ($: _pi.Dictionary<T>) => RT, if_not_true: () => RT) => RT;
40
40
  }
41
41
  namespace list {
42
42
  const has_first_element: <T, RT>(list: _pi.List<T>, if_true: ($: T, rest: _pi.List<T>) => RT, if_not_true: () => RT) => RT;
43
43
  const has_last_element: <T, RT>(list: _pi.List<T>, if_true: ($: T, rest: _pi.List<T>) => RT, if_not_true: () => RT) => RT;
44
- const has_elements: <T>(list: _pi.List<T>, if_true: ($: _pi.List<T>) => T, if_not_true: () => T) => T;
44
+ const has_elements: <T, RT>(list: _pi.List<T>, if_true: ($: _pi.List<T>) => RT, if_not_true: () => RT) => RT;
45
45
  }
46
46
  const optional: <T, RT>($: _pi.Optional_Value<T>, if_set: ($: T) => RT, if_not_set: () => RT) => RT;
47
47
  const state_group: <T extends readonly [string, any], RT>(input: T, callback: (output: T) => RT) => RT;
@@ -66,4 +66,4 @@ var decide;
66
66
  return callback(input);
67
67
  };
68
68
  })(decide || (exports.decide = decide = {}));
69
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi8uLi9zcmMvX19pbnRlcm5hbHMvc3luYy9leHByZXNzaW9uL2RlY2lkZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7QUFJQSxnQkFFQztBQXNCRCxnQkFJQztBQWdCRCxnQkFFQztBQWpERCwyQ0FBcUQ7QUFHckQsU0FBZ0IsRUFBRSxDQUF1QyxLQUFRLEVBQUUsUUFBMkI7SUFDMUYsT0FBTyxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUE7QUFDMUIsQ0FBQztBQUtEOzs7Ozs7Ozs7Ozs7Ozs7O0dBZ0JHO0FBQ0gsU0FBZ0IsRUFBRSxDQUNkLENBQVcsRUFDWCxFQUFnQjtJQUNoQixPQUFPLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUNuQixDQUFDO0FBRUQ7Ozs7Ozs7Ozs7Ozs7R0FhRztBQUNILFNBQWdCLEVBQUUsQ0FBSyxFQUFTO0lBQzVCLE1BQU0sSUFBSSxLQUFLLENBQUMsYUFBYSxDQUFDLENBQUE7QUFDbEMsQ0FBQztBQUVELElBQWlCLE1BQU0sQ0FxRHRCO0FBckRELFdBQWlCLE1BQU07SUFFbkIsSUFBaUIsVUFBVSxDQVMxQjtJQVRELFdBQWlCLFVBQVU7UUFFVixzQkFBVyxHQUFHLENBQ3ZCLENBQW9CLEVBQ3BCLE9BQW9DLEVBQ3BDLFdBQW9CLEVBQ25CLEVBQUUsQ0FBQyxDQUFDLENBQUMsdUJBQXVCLEVBQUUsS0FBSyxDQUFDO1lBQ2pDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDO1lBQ1osQ0FBQyxDQUFDLFdBQVcsRUFBRSxDQUFBO0lBQzNCLENBQUMsRUFUZ0IsVUFBVSxHQUFWLGlCQUFVLEtBQVYsaUJBQVUsUUFTMUI7SUFFRCxJQUFpQixJQUFJLENBNEJwQjtJQTVCRCxXQUFpQixNQUFJO1FBRUosd0JBQWlCLEdBQUcsQ0FDN0IsSUFBaUIsRUFDakIsT0FBd0MsRUFDeEMsV0FBcUIsRUFDbkIsRUFBRSxDQUFDLElBQUksQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQy9DLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxPQUFPLENBQUMsQ0FBQyxFQUFFLElBQUEsU0FBWSxFQUFDLElBQUksQ0FBQyxjQUFjLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUMvRCxHQUFHLEVBQUUsQ0FBQyxXQUFXLEVBQUUsQ0FDdEIsQ0FBQTtRQUVZLHVCQUFnQixHQUFHLENBQzVCLElBQWlCLEVBQ2pCLE9BQXdDLEVBQ3hDLFdBQXFCLEVBQ25CLEVBQUUsQ0FBQyxJQUFJLENBQUMseUJBQXlCLENBQUMsSUFBSSxDQUFDLHdCQUF3QixFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUNqRixDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsT0FBTyxDQUFDLENBQUMsRUFBRSxJQUFBLFNBQVksRUFBQyxJQUFJLENBQUMsY0FBYyxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFDbkUsR0FBRyxFQUFFLENBQUMsV0FBVyxFQUFFLENBQ3RCLENBQUE7UUFFWSxtQkFBWSxHQUFHLENBQ3hCLElBQWlCLEVBQ2pCLE9BQThCLEVBQzlCLFdBQW9CLEVBQ25CLEVBQUUsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsS0FBSyxDQUFDO1lBQ3JDLENBQUMsQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDO1lBQ2YsQ0FBQyxDQUFDLFdBQVcsRUFBRSxDQUFBO0lBRTNCLENBQUMsRUE1QmdCLElBQUksR0FBSixXQUFJLEtBQUosV0FBSSxRQTRCcEI7SUFFWSxlQUFRLEdBQUcsQ0FDcEIsQ0FBd0IsRUFDeEIsTUFBb0IsRUFDcEIsVUFBb0IsRUFDbEIsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLFVBQVUsQ0FBQyxDQUFBO0lBRTFCLGtCQUFXLEdBQUcsQ0FBdUMsS0FBUSxFQUFFLFFBQTJCLEVBQU0sRUFBRTtRQUMzRyxPQUFPLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtJQUMxQixDQUFDLENBQUE7QUFFTCxDQUFDLEVBckRnQixNQUFNLHNCQUFOLE1BQU0sUUFxRHRCIn0=
69
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi8uLi9zcmMvX19pbnRlcm5hbHMvc3luYy9leHByZXNzaW9uL2RlY2lkZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7QUFJQSxnQkFFQztBQXNCRCxnQkFJQztBQWdCRCxnQkFFQztBQWpERCwyQ0FBcUQ7QUFHckQsU0FBZ0IsRUFBRSxDQUF1QyxLQUFRLEVBQUUsUUFBMkI7SUFDMUYsT0FBTyxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUE7QUFDMUIsQ0FBQztBQUtEOzs7Ozs7Ozs7Ozs7Ozs7O0dBZ0JHO0FBQ0gsU0FBZ0IsRUFBRSxDQUNkLENBQVcsRUFDWCxFQUFnQjtJQUNoQixPQUFPLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQTtBQUNuQixDQUFDO0FBRUQ7Ozs7Ozs7Ozs7Ozs7R0FhRztBQUNILFNBQWdCLEVBQUUsQ0FBSyxFQUFTO0lBQzVCLE1BQU0sSUFBSSxLQUFLLENBQUMsYUFBYSxDQUFDLENBQUE7QUFDbEMsQ0FBQztBQUVELElBQWlCLE1BQU0sQ0FxRHRCO0FBckRELFdBQWlCLE1BQU07SUFFbkIsSUFBaUIsVUFBVSxDQVMxQjtJQVRELFdBQWlCLFVBQVU7UUFFVixzQkFBVyxHQUFHLENBQ3ZCLENBQW9CLEVBQ3BCLE9BQXFDLEVBQ3JDLFdBQXFCLEVBQ25CLEVBQUUsQ0FBQyxDQUFDLENBQUMsdUJBQXVCLEVBQUUsS0FBSyxDQUFDO1lBQ2xDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDO1lBQ1osQ0FBQyxDQUFDLFdBQVcsRUFBRSxDQUFBO0lBQzNCLENBQUMsRUFUZ0IsVUFBVSxHQUFWLGlCQUFVLEtBQVYsaUJBQVUsUUFTMUI7SUFFRCxJQUFpQixJQUFJLENBNEJwQjtJQTVCRCxXQUFpQixNQUFJO1FBRUosd0JBQWlCLEdBQUcsQ0FDN0IsSUFBaUIsRUFDakIsT0FBd0MsRUFDeEMsV0FBcUIsRUFDbkIsRUFBRSxDQUFDLElBQUksQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQy9DLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxPQUFPLENBQUMsQ0FBQyxFQUFFLElBQUEsU0FBWSxFQUFDLElBQUksQ0FBQyxjQUFjLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUMvRCxHQUFHLEVBQUUsQ0FBQyxXQUFXLEVBQUUsQ0FDdEIsQ0FBQTtRQUVZLHVCQUFnQixHQUFHLENBQzVCLElBQWlCLEVBQ2pCLE9BQXdDLEVBQ3hDLFdBQXFCLEVBQ25CLEVBQUUsQ0FBQyxJQUFJLENBQUMseUJBQXlCLENBQUMsSUFBSSxDQUFDLHdCQUF3QixFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUNqRixDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsT0FBTyxDQUFDLENBQUMsRUFBRSxJQUFBLFNBQVksRUFBQyxJQUFJLENBQUMsY0FBYyxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFDbkUsR0FBRyxFQUFFLENBQUMsV0FBVyxFQUFFLENBQ3RCLENBQUE7UUFFWSxtQkFBWSxHQUFHLENBQ3hCLElBQWlCLEVBQ2pCLE9BQStCLEVBQy9CLFdBQXFCLEVBQ25CLEVBQUUsQ0FBQyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsS0FBSyxDQUFDO1lBQ3RDLENBQUMsQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDO1lBQ2YsQ0FBQyxDQUFDLFdBQVcsRUFBRSxDQUFBO0lBRTNCLENBQUMsRUE1QmdCLElBQUksR0FBSixXQUFJLEtBQUosV0FBSSxRQTRCcEI7SUFFWSxlQUFRLEdBQUcsQ0FDcEIsQ0FBd0IsRUFDeEIsTUFBb0IsRUFDcEIsVUFBb0IsRUFDbEIsRUFBRSxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLFVBQVUsQ0FBQyxDQUFBO0lBRTFCLGtCQUFXLEdBQUcsQ0FBdUMsS0FBUSxFQUFFLFFBQTJCLEVBQU0sRUFBRTtRQUMzRyxPQUFPLFFBQVEsQ0FBQyxLQUFLLENBQUMsQ0FBQTtJQUMxQixDQUFDLENBQUE7QUFFTCxDQUFDLEVBckRnQixNQUFNLHNCQUFOLE1BQU0sUUFxRHRCIn0=
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pareto-core",
3
- "version": "0.1.5",
3
+ "version": "0.1.6",
4
4
  "license": "ISC",
5
5
  "description": "the core language constructs for the Pareto programming language (in TypeScript)",
6
6
  "author": "Corno",