UNPKG

@effect-ts/system

Version:

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

245 lines (218 loc) 6.27 kB
// ets_tracing: off import * as C from "../../../Cause/index.js" import * as A from "../../../Collections/Immutable/Chunk/index.js" import { _A, _E } from "../../../Effect/commons.js" import * as T from "../../../Effect/index.js" import * as Ex from "../../../Exit/index.js" import * as O from "../../../Option/index.js" import type { Pull } from "../Pull/index.js" /** * A `Take<E, A>` represents a single `take` from a queue modeling a stream of * values. A `Take` may be a failure cause `Cause<E>`, an chunk value `A` * or an end-of-stream marker. */ export class Take<E, A> { readonly [_E]: () => E; readonly [_A]: () => A constructor(readonly exit: Ex.Exit<O.Option<E>, A.Chunk<A>>) {} } /** * Transforms `Take[E, A]` to `Effect[R, E, B]`. */ export function done<E, A>(self: Take<E, A>): T.IO<O.Option<E>, A.Chunk<A>> { return T.done(self.exit) } /** * Folds over the failure cause, success value and end-of-stream marker to * yield a value. */ export function fold_<E, A, Z>( self: Take<E, A>, end: Z, error: (cause: C.Cause<E>) => Z, value: (chunk: A.Chunk<A>) => Z ): Z { return Ex.fold_( self.exit, (_) => O.fold_(C.flipCauseOption(_), () => end, error), value ) } /** * Folds over the failure cause, success value and end-of-stream marker to * yield a value. * * @ets_data_first fold_ */ export function fold<E, A, Z>( end: Z, error: (cause: C.Cause<E>) => Z, value: (chunk: A.Chunk<A>) => Z ) { return (self: Take<E, A>) => fold_(self, end, error, value) } /** * Effectful version of `Take#fold`. * * Folds over the failure cause, success value and end-of-stream marker to * yield an effect. */ export function foldEffect_<R, R1, R2, E, E1, E2, E3, A, Z>( self: Take<E, A>, end: T.Effect<R, E1, Z>, error: (cause: C.Cause<E>) => T.Effect<R1, E2, Z>, value: (chunk: A.Chunk<A>) => T.Effect<R2, E3, Z> ): T.Effect<R & R1 & R2, E1 | E2 | E3, Z> { return Ex.foldM_( self.exit, (_): T.Effect<R & R1, E1 | E2, Z> => O.fold_(C.flipCauseOption(_), () => end, error), value ) } /** * Effectful version of `Take#fold`. * * Folds over the failure cause, success value and end-of-stream marker to * yield an effect. * * @ets_data_first foldEffect_ */ export function foldEffect<R, R1, R2, E, E1, E2, E3, A, Z>( end: T.Effect<R, E1, Z>, error: (cause: C.Cause<E>) => T.Effect<R1, E2, Z>, value: (chunk: A.Chunk<A>) => T.Effect<R2, E3, Z> ) { return (self: Take<E, A>) => foldEffect_(self, end, error, value) } /** * Checks if this `take` is done (`Take.end`). */ export function isDone<E, A>(self: Take<E, A>): boolean { return Ex.fold_( self.exit, (_) => O.isNone(C.flipCauseOption(_)), (_) => false ) } /** * Checks if this `take` is a failure. */ export function isFailure<E, A>(self: Take<E, A>): boolean { return Ex.fold_( self.exit, (_) => O.isSome(C.flipCauseOption(_)), (_) => false ) } /** * Checks if this `take` is a success. */ export function isSuccess<E, A>(self: Take<E, A>): boolean { return Ex.fold_( self.exit, (_) => false, (_) => true ) } /** * Transforms `Take<E, A>` to `Take<E, B>` by applying function `f`. */ export function map_<E, A, B>(self: Take<E, A>, f: (a: A) => B): Take<E, B> { return new Take(Ex.map_(self.exit, A.map(f))) } /** * Transforms `Take<E, A>` to `Take<E, B>` by applying function `f`. * * @ets_data_first map_ */ export function map<A, B>(f: (a: A) => B) { return <E>(self: Take<E, A>) => map_(self, f) } /** * Returns an effect that effectfully "peeks" at the success of this take. */ export function tap_<R, E, E1, A>( self: Take<E, A>, f: (chunk: A.Chunk<A>) => T.Effect<R, E1, any> ): T.Effect<R, E1, void> { return T.asUnit(Ex.forEach_(self.exit, f)) } /** * Returns an effect that effectfully "peeks" at the success of this take. * * @ets_data_first tap_ */ export function tap<R, E1, A>(f: (chunk: A.Chunk<A>) => T.Effect<R, E1, any>) { return <E>(self: Take<E, A>) => tap_(self, f) } /** * Creates a `Take<never, A>` with a singleton chunk. */ export function single<A>(a: A): Take<never, A> { return new Take(Ex.succeed(A.single(a))) } /** * Creates a `Take[Nothing, A]` with the specified chunk. */ export function chunk<A>(as: A.Chunk<A>): Take<never, A> { return new Take(Ex.succeed(as)) } /** * Creates a failing `Take<E, unknown>` with the specified failure. */ export function fail<E>(e: E): Take<E, never> { return new Take(Ex.fail(O.some(e))) } /** * Creates a failing `Take[E, Nothing]` with the specified cause. */ export function failCause<E>(c: C.Cause<E>): Take<E, never> { return new Take(Ex.failCause(C.map_(c, O.some))) } /** * Creates an effect from `Effect<R, E,A>` that does not fail, but succeeds with the `Take<E, A>`. * Error from stream when pulling is converted to `Take.halt`. Creates a singleton chunk. */ export function fromEffect<R, E, A>(effect: T.Effect<R, E, A>): T.RIO<R, Take<E, A>> { return T.foldCause_(effect, (cause) => halt(cause), single) } /** * Creates effect from `Pull<R, E, A>` that does not fail, but succeeds with the `Take<E, A>`. * Error from stream when pulling is converted to `Take.halt`, end of stream to `Take.end`. */ export function fromPull<R, E, A>(pull: Pull<R, E, A>): T.RIO<R, Take<E, A>> { return T.foldCause_( pull, (_) => O.fold_(C.flipCauseOption(_), () => end, halt), chunk ) } /** * Creates a failing `Take<E, never>` with the specified cause. */ export function halt<E>(c: C.Cause<E>): Take<E, never> { return new Take(Ex.halt(C.map_(c, O.some))) } /** * Creates a failing `Take<never, never>` with the specified throwable. */ export function die<E>(e: E): Take<never, never> { return new Take(Ex.die(e)) } /** * Creates a failing `Take<never, never>` with the specified error message. */ export function dieMessage(msg: string): Take<never, never> { return new Take(Ex.die(new C.RuntimeError(msg))) } /** * Creates a `Take<E, A>` from `Exit<E, A>`. */ export function fromExit<E, A>(exit: Ex.Exit<E, A>): Take<E, A> { return new Take(Ex.map_(Ex.mapError_(exit, O.some), A.single)) } /** * End-of-stream marker */ export const end: Take<never, never> = new Take(Ex.fail(O.none))