UNPKG

the-moby-effect

Version:
176 lines (162 loc) 7.2 kB
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)); }) );