exupery-core-internals 0.1.13 → 0.1.14

package/dist/index.d.ts

@@ -8,3 +8,4 @@ export * from "./imp/public/switch_state";
 export * from "./imp/public/set";
 export * from "./imp/public/not_set";
 export * from "./transformation";
+export * from "./refinement";

package/dist/index.js

@@ -24,3 +24,4 @@ __exportStar(require("./imp/public/switch_state"), exports);
 __exportStar(require("./imp/public/set"), exports);
 __exportStar(require("./imp/public/not_set"), exports);
 __exportStar(require("./transformation"), exports);
+__exportStar(require("./refinement"), exports);

package/dist/refinement.d.ts

@@ -0,0 +1,16 @@
+export interface Refinement_Result<T, E> {
+    /**
+     * @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
+     */
+    process(success: ($: T) => void, exception: ($: E) => void): void;
+    map<NT, NE>(handle_value: ($: T) => NT, handle_exception: ($: E) => NE): Refinement_Result<NT, NE>;
+    map_result<NT>(handle_value: ($: T) => NT): Refinement_Result<NT, E>;
+    transform<NT>(handle_value: ($: T) => NT, handle_exception: ($: E) => NT): NT;
+}
+export type Refinement_With_Parameters<In, Parameters, Out, Error> = ($: In, $p: Parameters) => Refinement_Result<Out, Error>;
+export type Refinement_Without_Parameters<In, Out, Error> = ($: In) => Refinement_Result<Out, Error>;
+export declare namespace refinement {
+    const failed: <T, E>(exception: E) => Refinement_Result<T, E>;
+    const successful: <T, E>(value: T) => Refinement_Result<T, E>;
+}

package/dist/refinement.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.refinement = void 0;
+var refinement;
+(function (refinement) {
+    refinement.failed = (exception) => {
+        return {
+            'process': (success, exception_handler) => {
+                exception_handler(exception);
+            },
+            'transform': (success, exception_handler) => {
+                return exception_handler(exception);
+            },
+            'map': (handle_value, handle_exception) => {
+                return refinement.failed(handle_exception(exception));
+            },
+            'map_result': (handle_value) => {
+                return refinement.failed(exception);
+            }
+        };
+    };
+    refinement.successful = (value) => {
+        return {
+            'process': (success, exception_handler) => {
+                success(value);
+            },
+            'transform': (success, exception_handler) => {
+                return success(value);
+            },
+            'map': (handle_value, handle_exception) => {
+                return refinement.successful(handle_value(value));
+            },
+            'map_result': (handle_value) => {
+                return refinement.successful(handle_value(value));
+            }
+        };
+    };
+})(refinement || (exports.refinement = refinement = {}));

package/dist/transformation.d.ts

@@ -1,18 +1,2 @@
-export interface Unguaranteed_Transformation_Result<T, E> {
-    /**
-     * @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
-     */
-    process(success: ($: T) => void, exception: ($: E) => void): void;
-    map<NT, NE>(handle_value: ($: T) => NT, handle_exception: ($: E) => NE): Unguaranteed_Transformation_Result<NT, NE>;
-    map_result<NT>(handle_value: ($: T) => NT): Unguaranteed_Transformation_Result<NT, E>;
-    transform<NT>(handle_value: ($: T) => NT, handle_exception: ($: E) => NT): NT;
-}
-export type Guaranteed_Transformation_With_Parameters<In, Parameters, Out> = ($: In, $p: Parameters) => Out;
-export type Guaranteed_Transformation_Without_Parameters<In, Out> = ($: In) => Out;
-export type Unguaranteed_Transformation_With_Parameters<In, Parameters, Out, Error> = ($: In, $p: Parameters) => Unguaranteed_Transformation_Result<Out, Error>;
-export type Unguaranteed_Transformation_Without_Parameters<In, Out, Error> = ($: In) => Unguaranteed_Transformation_Result<Out, Error>;
-export declare namespace transformation {
-    const failed: <T, E>(exception: E) => Unguaranteed_Transformation_Result<T, E>;
-    const successful: <T, E>(value: T) => Unguaranteed_Transformation_Result<T, E>;
-}
+export type Transformation_With_Parameters<In, Parameters, Out> = ($: In, $p: Parameters) => Out;
+export type Transformation_Without_Parameters<In, Out> = ($: In) => Out;

package/dist/transformation.js

@@ -1,38 +1,2 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.transformation = void 0;
-var transformation;
-(function (transformation) {
-    transformation.failed = (exception) => {
-        return {
-            process: (success, exception_handler) => {
-                exception_handler(exception);
-            },
-            'transform': (success, exception_handler) => {
-                return exception_handler(exception);
-            },
-            'map': (handle_value, handle_exception) => {
-                return transformation.failed(handle_exception(exception));
-            },
-            'map_result': (handle_value) => {
-                return transformation.failed(exception);
-            }
-        };
-    };
-    transformation.successful = (value) => {
-        return {
-            process: (success, exception_handler) => {
-                success(value);
-            },
-            'transform': (success, exception_handler) => {
-                return success(value);
-            },
-            'map': (handle_value, handle_exception) => {
-                return transformation.successful(handle_value(value));
-            },
-            'map_result': (handle_value) => {
-                return transformation.successful(handle_value(value));
-            }
-        };
-    };
-})(transformation || (exports.transformation = transformation = {}));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "exupery-core-internals",
-  "version": "0.1.13",
+  "version": "0.1.14",
   "license": "ISC",
   "description": "",
   "author": "Corno",