exupery-core-types 0.3.12 → 0.3.14
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.
- package/dist/Process_Result.d.ts +1 -1
- package/dist/Query.d.ts +21 -4
- package/dist/Refiner.d.ts +3 -3
- package/package.json +1 -1
package/dist/Process_Result.d.ts
CHANGED
|
@@ -5,5 +5,5 @@ export interface Process_Result<Output, Error> {
|
|
|
5
5
|
'transform with parameters': <NewOutput, Parameters>(transformer: Transformer_With_Parameters<Output, Parameters, NewOutput>, parameters: Parameters) => Process_Result<NewOutput, Error>;
|
|
6
6
|
'refine': <NewOutput, Refine_Error>(refiner: Refiner_Without_Parameters<Output, NewOutput, Refine_Error>, map_error: ($: Refine_Error) => Error) => Process_Result<NewOutput, Error>;
|
|
7
7
|
'refine with parameters': <NewOutput, Parameters, Refine_Error>(refiner: Refiner_With_Parameters<Output, Parameters, NewOutput, Refine_Error>, parameters: Parameters, map_error: ($: Refine_Error) => Error) => Process_Result<NewOutput, Error>;
|
|
8
|
-
__extract_data: (success: ($: Output) => void,
|
|
8
|
+
__extract_data: (success: ($: Output) => void, error: ($: Error) => void) => void;
|
|
9
9
|
}
|
package/dist/Query.d.ts
CHANGED
|
@@ -1,9 +1,26 @@
|
|
|
1
1
|
import { Processor } from "./Processor";
|
|
2
2
|
export type Query<Parameters, Result, Error, Resources> = ($r: Resources) => Query_Primed_With_Resources<Parameters, Result, Error>;
|
|
3
|
-
export type Query_Primed_With_Resources<Parameters, Result, Error> =
|
|
3
|
+
export type Query_Primed_With_Resources<Parameters, Result, Error> = {
|
|
4
|
+
'execute': ($: Parameters) => Query_Promise<Result, Error>;
|
|
5
|
+
};
|
|
4
6
|
export type Query_Promise<Result, Error> = {
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
7
|
+
query_with_result<New_Result>(handle_result: Query_Primed_With_Resources<Result, New_Result, Error>): Query_Promise<New_Result, Error>;
|
|
8
|
+
query_with_error<New_Error>(handle_error: Query_Primed_With_Resources<Error, Result, New_Error>): Query_Promise<Result, New_Error>;
|
|
9
|
+
query<New_Result, New_Error>($: {
|
|
10
|
+
'result': Query_Primed_With_Resources<Result, New_Result, New_Error>;
|
|
11
|
+
'error': Query_Primed_With_Resources<Error, New_Result, New_Error>;
|
|
12
|
+
}): Query_Promise<New_Result, New_Error>;
|
|
13
|
+
process_result<New_Result>(processor: Processor<Result, New_Result, Error>): Query_Promise<New_Result, Error>;
|
|
14
|
+
process_error<New_Error>(processor: Processor<Error, Result, New_Error>): Query_Promise<Result, New_Error>;
|
|
15
|
+
process<New_Result, New_Error>($: {
|
|
16
|
+
'result': Processor<Result, New_Result, New_Error>;
|
|
17
|
+
'error': Processor<Error, New_Result, New_Error>;
|
|
18
|
+
}): Query_Promise<New_Result, New_Error>;
|
|
19
|
+
map_result<New_Result>(handle_result: ($: Result) => New_Result): Query_Promise<New_Result, Error>;
|
|
20
|
+
map_error<New_Error>(handle_error: ($: Error) => New_Error): Query_Promise<Result, New_Error>;
|
|
21
|
+
map<New_Result, New_Error>($: {
|
|
22
|
+
'result': ($: Result) => New_Result;
|
|
23
|
+
'error': ($: Error) => New_Error;
|
|
24
|
+
}): Query_Promise<New_Result, New_Error>;
|
|
8
25
|
__start(on_success: ($: Result) => void, on_error: ($: Error) => void): void;
|
|
9
26
|
};
|
package/dist/Refiner.d.ts
CHANGED
|
@@ -3,10 +3,10 @@ export interface Refinement_Result<T, E> {
|
|
|
3
3
|
* @param set what to do when the value was set, returns the new type
|
|
4
4
|
* @param not_set what to do when the value was not set, returns the new type
|
|
5
5
|
*/
|
|
6
|
-
process(success: ($: T) => void,
|
|
7
|
-
map<NT, NE>(handle_value: ($: T) => NT,
|
|
6
|
+
process(success: ($: T) => void, error: ($: E) => void): void;
|
|
7
|
+
map<NT, NE>(handle_value: ($: T) => NT, handle_error: ($: E) => NE): Refinement_Result<NT, NE>;
|
|
8
8
|
map_result<NT>(handle_value: ($: T) => NT): Refinement_Result<NT, E>;
|
|
9
|
-
transform<NT>(handle_value: ($: T) => NT,
|
|
9
|
+
transform<NT>(handle_value: ($: T) => NT, handle_error: ($: E) => NT): NT;
|
|
10
10
|
with_result<NT>(handle_value: ($: T) => Refinement_Result<NT, E>): Refinement_Result<NT, E>;
|
|
11
11
|
}
|
|
12
12
|
export type Refiner_With_Parameters<In, Parameters, Out, Error> = ($: In, $p: Parameters) => Refinement_Result<Out, Error>;
|