pareto-core-interface 0.1.14 → 0.1.15

package/dist/data/Dictionary.d.ts

@@ -1,4 +1,5 @@
 import { Abort } from "../interfaces/Abort";
+import { Non_Void } from "../interfaces/Non_Void";
 import { List } from "./List";
 import { Optional_Value } from "./Optional_Value";
 /**
@@ -10,11 +11,11 @@ export interface Dictionary<T> {
      *
      * @param handle_entry callback to transform an individual entry. keys are not available.
      */
-    map<NT>(handle_entry: (value: T, key: string) => NT): Dictionary<NT>;
+    map<NT>(handle_entry: (value: T, key: string) => Non_Void<NT>): Dictionary<NT>;
     /**
      * the ordering of the list will be the same as the insertion order in the dictionary
      */
-    to_list<New_Type>(handle_entry: (value: T, key: string) => New_Type): List<New_Type>;
+    to_list<New_Type>(handle_entry: (value: T, key: string) => Non_Void<New_Type>): List<New_Type>;
     /**
      * This method is only to be used by resources
      * returns an {@link Optional_Value } of type T reflecting wether the entry existed or not
@@ -24,6 +25,6 @@ export interface Dictionary<T> {
     get_possible_entry(key: string): Optional_Value<T>;
     get_entry(key: string, abort: Abort<null>): T;
     get_number_of_entries(): number;
-    filter<New_Type>(handle_entry: (value: T, key: string) => Optional_Value<New_Type>): Dictionary<New_Type>;
+    filter<New_Type>(handle_entry: (value: T, key: string) => Optional_Value<Non_Void<New_Type>>): Dictionary<New_Type>;
     is_empty(): boolean;
 }

package/dist/data/List.d.ts

@@ -1,4 +1,5 @@
 import { Abort } from "../interfaces/Abort";
+import { Non_Void } from "../interfaces/Non_Void";
 import { Optional_Value } from "./Optional_Value";
 /**
  * An List for Pareto.
@@ -9,7 +10,7 @@ export interface List<T> {
      *
      * @param handle_element callback to transform an individual entry.
      */
-    map<NT>(handle_element: ($: T) => NT): List<NT>;
+    map<NT>(handle_element: ($: T) => Non_Void<NT>): List<NT>;
     filter<New_Type>(handle_element: ($: T) => Optional_Value<New_Type>): List<New_Type>;
     get_number_of_elements(): number;
     is_empty(): boolean;

package/dist/data/Optional_Value.d.ts

@@ -1,3 +1,4 @@
+import { Non_Void } from "../interfaces/Non_Void";
 /**
  * Why this type and not use for example 'null | T'?
  * the 'null | T' is vulnerable. If you have a parametrized function 'foo<T>() null | T' and T is null | number,
@@ -9,11 +10,12 @@ export interface Optional_Value<T> {
      * @param set what to do when the value was set, returns the new type
      * @param not_set  what to do when the value was not set, returns the new type
      */
-    transform<NT>(set: ($: T) => NT, not_set: () => NT): NT;
+    transform<NT>(set: ($: T) => Non_Void<NT>, not_set: () => Non_Void<NT>): NT;
     /**
      *
      */
     map<NT>(//this one should be called 'map'
-    set: ($: T) => NT): Optional_Value<NT>;
+    set: ($: T) => Non_Void<NT>): Optional_Value<NT>;
     is_set(): boolean;
+    _extract_data(set: ($: T) => void, not_set: () => void): void;
 }

package/dist/interfaces/Iterator.d.ts

@@ -4,5 +4,6 @@ export type Iterator<Element> = {
     'look': () => Optional_Value<Element>;
     'look ahead': (offset: number) => Optional_Value<Element>;
     'consume': (abort: Abort<null>) => Element;
+    'discard': () => void;
     'get position': () => number;
 };

package/dist/interfaces/Non_Void.d.ts

@@ -0,0 +1 @@
+export type Non_Void<T> = T extends void ? never : T;

package/dist/interfaces/Non_Void.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiTm9uX1ZvaWQuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy9Ob25fVm9pZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pareto-core-interface",
-  "version": "0.1.14",
+  "version": "0.1.15",
   "license": "Apache-2.0",
   "author": "Corno",
   "description": "core types needed to define an interface in the Pareto language",