@fncts/io 0.0.41 → 0.0.42
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/Fiber/FiberRuntime.d.ts +2 -2
- package/Fiber/definition.d.ts +1 -0
- package/FiberSet.d.ts +66 -0
- package/Hub/definition.d.ts +3 -0
- package/Hub/internal.d.ts +1 -0
- package/IO/api/diffFiberRefs.d.ts +7 -0
- package/IO/api/timeout.d.ts +5 -0
- package/IO/api.d.ts +6 -1
- package/IO/definition.d.ts +18 -7
- package/Layer/api.d.ts +5 -0
- package/Queue/api/dimapIO.d.ts +5 -0
- package/Queue/api/filterInputIO.d.ts +1 -1
- package/Queue/api/filterOutputIO.d.ts +1 -0
- package/Queue/api/operations.d.ts +11 -0
- package/Queue/api/zipWithIO.d.ts +1 -0
- package/Queue/definition.d.ts +5 -0
- package/Queue/internal.d.ts +1 -0
- package/STM/definition.d.ts +1 -1
- package/Stream/api.d.ts +10 -0
- package/_cjs/Fiber/FiberRuntime.cjs +86 -75
- package/_cjs/Fiber/FiberRuntime.cjs.map +1 -1
- package/_cjs/Fiber/definition.cjs.map +1 -1
- package/_cjs/FiberSet.cjs +129 -0
- package/_cjs/FiberSet.cjs.map +1 -0
- package/_cjs/Hub/api.cjs +20 -11
- package/_cjs/Hub/api.cjs.map +1 -1
- package/_cjs/Hub/definition.cjs +3 -0
- package/_cjs/Hub/definition.cjs.map +1 -1
- package/_cjs/Hub/internal.cjs +65 -49
- package/_cjs/Hub/internal.cjs.map +1 -1
- package/_cjs/IO/api/diffFiberRefs.cjs +17 -0
- package/_cjs/IO/api/diffFiberRefs.cjs.map +1 -0
- package/_cjs/IO/api/memoize.cjs +7 -4
- package/_cjs/IO/api/memoize.cjs.map +1 -1
- package/_cjs/IO/api/timeout.cjs +8 -0
- package/_cjs/IO/api/timeout.cjs.map +1 -1
- package/_cjs/IO/api.cjs +10 -3
- package/_cjs/IO/api.cjs.map +1 -1
- package/_cjs/IO/definition.cjs +9 -3
- package/_cjs/IO/definition.cjs.map +1 -1
- package/_cjs/Layer/api.cjs +8 -1
- package/_cjs/Layer/api.cjs.map +1 -1
- package/_cjs/Queue/api/dimapIO.cjs +28 -10
- package/_cjs/Queue/api/dimapIO.cjs.map +1 -1
- package/_cjs/Queue/api/filterInputIO.cjs +21 -9
- package/_cjs/Queue/api/filterInputIO.cjs.map +1 -1
- package/_cjs/Queue/api/filterOutputIO.cjs +28 -16
- package/_cjs/Queue/api/filterOutputIO.cjs.map +1 -1
- package/_cjs/Queue/api/operations.cjs +20 -0
- package/_cjs/Queue/api/operations.cjs.map +1 -1
- package/_cjs/Queue/api/zipWithIO.cjs +16 -9
- package/_cjs/Queue/api/zipWithIO.cjs.map +1 -1
- package/_cjs/Queue/definition.cjs.map +1 -1
- package/_cjs/Queue/internal.cjs +84 -54
- package/_cjs/Queue/internal.cjs.map +1 -1
- package/_cjs/STM/definition.cjs +1 -1
- package/_cjs/STM/definition.cjs.map +1 -1
- package/_cjs/Stream/api.cjs +40 -5
- package/_cjs/Stream/api.cjs.map +1 -1
- package/_cjs/internal/BackgroundScheduler.cjs +0 -1
- package/_cjs/internal/BackgroundScheduler.cjs.map +1 -1
- package/_mjs/Fiber/FiberRuntime.mjs +86 -75
- package/_mjs/Fiber/FiberRuntime.mjs.map +1 -1
- package/_mjs/Fiber/definition.mjs.map +1 -1
- package/_mjs/FiberSet.mjs +113 -0
- package/_mjs/FiberSet.mjs.map +1 -0
- package/_mjs/Hub/api.mjs +20 -11
- package/_mjs/Hub/api.mjs.map +1 -1
- package/_mjs/Hub/definition.mjs +3 -0
- package/_mjs/Hub/definition.mjs.map +1 -1
- package/_mjs/Hub/internal.mjs +65 -49
- package/_mjs/Hub/internal.mjs.map +1 -1
- package/_mjs/IO/api/diffFiberRefs.mjs +9 -0
- package/_mjs/IO/api/diffFiberRefs.mjs.map +1 -0
- package/_mjs/IO/api/memoize.mjs +7 -4
- package/_mjs/IO/api/memoize.mjs.map +1 -1
- package/_mjs/IO/api/timeout.mjs +7 -0
- package/_mjs/IO/api/timeout.mjs.map +1 -1
- package/_mjs/IO/api.mjs +9 -3
- package/_mjs/IO/api.mjs.map +1 -1
- package/_mjs/IO/definition.mjs +7 -2
- package/_mjs/IO/definition.mjs.map +1 -1
- package/_mjs/Layer/api.mjs +7 -1
- package/_mjs/Layer/api.mjs.map +1 -1
- package/_mjs/Queue/api/dimapIO.mjs +28 -10
- package/_mjs/Queue/api/dimapIO.mjs.map +1 -1
- package/_mjs/Queue/api/filterInputIO.mjs +21 -9
- package/_mjs/Queue/api/filterInputIO.mjs.map +1 -1
- package/_mjs/Queue/api/filterOutputIO.mjs +28 -16
- package/_mjs/Queue/api/filterOutputIO.mjs.map +1 -1
- package/_mjs/Queue/api/operations.mjs +18 -0
- package/_mjs/Queue/api/operations.mjs.map +1 -1
- package/_mjs/Queue/api/zipWithIO.mjs +16 -9
- package/_mjs/Queue/api/zipWithIO.mjs.map +1 -1
- package/_mjs/Queue/definition.mjs.map +1 -1
- package/_mjs/Queue/internal.mjs +84 -54
- package/_mjs/Queue/internal.mjs.map +1 -1
- package/_mjs/STM/definition.mjs +1 -1
- package/_mjs/STM/definition.mjs.map +1 -1
- package/_mjs/Stream/api.mjs +36 -4
- package/_mjs/Stream/api.mjs.map +1 -1
- package/_mjs/internal/BackgroundScheduler.mjs +0 -1
- package/_mjs/internal/BackgroundScheduler.mjs.map +1 -1
- package/_src/Fiber/FiberRuntime.ts +50 -36
- package/_src/Fiber/definition.ts +2 -0
- package/_src/FiberSet.ts +115 -0
- package/_src/Hub/api.ts +15 -6
- package/_src/Hub/definition.ts +6 -0
- package/_src/Hub/internal.ts +19 -0
- package/_src/IO/api/diffFiberRefs.ts +11 -0
- package/_src/IO/api/memoize.ts +5 -3
- package/_src/IO/api/timeout.ts +8 -0
- package/_src/IO/api.ts +7 -0
- package/_src/IO/definition.ts +20 -4
- package/_src/Layer/api.ts +10 -0
- package/_src/Queue/api/dimapIO.ts +25 -0
- package/_src/Queue/api/filterInputIO.ts +16 -0
- package/_src/Queue/api/filterOutputIO.ts +16 -0
- package/_src/Queue/api/operations.ts +20 -0
- package/_src/Queue/api/zipWithIO.ts +8 -0
- package/_src/Queue/definition.ts +4 -0
- package/_src/Queue/internal.ts +32 -0
- package/_src/STM/definition.ts +1 -1
- package/_src/Stream/api.ts +55 -0
- package/_src/global.ts +4 -0
- package/_src/internal/BackgroundScheduler.ts +0 -1
- package/global.d.ts +4 -0
- package/package.json +4 -4
@@ -16,6 +16,14 @@ class FilterOutputIO<RA, RB, EA, EB, A, B, RB1, EB1> extends QueueInternal<RA, R
|
|
16
16
|
|
17
17
|
isShutdown: UIO<boolean> = this.queue.isShutdown;
|
18
18
|
|
19
|
+
get unsafeSize(): Maybe<number> {
|
20
|
+
return this.queue.unsafeSize;
|
21
|
+
}
|
22
|
+
|
23
|
+
unsafeOffer(a: A): boolean {
|
24
|
+
throw new Error("Cannot unsafely offer to an effectful Queue");
|
25
|
+
}
|
26
|
+
|
19
27
|
offer(a: A): IO<RA, EA, boolean> {
|
20
28
|
return this.queue.offer(a);
|
21
29
|
}
|
@@ -104,6 +112,14 @@ class FilterOutputDequeueIO<RA, RB, EA, EB, A, B, RB1, EB1>
|
|
104
112
|
|
105
113
|
size: UIO<number> = this.queue.size;
|
106
114
|
|
115
|
+
get unsafeSize(): Maybe<number> {
|
116
|
+
return this.queue.unsafeSize;
|
117
|
+
}
|
118
|
+
|
119
|
+
unsafeOffer(a: A): boolean {
|
120
|
+
throw new Error("Cannot unsafely offer to an effectful Queue");
|
121
|
+
}
|
122
|
+
|
107
123
|
take: IO<RB | RB1, EB1 | EB, B> = this.queue.take.flatMap((b) =>
|
108
124
|
this.f(b).flatMap((p) => (p ? IO.succeedNow(b) : this.take)),
|
109
125
|
);
|
@@ -43,6 +43,18 @@ export function isShutdown<RA, RB, EA, EB, A, B>(
|
|
43
43
|
return queue.isShutdown;
|
44
44
|
}
|
45
45
|
|
46
|
+
/**
|
47
|
+
* Places one value in the queue.
|
48
|
+
*
|
49
|
+
* @tsplus pipeable fncts.io.Queue unsafeOffer
|
50
|
+
*/
|
51
|
+
export function unsafeOffer<A>(a: A, __tsplusTrace?: string) {
|
52
|
+
return <RA, RB, EA, EB, B>(queue: PEnqueue<RA, RB, EA, EB, A, B>): boolean => {
|
53
|
+
concrete(queue);
|
54
|
+
return queue.unsafeOffer(a);
|
55
|
+
};
|
56
|
+
}
|
57
|
+
|
46
58
|
/**
|
47
59
|
* Places one value in the queue.
|
48
60
|
*
|
@@ -103,6 +115,14 @@ export function size<RA, RB, EA, EB, A, B>(queue: PQueueCommon<RA, RB, EA, EB, A
|
|
103
115
|
return queue.size;
|
104
116
|
}
|
105
117
|
|
118
|
+
/**
|
119
|
+
* @tsplus getter fncts.io.Queue unsafeSize
|
120
|
+
*/
|
121
|
+
export function unsafeSize<RA, RB, EA, EB, A, B>(queue: PQueueCommon<RA, RB, EA, EB, A, B>, __tsplusTrace?: string) {
|
122
|
+
concrete(queue);
|
123
|
+
return queue.unsafeSize;
|
124
|
+
}
|
125
|
+
|
106
126
|
/**
|
107
127
|
* Removes the oldest value in the queue. If the queue is empty, this will
|
108
128
|
* return a computation that resumes when an item has been added to the queue.
|
@@ -23,6 +23,14 @@ class ZipWithIO<RA, RB, EA, EB, A, B, RA1, RB1, EA1, EB1, A1 extends A, B1, R3,
|
|
23
23
|
|
24
24
|
isShutdown: UIO<boolean> = this.fa.isShutdown;
|
25
25
|
|
26
|
+
get unsafeSize(): Maybe<number> {
|
27
|
+
return this.fa.unsafeSize.zipWith(this.fb.unsafeSize, (a, b) => Math.max(a, b));
|
28
|
+
}
|
29
|
+
|
30
|
+
unsafeOffer(a: A): boolean {
|
31
|
+
throw new Error("Cannot unsafely offer to an effectful Queue");
|
32
|
+
}
|
33
|
+
|
26
34
|
offer(a: A1): IO<RA | RA1, EA1 | EA, boolean> {
|
27
35
|
return this.fa.offer(a).zipWithConcurrent(this.fb.offer(a), (x, y) => x && y);
|
28
36
|
}
|
package/_src/Queue/definition.ts
CHANGED
@@ -113,6 +113,7 @@ export abstract class QueueInternal<RA, RB, EA, EB, A, B>
|
|
113
113
|
* `true` if `shutdown` has been called.
|
114
114
|
*/
|
115
115
|
abstract readonly isShutdown: UIO<boolean>;
|
116
|
+
abstract unsafeOffer(a: A): boolean;
|
116
117
|
/**
|
117
118
|
* Places one value in the queue.
|
118
119
|
*/
|
@@ -140,6 +141,7 @@ export abstract class QueueInternal<RA, RB, EA, EB, A, B>
|
|
140
141
|
* Future calls to `offer*` and `take*` will be interrupted immediately.
|
141
142
|
*/
|
142
143
|
abstract readonly shutdown: UIO<void>;
|
144
|
+
abstract readonly unsafeSize: Maybe<number>;
|
143
145
|
/**
|
144
146
|
* Retrieves the size of the queue, which is equal to the number of elements
|
145
147
|
* in the queue. This may be negative if fibers are suspended waiting for
|
@@ -211,6 +213,7 @@ export interface PQueueCommonInternal<RA, RB, EA, EB, A, B> {
|
|
211
213
|
* Future calls to `offer*` and `take*` will be interrupted immediately.
|
212
214
|
*/
|
213
215
|
readonly shutdown: UIO<void>;
|
216
|
+
readonly unsafeSize: Maybe<number>;
|
214
217
|
/**
|
215
218
|
* Retrieves the size of the queue, which is equal to the number of elements
|
216
219
|
* in the queue. This may be negative if fibers are suspended waiting for
|
@@ -221,6 +224,7 @@ export interface PQueueCommonInternal<RA, RB, EA, EB, A, B> {
|
|
221
224
|
|
222
225
|
export interface PEnqueueInternal<RA, RB, EA, EB, A, B> extends PQueueCommonInternal<RA, RB, EA, EB, A, B> {
|
223
226
|
readonly [EnqueueTypeId]: EnqueueTypeId;
|
227
|
+
unsafeOffer(a: A): boolean;
|
224
228
|
/**
|
225
229
|
* Places one value in the queue.
|
226
230
|
*/
|
package/_src/Queue/internal.ts
CHANGED
@@ -22,6 +22,38 @@ class UnsafeQueue<A> extends QueueInternal<never, never, never, never, A, A> {
|
|
22
22
|
|
23
23
|
isShutdown: UIO<boolean> = IO.succeed(this.shutdownFlag.get);
|
24
24
|
|
25
|
+
get unsafeSize(): Maybe<number> {
|
26
|
+
if (this.shutdownFlag.get) {
|
27
|
+
return Nothing();
|
28
|
+
}
|
29
|
+
return Just(this.queue.size - this.takers.size + this.strategy.surplusSize);
|
30
|
+
}
|
31
|
+
|
32
|
+
unsafeOffer(a: A): boolean {
|
33
|
+
if (this.shutdownFlag.get) {
|
34
|
+
return false;
|
35
|
+
}
|
36
|
+
let noRemaining: boolean;
|
37
|
+
if (this.queue.size === 0) {
|
38
|
+
const taker = this.takers.dequeue(undefined);
|
39
|
+
|
40
|
+
if (taker != null) {
|
41
|
+
unsafeCompletePromise(taker, a);
|
42
|
+
noRemaining = true;
|
43
|
+
} else {
|
44
|
+
noRemaining = false;
|
45
|
+
}
|
46
|
+
} else {
|
47
|
+
noRemaining = false;
|
48
|
+
}
|
49
|
+
if (noRemaining) {
|
50
|
+
return true;
|
51
|
+
}
|
52
|
+
const succeeded = this.queue.enqueue(a);
|
53
|
+
unsafeCompleteTakers(this.strategy, this.queue, this.takers);
|
54
|
+
return succeeded;
|
55
|
+
}
|
56
|
+
|
25
57
|
offer(a: A, __tsplusTrace?: string): IO<never, never, boolean> {
|
26
58
|
return IO.defer(() => {
|
27
59
|
if (this.shutdownFlag.get) {
|
package/_src/STM/definition.ts
CHANGED
@@ -25,7 +25,7 @@ export type STMTypeId = typeof STMTypeId;
|
|
25
25
|
*/
|
26
26
|
export abstract class STM<R, E, A> {
|
27
27
|
readonly [IOTypeId]: IOTypeId = IOTypeId;
|
28
|
-
readonly
|
28
|
+
readonly _ioOpCode = IOTag.Commit;
|
29
29
|
readonly trace?: string;
|
30
30
|
readonly [STMTypeId]: STMTypeId = STMTypeId;
|
31
31
|
declare [IOVariance]: {
|
package/_src/Stream/api.ts
CHANGED
@@ -1592,6 +1592,26 @@ export function fromChunk<O>(c: Lazy<Conc<O>>, __tsplusTrace?: string): Stream<n
|
|
1592
1592
|
return new Stream(Channel.unwrap(IO.succeedNow(Channel.write(c))));
|
1593
1593
|
}
|
1594
1594
|
|
1595
|
+
/**
|
1596
|
+
* @tsplus static fncts.io.StreamOps fromReadableStream
|
1597
|
+
*/
|
1598
|
+
export function fromReadableStream<A, E>(
|
1599
|
+
evaluate: Lazy<ReadableStream<A>>,
|
1600
|
+
onError: (error: unknown) => E,
|
1601
|
+
): Stream<never, E, A> {
|
1602
|
+
return Stream.unwrapScoped(
|
1603
|
+
IO(evaluate().getReader())
|
1604
|
+
.acquireRelease((reader) => IO.fromPromiseHalt(reader.cancel()))
|
1605
|
+
.map((reader) =>
|
1606
|
+
Stream.repeatIOMaybe(
|
1607
|
+
IO.fromPromiseCatch(reader.read(), (reason) => Just(onError(reason))).flatMap(({ done, value }) =>
|
1608
|
+
done ? IO.failNow(Nothing()) : IO.succeedNow(value),
|
1609
|
+
),
|
1610
|
+
),
|
1611
|
+
),
|
1612
|
+
);
|
1613
|
+
}
|
1614
|
+
|
1595
1615
|
/**
|
1596
1616
|
* Creates a single-valued stream from a managed resource
|
1597
1617
|
*
|
@@ -3286,6 +3306,41 @@ export function toQueueUnbounded<R, E, A>(
|
|
3286
3306
|
});
|
3287
3307
|
}
|
3288
3308
|
|
3309
|
+
/**
|
3310
|
+
* @tsplus getter fncts.io.Stream toReadableStream
|
3311
|
+
*/
|
3312
|
+
export function toReadableStream<E, A>(self: Stream<never, E, A>, __tsplusTrace?: string): ReadableStream<A> {
|
3313
|
+
let pull: UIO<void>;
|
3314
|
+
let scope: Scope.Closeable;
|
3315
|
+
return new ReadableStream<A>({
|
3316
|
+
start(controller) {
|
3317
|
+
scope = Scope.make.unsafeRun.getOrThrow;
|
3318
|
+
pull = self.toPull
|
3319
|
+
.provideScope(scope)
|
3320
|
+
.unsafeRun.getOrThrow.tap((chunk) =>
|
3321
|
+
IO(
|
3322
|
+
chunk.forEach((a) => {
|
3323
|
+
controller.enqueue(a);
|
3324
|
+
}),
|
3325
|
+
),
|
3326
|
+
)
|
3327
|
+
.tapErrorCause(() => scope.close(Exit.unit))
|
3328
|
+
.catchAll((error) =>
|
3329
|
+
error.match(
|
3330
|
+
() => IO(controller.close()),
|
3331
|
+
(error) => IO(controller.error(error)),
|
3332
|
+
),
|
3333
|
+
).asUnit;
|
3334
|
+
},
|
3335
|
+
pull() {
|
3336
|
+
return pull.unsafeRunPromise();
|
3337
|
+
},
|
3338
|
+
cancel() {
|
3339
|
+
return scope.close(Exit.unit).unsafeRunPromise();
|
3340
|
+
},
|
3341
|
+
});
|
3342
|
+
}
|
3343
|
+
|
3289
3344
|
function unfoldChunkIOLoop<S, R, E, A>(
|
3290
3345
|
s: S,
|
3291
3346
|
f: (s: S) => IO<R, E, Maybe<readonly [Conc<A>, S]>>,
|
package/_src/global.ts
CHANGED
@@ -203,7 +203,6 @@ export class BackgroundScheduler implements Scheduler {
|
|
203
203
|
if (this.callbacks.length === 0) {
|
204
204
|
const channel = new MessageChannel();
|
205
205
|
channel.port2.postMessage(undefined);
|
206
|
-
// @ts-expect-error
|
207
206
|
channel.port1.onmessage = (): void => {
|
208
207
|
channel.port1.close();
|
209
208
|
channel.port2.close();
|
package/global.d.ts
CHANGED
package/package.json
CHANGED
@@ -1,10 +1,10 @@
|
|
1
1
|
{
|
2
2
|
"name": "@fncts/io",
|
3
|
-
"version": "0.0.
|
3
|
+
"version": "0.0.42",
|
4
4
|
"dependencies": {
|
5
|
-
"@fncts/base": "0.0.
|
6
|
-
"@fncts/transformers": "0.0.
|
7
|
-
"@fncts/typelevel": "0.0.
|
5
|
+
"@fncts/base": "0.0.34",
|
6
|
+
"@fncts/transformers": "0.0.8",
|
7
|
+
"@fncts/typelevel": "0.0.17"
|
8
8
|
},
|
9
9
|
"exports": {
|
10
10
|
"./*": {
|