@fncts/io 0.0.37 → 0.0.38
Sign up to get free protection for your applications and to get access to all the features.
- 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 +1 -1
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> {}
|