exupery-core-types 0.3.53 → 0.3.55

package/dist/Lookup.d.ts

@@ -1,4 +1,4 @@
-import { Optional_Value } from "./Optional_Value";
+import { Optional_Value } from "./data/Optional_Value";
 /**
  * A lookup is similar to a Dictionary, but much more basic.
  * There is only 1 operation: __get_entry.

package/dist/algorithm/Iterator.d.ts

@@ -0,0 +1,7 @@
+import { Optional_Value } from "../data/Optional_Value";
+export type Iterator<Element, State> = {
+    'get current': () => Optional_Value<Element>;
+    'look ahead': (offset: number) => Optional_Value<Element>;
+    'consume': () => void;
+    'get state': () => State;
+};

package/dist/algorithm/Query_Function.d.ts

@@ -0,0 +1,2 @@
+import { Query } from "./Query";
+export type Query_Function<Result, Error, Parameters, Query_Resources> = ($q: Query_Resources) => Query<Result, Error, Parameters>;

package/dist/{Query_Result.d.ts → algorithm/Query_Result.d.ts}

@@ -4,7 +4,7 @@ import { Transformer } from "./Transformer";
 export interface Query_Result<Output, Error> {
     query_result: null;
     transform_result<New_Output>(transformer: Transformer<New_Output, Output>): Query_Result<New_Output, Error>;
-    transform_error_temp<New_Error>(error_transformer: Transformer<New_Error, Error>): Query_Result<Output, New_Error>;
+    deprecated_transform_error<New_Error>(error_transformer: Transformer<New_Error, Error>): Query_Result<Output, New_Error>;
     query_without_error_transformation<New_Output>(query: Queryer<New_Output, Error, Output>): Query_Result<New_Output, Error>;
     query<New_Output, Query_Error>(query: Queryer<New_Output, Query_Error, Output>, 
     /**

package/dist/algorithm/Refinement_Result.d.ts

@@ -0,0 +1,13 @@
+import { Refiner } from "./Refiner";
+import { Transformer } from "./Transformer";
+export interface Refinement_Result<Output, Error> {
+    transform<Target>(output_transformer: Transformer<Target, Output>, error_transformer: Transformer<Target, Error>): Target;
+    transform_result<New_Output>(transformer: Transformer<New_Output, Output>): Refinement_Result<New_Output, Error>;
+    deprecated_transform_error<New_Error>(error_transformer: Transformer<New_Error, Error>): Refinement_Result<Output, New_Error>;
+    refine<New_Output, Refiner_Error>(refiner: Refiner<New_Output, Refiner_Error, Output>, 
+    /**
+     * if the refiner fails, rework its error into the desired error type
+     */
+    error_transformer: Transformer<Error, Refiner_Error>): Refinement_Result<New_Output, Error>;
+    __extract_data: (on_success: ($: Output) => void, on_error: ($: Error) => void) => void;
+}

package/dist/{Dictionary.d.ts → data/Dictionary.d.ts}

@@ -4,7 +4,6 @@ export type Key_Value_Pair<T> = {
     readonly 'key': string;
     readonly 'value': T;
 };
-export type Compare_Function<T> = (a: Key_Value_Pair<T>, b: Key_Value_Pair<T>) => number;
 /**
  * A Exupery dictionary.
  * unmutable and minimal by design
@@ -19,7 +18,7 @@ export interface Dictionary<T> {
      * This method is only to be used by resources
      * iterates over all entries in a sorted manner
      */
-    deprecated_to_array(compare: Compare_Function<T>): List<Key_Value_Pair<T>>;
+    deprecated_to_array(compare: (a: Key_Value_Pair<T>, b: Key_Value_Pair<T>) => number): List<Key_Value_Pair<T>>;
     /**
      * This method is only to be used by resources
      * returns an {@link Optional_Value } of type T reflecting wether the entry existed or not

package/dist/{Optional_Value.d.ts → data/Optional_Value.d.ts}

@@ -1,9 +1,3 @@
-/**
- * this is literal data type, either [false] or [true, T]
- * the first entry of the tuple is thus 'false' or 'true'. If the first one is 'true',
- * then there is a second one containing the value T
- */
-export type Raw_Optional_Value<T> = readonly [false] | readonly [true, T];
 /**
  * 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,
@@ -21,5 +15,4 @@ export interface Optional_Value<T> {
      */
     map<NT>(//this one should be called 'map'
     set: ($: T) => NT): Optional_Value<NT>;
-    __raw: Raw_Optional_Value<T>;
 }

package/dist/data/Optional_Value.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/index.d.ts

@@ -1,13 +1,14 @@
-export * from "./List";
-export * from "./Circular_Dependency";
-export * from "./Dictionary";
+export * from "./data/List";
+export * from "./data/Circular_Dependency";
+export * from "./data/Dictionary";
+export * from "./data/Optional_Value";
 export * from "./Lookup";
-export * from "./Optional_Value";
-export * from "./Command";
-export * from "./Query";
-export * from "./Queryer";
-export * from "./Query_Result";
-export * from "./Refiner";
-export * from "./Refinement_Result";
-export * from "./Query_Procedure";
-export * from "./Transformer";
+export * from "./algorithm/Command";
+export * from "./algorithm/Iterator";
+export * from "./algorithm/Query_Function";
+export * from "./algorithm/Query_Result";
+export * from "./algorithm/Query";
+export * from "./algorithm/Queryer";
+export * from "./algorithm/Refinement_Result";
+export * from "./algorithm/Refiner";
+export * from "./algorithm/Transformer";

package/dist/index.js

@@ -14,16 +14,17 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./List"), exports);
-__exportStar(require("./Circular_Dependency"), exports);
-__exportStar(require("./Dictionary"), exports);
+__exportStar(require("./data/List"), exports);
+__exportStar(require("./data/Circular_Dependency"), exports);
+__exportStar(require("./data/Dictionary"), exports);
+__exportStar(require("./data/Optional_Value"), exports);
 __exportStar(require("./Lookup"), exports);
-__exportStar(require("./Optional_Value"), exports);
-__exportStar(require("./Command"), exports);
-__exportStar(require("./Query"), exports);
-__exportStar(require("./Queryer"), exports);
-__exportStar(require("./Query_Result"), exports);
-__exportStar(require("./Refiner"), exports);
-__exportStar(require("./Refinement_Result"), exports);
-__exportStar(require("./Query_Procedure"), exports);
-__exportStar(require("./Transformer"), exports);
+__exportStar(require("./algorithm/Command"), exports);
+__exportStar(require("./algorithm/Iterator"), exports);
+__exportStar(require("./algorithm/Query_Function"), exports);
+__exportStar(require("./algorithm/Query_Result"), exports);
+__exportStar(require("./algorithm/Query"), exports);
+__exportStar(require("./algorithm/Queryer"), exports);
+__exportStar(require("./algorithm/Refinement_Result"), exports);
+__exportStar(require("./algorithm/Refiner"), exports);
+__exportStar(require("./algorithm/Transformer"), exports);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "exupery-core-types",
-  "version": "0.3.53",
+  "version": "0.3.55",
   "license": "Apache-2.0",
   "author": "Corno",
   "description": "core types for Exupery",

package/dist/Query_Procedure.d.ts

@@ -1,2 +0,0 @@
-import { Query } from "./Query";
-export type Query_Procedure<Result, Error, Parameters, Query_Resources> = ($q: Query_Resources) => Query<Result, Error, Parameters>;

package/dist/Refinement_Result.d.ts

@@ -1,19 +0,0 @@
-import { Refiner } from "./Refiner";
-import { Transformer } from "./Transformer";
-export interface Refinement_Result<Output, Error> {
-    transform<Target>(output_transformer: Transformer<Target, Output>, error_transformer: Transformer<Target, Error>): Target;
-    transform_result<New_Output>(transformer: Transformer<New_Output, Output>): Refinement_Result<New_Output, Error>;
-    transform_error_temp<New_Error>(error_transformer: Transformer<New_Error, Error>): Refinement_Result<Output, New_Error>;
-    refine_without_error_transformation<New_Output>(refiner: Refiner<New_Output, Error, Output>): Refinement_Result<New_Output, Error>;
-    refine<New_Output, Stager_Error>(refiner: Refiner<New_Output, Stager_Error, Output>, 
-    /**
-     * if the stager fails, rework its error into the desired error type
-     */
-    error_transformer: Transformer<Error, Stager_Error>): Refinement_Result<New_Output, Error>;
-    rework_error_temp<New_Error, Rework_Error>(error_reworker: Refiner<New_Error, Rework_Error, Error>, 
-    /**
-     * if the reworker fails, we need to transform *that* error into the New_Error
-     */
-    rework_error_transformer: Transformer<New_Error, Rework_Error>): Refinement_Result<Output, New_Error>;
-    __extract_data: (on_success: ($: Output) => void, on_error: ($: Error) => void) => void;
-}