@fncts/io 0.0.36 → 0.0.38
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/IO/api/all.d.ts +14 -15
- package/IO/definition.d.ts +17 -15
- package/_cjs/IO/api/all.cjs +4 -4
- package/_cjs/IO/api/all.cjs.map +1 -1
- package/_cjs/IO/definition.cjs.map +1 -1
- package/_mjs/IO/api/all.mjs +4 -4
- package/_mjs/IO/api/all.mjs.map +1 -1
- package/_mjs/IO/definition.mjs.map +1 -1
- package/_src/IO/api/all.ts +14 -15
- package/_src/IO/definition.ts +5 -3
- package/package.json +2 -2
package/IO/api/all.d.ts
CHANGED
|
@@ -1,41 +1,40 @@
|
|
|
1
1
|
import { IO } from "@fncts/io/IO/definition";
|
|
2
2
|
import { Conc } from "@fncts/base/collection/immutable/Conc";
|
|
3
|
-
import type { EnvironmentOf, ErrorOf, ValueOf } from "@fncts/io/IO";
|
|
4
3
|
/**
|
|
5
4
|
* @tsplus static fncts.io.IOOps all
|
|
6
5
|
* @tsplus location "@fncts/io/IO/api/all"
|
|
7
6
|
*/
|
|
8
7
|
export declare function all<T extends ReadonlyArray<IO<any, any, any>>>(ios: [...T]): IO<{
|
|
9
|
-
[K in number]: EnvironmentOf<T[K]>;
|
|
8
|
+
[K in number]: IO.EnvironmentOf<T[K]>;
|
|
10
9
|
}[number], {
|
|
11
|
-
[K in number]: ErrorOf<T[K]>;
|
|
10
|
+
[K in number]: IO.ErrorOf<T[K]>;
|
|
12
11
|
}[number], {
|
|
13
|
-
[K in keyof T]: ValueOf<T[K]>;
|
|
12
|
+
[K in keyof T]: IO.ValueOf<T[K]>;
|
|
14
13
|
}>;
|
|
15
|
-
export declare function all<T extends Iterable<IO<any, any, any>>>(ios: T): [T] extends [Iterable<infer A>] ? IO<EnvironmentOf<A>, ErrorOf<A>, Conc<ValueOf<A>>> : never;
|
|
14
|
+
export declare function all<T extends Iterable<IO<any, any, any>>>(ios: T): [T] extends [Iterable<infer A>] ? IO<IO.EnvironmentOf<A>, IO.ErrorOf<A>, Conc<IO.ValueOf<A>>> : never;
|
|
16
15
|
export declare function all<T extends Record<string, IO<any, any, any>>>(ios: T): IO<{
|
|
17
|
-
[K in keyof T]: EnvironmentOf<T[K]>;
|
|
16
|
+
[K in keyof T]: IO.EnvironmentOf<T[K]>;
|
|
18
17
|
}[keyof T], {
|
|
19
|
-
[K in keyof T]: ErrorOf<T[K]>;
|
|
18
|
+
[K in keyof T]: IO.ErrorOf<T[K]>;
|
|
20
19
|
}[keyof T], {
|
|
21
|
-
[K in keyof T]: ValueOf<T[K]>;
|
|
20
|
+
[K in keyof T]: IO.ValueOf<T[K]>;
|
|
22
21
|
}>;
|
|
23
22
|
/**
|
|
24
23
|
* @tsplus static fncts.io.IOOps allConcurrent
|
|
25
24
|
* @tsplus location "@fncts/io/IO/api/all"
|
|
26
25
|
*/
|
|
27
26
|
export declare function allConcurrent<T extends ReadonlyArray<IO<any, any, any>>>(ios: [...T]): IO<{
|
|
28
|
-
[K in number]: EnvironmentOf<T[K]>;
|
|
27
|
+
[K in number]: IO.EnvironmentOf<T[K]>;
|
|
29
28
|
}[number], {
|
|
30
|
-
[K in number]: ErrorOf<T[K]>;
|
|
29
|
+
[K in number]: IO.ErrorOf<T[K]>;
|
|
31
30
|
}[number], {
|
|
32
|
-
[K in keyof T]: ValueOf<T[K]>;
|
|
31
|
+
[K in keyof T]: IO.ValueOf<T[K]>;
|
|
33
32
|
}>;
|
|
34
|
-
export declare function allConcurrent<T extends Iterable<IO<any, any, any>>>(ios: T): [T] extends [Iterable<infer A>] ? IO<EnvironmentOf<A>, ErrorOf<A>, Conc<ValueOf<A>>> : never;
|
|
33
|
+
export declare function allConcurrent<T extends Iterable<IO<any, any, any>>>(ios: T): [T] extends [Iterable<infer A>] ? IO<IO.EnvironmentOf<A>, IO.ErrorOf<A>, Conc<IO.ValueOf<A>>> : never;
|
|
35
34
|
export declare function allConcurrent<T extends Record<string, IO<any, any, any>>>(ios: T): IO<{
|
|
36
|
-
[K in keyof T]: EnvironmentOf<T[K]>;
|
|
35
|
+
[K in keyof T]: IO.EnvironmentOf<T[K]>;
|
|
37
36
|
}[keyof T], {
|
|
38
|
-
[K in keyof T]: ErrorOf<T[K]>;
|
|
37
|
+
[K in keyof T]: IO.ErrorOf<T[K]>;
|
|
39
38
|
}[keyof T], {
|
|
40
|
-
[K in keyof T]: ValueOf<T[K]>;
|
|
39
|
+
[K in keyof T]: IO.ValueOf<T[K]>;
|
|
41
40
|
}>;
|
package/IO/definition.d.ts
CHANGED
|
@@ -34,21 +34,23 @@ export declare abstract class IO<R, E, A> {
|
|
|
34
34
|
_A: () => A;
|
|
35
35
|
};
|
|
36
36
|
}
|
|
37
|
-
export
|
|
38
|
-
[
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
[
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
[
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
}
|
|
37
|
+
export declare namespace IO {
|
|
38
|
+
type EnvironmentOf<T> = [T] extends [{
|
|
39
|
+
[IOVariance]: {
|
|
40
|
+
_R: () => infer R;
|
|
41
|
+
};
|
|
42
|
+
}] ? R : never;
|
|
43
|
+
type ErrorOf<T> = [T] extends [{
|
|
44
|
+
[IOVariance]: {
|
|
45
|
+
_E: () => infer E;
|
|
46
|
+
};
|
|
47
|
+
}] ? E : never;
|
|
48
|
+
type ValueOf<T> = [T] extends [{
|
|
49
|
+
[IOVariance]: {
|
|
50
|
+
_A: () => infer A;
|
|
51
|
+
};
|
|
52
|
+
}] ? A : never;
|
|
53
|
+
}
|
|
52
54
|
declare module "@fncts/base/data/Either/definition" {
|
|
53
55
|
interface Either<E, A> extends IO<never, E, A> {
|
|
54
56
|
}
|
package/_cjs/IO/api/all.cjs
CHANGED
|
@@ -14,20 +14,20 @@ function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj &&
|
|
|
14
14
|
const fileName_1 = "(@fncts/io) src/IO/api/all.ts";
|
|
15
15
|
function all(ios) {
|
|
16
16
|
if (Symbol.iterator in ios) {
|
|
17
|
-
return tsplus_module_2.foreach(ios, tsplus_module_1.identity, fileName_1 + ":
|
|
17
|
+
return tsplus_module_2.foreach(ios, tsplus_module_1.identity, fileName_1 + ":25:22");
|
|
18
18
|
} else {
|
|
19
19
|
return tsplus_module_2.map(result => tsplus_module_3.foldLeft({}, (b, a) => Object.assign(b, {
|
|
20
20
|
[a[0]]: a[1]
|
|
21
|
-
}))(result), fileName_1 + ":
|
|
21
|
+
}))(result), fileName_1 + ":30:10")(tsplus_module_2.foreach(Object.entries(ios).map(([k, io]) => tsplus_module_2.map(value => [k, value], fileName_1 + ":28:50")(io)), tsplus_module_1.identity, fileName_1 + ":27:22"));
|
|
22
22
|
}
|
|
23
23
|
}
|
|
24
24
|
function allConcurrent(ios) {
|
|
25
25
|
if (Symbol.iterator in ios) {
|
|
26
|
-
return tsplus_module_4.foreachConcurrent(ios, tsplus_module_1.identity, fileName_1 + ":
|
|
26
|
+
return tsplus_module_4.foreachConcurrent(ios, tsplus_module_1.identity, fileName_1 + ":56:32");
|
|
27
27
|
} else {
|
|
28
28
|
return tsplus_module_2.map(result => tsplus_module_3.foldLeft({}, (b, a) => Object.assign(b, {
|
|
29
29
|
[a[0]]: a[1]
|
|
30
|
-
}))(result), fileName_1 + ":
|
|
30
|
+
}))(result), fileName_1 + ":61:10")(tsplus_module_4.foreachConcurrent(Object.entries(ios).map(([k, io]) => tsplus_module_2.map(value => [k, value], fileName_1 + ":59:50")(io)), tsplus_module_1.identity, fileName_1 + ":58:32"));
|
|
31
31
|
}
|
|
32
32
|
}
|
|
33
33
|
//# sourceMappingURL=all.cjs.map
|
package/_cjs/IO/api/all.cjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"all.cjs","names":["all","ios","Symbol","iterator","tsplus_module_2","foreach","tsplus_module_1","identity","fileName_1","map","result","tsplus_module_3","foldLeft","b","a","Object","assign","entries","k","io","value","allConcurrent","tsplus_module_4","foreachConcurrent"],"sources":["../../../_src/IO/api/all.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"all.cjs","names":["all","ios","Symbol","iterator","tsplus_module_2","foreach","tsplus_module_1","identity","fileName_1","map","result","tsplus_module_3","foldLeft","b","a","Object","assign","entries","k","io","value","allConcurrent","tsplus_module_4","foreachConcurrent"],"sources":["../../../_src/IO/api/all.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;AAsBM,SAAUA,GAAGA,CAACC,GAAoE;EACtF,IAAIC,MAAM,CAACC,QAAQ,IAAIF,GAAG,EAAE;IAC1B,OAAOG,eAAA,CAAAC,OAAA,CAAWJ,GAAG,EAAAK,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAAoB;GAC1C,MAAM;IACL,OAAOJ,eAAA,CAAAK,GAAA,CAGAC,MAAM,IAAKC,eAAA,CAAAC,QAAA,CAAgB,EAAyB,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAKC,MAAM,CAACC,MAAM,CAACH,CAAC,EAAE;MAAE,CAACC,CAAC,CAAC,CAAC,CAAC,GAAGA,CAAC,CAAC,CAAC;IAAC,CAAE,CAAC,EAAvFJ,MAAM,CAAkF,EAAAF,UAAA,aAHnGJ,eAAA,CAAAC,OAAA,CACLU,MAAM,CAACE,OAAO,CAAChB,GAAG,CAAC,CAACQ,GAAG,CAAC,CAAC,CAACS,CAAC,EAAEC,EAAE,CAAC,KAAKf,eAAA,CAAAK,GAAA,CAAQW,KAAK,IAAK,CAACF,CAAC,EAAEE,KAAK,CAAU,EAAAZ,UAAA,aAArCW,EAAE,CAAoC,CAAC,EAAAb,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAE7E,CAA0G;;AAE/G;AAsBM,SAAUa,aAAaA,CAACpB,GAAoE;EAChG,IAAIC,MAAM,CAACC,QAAQ,IAAIF,GAAG,EAAE;IAC1B,OAAOqB,eAAA,CAAAC,iBAAA,CAAqBtB,GAAG,EAAAK,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAAoB;GACpD,MAAM;IACL,OAAOJ,eAAA,CAAAK,GAAA,CAGAC,MAAM,IAAKC,eAAA,CAAAC,QAAA,CAAgB,EAAyB,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAKC,MAAM,CAACC,MAAM,CAACH,CAAC,EAAE;MAAE,CAACC,CAAC,CAAC,CAAC,CAAC,GAAGA,CAAC,CAAC,CAAC;IAAC,CAAE,CAAC,EAAvFJ,MAAM,CAAkF,EAAAF,UAAA,aAHnGc,eAAA,CAAAC,iBAAA,CACLR,MAAM,CAACE,OAAO,CAAChB,GAAG,CAAC,CAACQ,GAAG,CAAC,CAAC,CAACS,CAAC,EAAEC,EAAE,CAAC,KAAKf,eAAA,CAAAK,GAAA,CAAQW,KAAK,IAAK,CAACF,CAAC,EAAEE,KAAK,CAAU,EAAAZ,UAAA,aAArCW,EAAE,CAAoC,CAAC,EAAAb,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAE7E,CAA0G;;AAE/G"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.cjs","names":["IOVariance","Symbol","for","exports","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAOO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAACC,OAAA,CAAAH,UAAA,GAAAA,UAAA;AAGtD,MAAMI,QAAQ,gBAAGH,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAAAC,OAAA,CAAAC,QAAA,GAAAA,QAAA;AAIM,MAAgBC,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;AAACD,OAAA,CAAAE,EAAA,GAAAA,EAAA;KANWD,QAAQ;
|
|
1
|
+
{"version":3,"file":"definition.cjs","names":["IOVariance","Symbol","for","exports","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAOO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAACC,OAAA,CAAAH,UAAA,GAAAA,UAAA;AAGtD,MAAMI,QAAQ,gBAAGH,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAAAC,OAAA,CAAAC,QAAA,GAAAA,QAAA;AAIM,MAAgBC,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;AAACD,OAAA,CAAAE,EAAA,GAAAA,EAAA;KANWD,QAAQ;AA8BpB;;;AAGO,MAAMI,SAAS,GAAc,EAAE;AAEtC;;;AAAAL,OAAA,CAAAK,SAAA,GAAAA,SAAA;AAGM,SAAUC,OAAOA,CACrBC,IAAO;EAMP,OAAOA,IAAI;AACb;AAgCM,MAAOC,WAAW;EAMtBL,YAAqBM,IAAuB;IAAvB,KAAAA,IAAI,GAAJA,IAAI;IALlB,KAAAC,EAAE,GAA0BC,SAAS;IACrC,KAAAC,EAAE,GAA0BD,SAAS;IACrC,KAAAE,EAAE,GAA0BF,SAAS;IACrC,KAAAG,KAAK,GAAuBH,SAAS;IAC5C,KAAAI,EAAA,CAAU,GAAGd,QAAQ;EAC0B;;AAChDD,OAAA,CAAAQ,WAAA,GAAAA,WAAA;KAFEP,QAAQ;AAIL,SAAUe,IAAIA,CAACC,CAAU;EAC7B,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAIhB,QAAQ,IAAIgB,CAAC;AACrC;AAmJA;;;;AAIM,SAAUG,QAAQA,CAACC,EAAqB;EAC5C,OAAOA,EAAe;AACxB"}
|
package/_mjs/IO/api/all.mjs
CHANGED
|
@@ -5,20 +5,20 @@ import * as tsplus_module_3 from "@fncts/base/collection/immutable/Conc/api";
|
|
|
5
5
|
import * as tsplus_module_4 from "@fncts/io/IO/api/foreachConcurrent";
|
|
6
6
|
export function all(ios) {
|
|
7
7
|
if (Symbol.iterator in ios) {
|
|
8
|
-
return tsplus_module_2.foreach(ios, tsplus_module_1.identity, fileName_1 + ":
|
|
8
|
+
return tsplus_module_2.foreach(ios, tsplus_module_1.identity, fileName_1 + ":25:22");
|
|
9
9
|
} else {
|
|
10
10
|
return tsplus_module_2.map(result => tsplus_module_3.foldLeft({}, (b, a) => Object.assign(b, {
|
|
11
11
|
[a[0]]: a[1]
|
|
12
|
-
}))(result), fileName_1 + ":
|
|
12
|
+
}))(result), fileName_1 + ":30:10")(tsplus_module_2.foreach(Object.entries(ios).map(([k, io]) => tsplus_module_2.map(value => [k, value], fileName_1 + ":28:50")(io)), tsplus_module_1.identity, fileName_1 + ":27:22"));
|
|
13
13
|
}
|
|
14
14
|
}
|
|
15
15
|
export function allConcurrent(ios) {
|
|
16
16
|
if (Symbol.iterator in ios) {
|
|
17
|
-
return tsplus_module_4.foreachConcurrent(ios, tsplus_module_1.identity, fileName_1 + ":
|
|
17
|
+
return tsplus_module_4.foreachConcurrent(ios, tsplus_module_1.identity, fileName_1 + ":56:32");
|
|
18
18
|
} else {
|
|
19
19
|
return tsplus_module_2.map(result => tsplus_module_3.foldLeft({}, (b, a) => Object.assign(b, {
|
|
20
20
|
[a[0]]: a[1]
|
|
21
|
-
}))(result), fileName_1 + ":
|
|
21
|
+
}))(result), fileName_1 + ":61:10")(tsplus_module_4.foreachConcurrent(Object.entries(ios).map(([k, io]) => tsplus_module_2.map(value => [k, value], fileName_1 + ":59:50")(io)), tsplus_module_1.identity, fileName_1 + ":58:32"));
|
|
22
22
|
}
|
|
23
23
|
}
|
|
24
24
|
//# sourceMappingURL=all.mjs.map
|
package/_mjs/IO/api/all.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"all.mjs","names":["all","ios","Symbol","iterator","tsplus_module_2","foreach","tsplus_module_1","identity","fileName_1","map","result","tsplus_module_3","foldLeft","b","a","Object","assign","entries","k","io","value","allConcurrent","tsplus_module_4","foreachConcurrent"],"sources":["../../../_src/IO/api/all.ts"],"sourcesContent":[null],"mappings":";;;;;
|
|
1
|
+
{"version":3,"file":"all.mjs","names":["all","ios","Symbol","iterator","tsplus_module_2","foreach","tsplus_module_1","identity","fileName_1","map","result","tsplus_module_3","foldLeft","b","a","Object","assign","entries","k","io","value","allConcurrent","tsplus_module_4","foreachConcurrent"],"sources":["../../../_src/IO/api/all.ts"],"sourcesContent":[null],"mappings":";;;;;AAsBA,OAAM,SAAUA,GAAGA,CAACC,GAAoE;EACtF,IAAIC,MAAM,CAACC,QAAQ,IAAIF,GAAG,EAAE;IAC1B,OAAOG,eAAA,CAAAC,OAAA,CAAWJ,GAAG,EAAAK,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAAoB;GAC1C,MAAM;IACL,OAAOJ,eAAA,CAAAK,GAAA,CAGAC,MAAM,IAAKC,eAAA,CAAAC,QAAA,CAAgB,EAAyB,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAKC,MAAM,CAACC,MAAM,CAACH,CAAC,EAAE;MAAE,CAACC,CAAC,CAAC,CAAC,CAAC,GAAGA,CAAC,CAAC,CAAC;IAAC,CAAE,CAAC,EAAvFJ,MAAM,CAAkF,EAAAF,UAAA,aAHnGJ,eAAA,CAAAC,OAAA,CACLU,MAAM,CAACE,OAAO,CAAChB,GAAG,CAAC,CAACQ,GAAG,CAAC,CAAC,CAACS,CAAC,EAAEC,EAAE,CAAC,KAAKf,eAAA,CAAAK,GAAA,CAAQW,KAAK,IAAK,CAACF,CAAC,EAAEE,KAAK,CAAU,EAAAZ,UAAA,aAArCW,EAAE,CAAoC,CAAC,EAAAb,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAE7E,CAA0G;;AAE/G;AAsBA,OAAM,SAAUa,aAAaA,CAACpB,GAAoE;EAChG,IAAIC,MAAM,CAACC,QAAQ,IAAIF,GAAG,EAAE;IAC1B,OAAOqB,eAAA,CAAAC,iBAAA,CAAqBtB,GAAG,EAAAK,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAAoB;GACpD,MAAM;IACL,OAAOJ,eAAA,CAAAK,GAAA,CAGAC,MAAM,IAAKC,eAAA,CAAAC,QAAA,CAAgB,EAAyB,EAAE,CAACC,CAAC,EAAEC,CAAC,KAAKC,MAAM,CAACC,MAAM,CAACH,CAAC,EAAE;MAAE,CAACC,CAAC,CAAC,CAAC,CAAC,GAAGA,CAAC,CAAC,CAAC;IAAC,CAAE,CAAC,EAAvFJ,MAAM,CAAkF,EAAAF,UAAA,aAHnGc,eAAA,CAAAC,iBAAA,CACLR,MAAM,CAACE,OAAO,CAAChB,GAAG,CAAC,CAACQ,GAAG,CAAC,CAAC,CAACS,CAAC,EAAEC,EAAE,CAAC,KAAKf,eAAA,CAAAK,GAAA,CAAQW,KAAK,IAAK,CAACF,CAAC,EAAEE,KAAK,CAAU,EAAAZ,UAAA,aAArCW,EAAE,CAAoC,CAAC,EAAAb,eAAA,CAAAC,QAAA,EAAAC,UAAA,YAE7E,CAA0G;;AAE/G"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","names":["IOVariance","Symbol","for","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;AAOA,OAAO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAG5D,OAAO,MAAMC,QAAQ,gBAAGF,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAIA,OAAM,MAAgBE,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;KANYA,QAAQ;
|
|
1
|
+
{"version":3,"file":"definition.mjs","names":["IOVariance","Symbol","for","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;AAOA,OAAO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAG5D,OAAO,MAAMC,QAAQ,gBAAGF,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAIA,OAAM,MAAgBE,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;KANYA,QAAQ;AA8BpB;;;AAGA,OAAO,MAAMI,SAAS,GAAc,EAAE;AAEtC;;;AAGA,OAAM,SAAUC,OAAOA,CACrBC,IAAO;EAMP,OAAOA,IAAI;AACb;AAgCA,OAAM,MAAOC,WAAW;EAMtBL,YAAqBM,IAAuB;IAAvB,KAAAA,IAAI,GAAJA,IAAI;IALlB,KAAAC,EAAE,GAA0BC,SAAS;IACrC,KAAAC,EAAE,GAA0BD,SAAS;IACrC,KAAAE,EAAE,GAA0BF,SAAS;IACrC,KAAAG,KAAK,GAAuBH,SAAS;IAC5C,KAAAI,EAAA,CAAU,GAAGd,QAAQ;EAC0B;;KAD9CA,QAAQ;AAIX,OAAM,SAAUe,IAAIA,CAACC,CAAU;EAC7B,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAIhB,QAAQ,IAAIgB,CAAC;AACrC;AAmJA;;;;AAIA,OAAM,SAAUG,QAAQA,CAACC,EAAqB;EAC5C,OAAOA,EAAe;AACxB"}
|
package/_src/IO/api/all.ts
CHANGED
|
@@ -1,5 +1,4 @@
|
|
|
1
1
|
import type { _A, _E, _R } from "@fncts/base/types";
|
|
2
|
-
import type { EnvironmentOf, ErrorOf, IOVariance, ValueOf } from "@fncts/io/IO";
|
|
3
2
|
|
|
4
3
|
/**
|
|
5
4
|
* @tsplus static fncts.io.IOOps all
|
|
@@ -7,19 +6,19 @@ import type { EnvironmentOf, ErrorOf, IOVariance, ValueOf } from "@fncts/io/IO";
|
|
|
7
6
|
export function all<T extends ReadonlyArray<IO<any, any, any>>>(
|
|
8
7
|
ios: [...T],
|
|
9
8
|
): IO<
|
|
10
|
-
{ [K in number]: EnvironmentOf<T[K]> }[number],
|
|
11
|
-
{ [K in number]: ErrorOf<T[K]> }[number],
|
|
12
|
-
{ [K in keyof T]: ValueOf<T[K]> }
|
|
9
|
+
{ [K in number]: IO.EnvironmentOf<T[K]> }[number],
|
|
10
|
+
{ [K in number]: IO.ErrorOf<T[K]> }[number],
|
|
11
|
+
{ [K in keyof T]: IO.ValueOf<T[K]> }
|
|
13
12
|
>;
|
|
14
13
|
export function all<T extends Iterable<IO<any, any, any>>>(
|
|
15
14
|
ios: T,
|
|
16
|
-
): [T] extends [Iterable<infer A>] ? IO<EnvironmentOf<A>, ErrorOf<A>, Conc<ValueOf<A>>> : never;
|
|
15
|
+
): [T] extends [Iterable<infer A>] ? IO<IO.EnvironmentOf<A>, IO.ErrorOf<A>, Conc<IO.ValueOf<A>>> : never;
|
|
17
16
|
export function all<T extends Record<string, IO<any, any, any>>>(
|
|
18
17
|
ios: T,
|
|
19
18
|
): IO<
|
|
20
|
-
{ [K in keyof T]: EnvironmentOf<T[K]> }[keyof T],
|
|
21
|
-
{ [K in keyof T]: ErrorOf<T[K]> }[keyof T],
|
|
22
|
-
{ [K in keyof T]: ValueOf<T[K]> }
|
|
19
|
+
{ [K in keyof T]: IO.EnvironmentOf<T[K]> }[keyof T],
|
|
20
|
+
{ [K in keyof T]: IO.ErrorOf<T[K]> }[keyof T],
|
|
21
|
+
{ [K in keyof T]: IO.ValueOf<T[K]> }
|
|
23
22
|
>;
|
|
24
23
|
export function all(ios: Record<string, IO<any, any, any>> | Iterable<IO<any, any, any>>): IO<any, any, any> {
|
|
25
24
|
if (Symbol.iterator in ios) {
|
|
@@ -38,19 +37,19 @@ export function all(ios: Record<string, IO<any, any, any>> | Iterable<IO<any, an
|
|
|
38
37
|
export function allConcurrent<T extends ReadonlyArray<IO<any, any, any>>>(
|
|
39
38
|
ios: [...T],
|
|
40
39
|
): IO<
|
|
41
|
-
{ [K in number]: EnvironmentOf<T[K]> }[number],
|
|
42
|
-
{ [K in number]: ErrorOf<T[K]> }[number],
|
|
43
|
-
{ [K in keyof T]: ValueOf<T[K]> }
|
|
40
|
+
{ [K in number]: IO.EnvironmentOf<T[K]> }[number],
|
|
41
|
+
{ [K in number]: IO.ErrorOf<T[K]> }[number],
|
|
42
|
+
{ [K in keyof T]: IO.ValueOf<T[K]> }
|
|
44
43
|
>;
|
|
45
44
|
export function allConcurrent<T extends Iterable<IO<any, any, any>>>(
|
|
46
45
|
ios: T,
|
|
47
|
-
): [T] extends [Iterable<infer A>] ? IO<EnvironmentOf<A>, ErrorOf<A>, Conc<ValueOf<A>>> : never;
|
|
46
|
+
): [T] extends [Iterable<infer A>] ? IO<IO.EnvironmentOf<A>, IO.ErrorOf<A>, Conc<IO.ValueOf<A>>> : never;
|
|
48
47
|
export function allConcurrent<T extends Record<string, IO<any, any, any>>>(
|
|
49
48
|
ios: T,
|
|
50
49
|
): IO<
|
|
51
|
-
{ [K in keyof T]: EnvironmentOf<T[K]> }[keyof T],
|
|
52
|
-
{ [K in keyof T]: ErrorOf<T[K]> }[keyof T],
|
|
53
|
-
{ [K in keyof T]: ValueOf<T[K]> }
|
|
50
|
+
{ [K in keyof T]: IO.EnvironmentOf<T[K]> }[keyof T],
|
|
51
|
+
{ [K in keyof T]: IO.ErrorOf<T[K]> }[keyof T],
|
|
52
|
+
{ [K in keyof T]: IO.ValueOf<T[K]> }
|
|
54
53
|
>;
|
|
55
54
|
export function allConcurrent(ios: Record<string, IO<any, any, any>> | Iterable<IO<any, any, any>>): IO<any, any, any> {
|
|
56
55
|
if (Symbol.iterator in ios) {
|
package/_src/IO/definition.ts
CHANGED
|
@@ -33,9 +33,11 @@ export abstract class IO<R, E, A> {
|
|
|
33
33
|
};
|
|
34
34
|
}
|
|
35
35
|
|
|
36
|
-
export
|
|
37
|
-
export type
|
|
38
|
-
export type
|
|
36
|
+
export declare namespace IO {
|
|
37
|
+
export type EnvironmentOf<T> = [T] extends [{ [IOVariance]: { _R: () => infer R } }] ? R : never;
|
|
38
|
+
export type ErrorOf<T> = [T] extends [{ [IOVariance]: { _E: () => infer E } }] ? E : never;
|
|
39
|
+
export type ValueOf<T> = [T] extends [{ [IOVariance]: { _A: () => infer A } }] ? A : never;
|
|
40
|
+
}
|
|
39
41
|
|
|
40
42
|
declare module "@fncts/base/data/Either/definition" {
|
|
41
43
|
interface Either<E, A> extends IO<never, E, A> {}
|