UNPKG

@effect-ts/system

Version:

Effect-TS is a zero dependency set of libraries to write highly productive, purely functional TypeScript at scale.

48 lines (44 loc) 1.63 kB
// ets_tracing: off import * as T from "../../../../Effect/index.js" import * as E from "../../../../Either/index.js" import { identity } from "../../../../Function/index.js" import * as M from "../../../../Managed/index.js" import * as Executor from "../_internal/executor.js" import type * as C from "../core.js" function toPullInterpret<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>( channelState: Executor.ChannelState<Env, OutErr>, exec: Executor.ChannelExecutor<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> ): T.Effect<Env, OutErr, E.Either<OutDone, OutElem>> { switch (channelState._typeId) { case Executor.ChannelStateEffectTypeId: { return T.chain_(channelState.effect, () => toPullInterpret(exec.run(), exec)) } case Executor.ChannelStateEmitTypeId: { return T.succeed(E.right(exec.getEmit())) } case Executor.ChannelStateDoneTypeId: { const done = exec.getDone() if (done._tag === "Success") { return T.succeed(E.left(done.value)) } else { return T.halt(done.cause) } } } } /** * Interpret a channel to a managed Pull */ export function toPull<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>( self: C.Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> ): M.Managed<Env, never, T.Effect<Env, OutErr, E.Either<OutDone, OutElem>>> { return M.map_( M.makeExit_( T.succeedWith( () => new Executor.ChannelExecutor(() => self, undefined, identity) ), (exec, exit) => exec.close(exit) || T.unit ), (exec) => T.suspend(() => toPullInterpret(exec.run(), exec)) ) }