the-moby-effect
Version:
Moby/Docker API client built using effect-ts
176 lines (162 loc) • 7.2 kB
text/typescript
import type * as Scope from "effect/Scope";
import type * as MobyDemux from "../../MobyDemux.js";
import * as Socket from "@effect/platform/Socket";
import * as Channel from "effect/Channel";
import * as Chunk from "effect/Chunk";
import * as Effect from "effect/Effect";
import * as Either from "effect/Either";
import * as Exit from "effect/Exit";
import * as Function from "effect/Function";
import * as Match from "effect/Match";
import * as Option from "effect/Option";
import * as Predicate from "effect/Predicate";
import * as Queue from "effect/Queue";
import * as Sink from "effect/Sink";
import * as Stream from "effect/Stream";
import { makeMultiplexedChannel, multiplexedFromStreamWith, MultiplexedHeaderType } from "./multiplexed.js";
import { demuxStdioRawToSeparateSinks } from "./raw.js";
/** @internal */
export const pack = Function.dual<
<
IE1 = never,
IE2 = never,
IE3 = never,
OE1 = Socket.SocketError,
OE2 = Socket.SocketError,
OE3 = Socket.SocketError,
R1 = never,
R2 = never,
R3 = never,
>(options: {
requestedCapacity: number;
encoding?: string | undefined;
}) => (
stdio: MobyDemux.HeterogeneousStdioRawInput<IE1, IE2, IE3, OE1, OE2, OE3, R1, R2, R3>
) => Effect.Effect<
MobyDemux.MultiplexedChannel<IE1 | IE2 | IE3, IE1 | IE2 | IE3 | OE1 | OE2 | OE3, never>,
never,
Exclude<R1, Scope.Scope> | Exclude<R2, Scope.Scope> | Exclude<R3, Scope.Scope>
>,
<
IE1 = never,
IE2 = never,
IE3 = never,
OE1 = Socket.SocketError,
OE2 = Socket.SocketError,
OE3 = Socket.SocketError,
R1 = never,
R2 = never,
R3 = never,
>(
stdio: MobyDemux.HeterogeneousStdioRawInput<IE1, IE2, IE3, OE1, OE2, OE3, R1, R2, R3>,
options: { requestedCapacity: number; encoding?: string | undefined }
) => Effect.Effect<
MobyDemux.MultiplexedChannel<IE1 | IE2 | IE3, IE1 | IE2 | IE3 | OE1 | OE2 | OE3, never>,
never,
Exclude<R1, Scope.Scope> | Exclude<R2, Scope.Scope> | Exclude<R3, Scope.Scope>
>
>(
(arguments_) => "stdin" in arguments_[0] || "stdout" in arguments_[0] || "stderr" in arguments_[0],
Effect.fnUntraced(function* <
IE1 = never,
IE2 = never,
IE3 = never,
OE1 = Socket.SocketError,
OE2 = Socket.SocketError,
OE3 = Socket.SocketError,
R1 = never,
R2 = never,
R3 = never,
>(
stdio: MobyDemux.HeterogeneousStdioRawInput<IE1, IE2, IE3, OE1, OE2, OE3, R1, R2, R3>,
options: { requestedCapacity: number; encoding?: string | undefined }
) {
const mutex = yield* Effect.makeSemaphore(1);
const context = yield* Effect.context<
Exclude<R1, Scope.Scope> | Exclude<R2, Scope.Scope> | Exclude<R3, Scope.Scope>
>();
const capacity = options.requestedCapacity;
type CanReceive = Uint8Array | string | Socket.CloseEvent;
const stdoutConsumerQueue = yield* Queue.bounded<string>(capacity);
const stderrConsumerQueue = yield* Queue.bounded<string>(capacity);
const stdinProducerQueue =
yield* Queue.bounded<Either.Either<Chunk.Chunk<CanReceive>, Exit.Exit<void, IE1>>>(capacity);
// Demux everything to and fro the correct places. We can touch
// this more than once because it is wrapped in the mutex.
const mother = demuxStdioRawToSeparateSinks(
stdio,
{
stdin: Function.pipe(
Stream.fromQueue(stdinProducerQueue, { shutdown: true }),
Stream.map(
Either.match({
onRight: Exit.succeed,
onLeft: Function.flow(
Exit.mapBoth({
onFailure: Option.some,
onSuccess: Function.compose(Option.none, Exit.fail),
}),
Exit.flatten
),
})
),
Stream.flattenExitOption,
Stream.flattenChunks
),
stdout: Sink.fromQueue(stdoutConsumerQueue, { shutdown: true }),
stderr: Sink.fromQueue(stderrConsumerQueue, { shutdown: true }),
},
{
encoding: options?.encoding,
}
)
.pipe(mutex.withPermitsIfAvailable(1))
.pipe(Effect.asVoid)
.pipe(Channel.fromEffect)
.pipe(Channel.provideContext(context));
// Convert the streams to the multiplexed streams
const textEncoder = new TextEncoder();
const encode = Function.pipe(
Match.type<Uint8Array | string | Socket.CloseEvent>(),
Match.when(Predicate.isUint8Array, (data) => data),
Match.when(Predicate.isString, (data) => textEncoder.encode(data)),
Match.when(Socket.isCloseEvent, () => new Uint8Array()),
Match.exhaustive
);
const mapOutEntry =
(type: MultiplexedHeaderType) =>
(data: CanReceive): Uint8Array => {
const encoded = encode(data);
const size = encoded.length;
const result = new Uint8Array(8 + encoded.length);
// Set the header
result[0] = type;
result[1] = 0;
result[2] = 0;
result[3] = 0;
// Set the size bytes in big-endian order
result[4] = (size >>> 24) & 0xff;
result[5] = (size >>> 16) & 0xff;
result[6] = (size >>> 8) & 0xff;
result[7] = size & 0xff;
result.set(encoded, 8);
return result;
};
const concurrency = { concurrent: true } as const;
const independentStdinChannel = Channel.toQueue(stdinProducerQueue)
.pipe(Channel.mapInput(Function.constVoid))
.pipe(Channel.mapInputError(Function.unsafeCoerce<unknown, IE1 | IE2 | IE3>))
.pipe(Channel.mapInputIn((input: Chunk.Chunk<CanReceive>) => Chunk.map(input, encode)))
.pipe(Channel.zipLeft(mother, concurrency));
const { underlying: independentStdoutChannel } = Stream.fromQueue(stdoutConsumerQueue)
.pipe(Stream.encodeText)
.pipe(Stream.map(mapOutEntry(MultiplexedHeaderType.Stdout)))
.pipe(multiplexedFromStreamWith<IE1 | IE2 | IE3>());
const { underlying: independentStderrChannel } = Stream.fromQueue(stderrConsumerQueue)
.pipe(Stream.encodeText)
.pipe(Stream.map(mapOutEntry(MultiplexedHeaderType.Stderr)))
.pipe(multiplexedFromStreamWith<IE1 | IE2 | IE3>());
const mixedOutputChannel = Channel.zip(independentStdoutChannel, independentStderrChannel, concurrency);
return makeMultiplexedChannel(Channel.zip(independentStdinChannel, mixedOutputChannel, concurrency));
})
);