UNPKG

@effect-ts/system

Version:

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

41 lines (37 loc) 1.05 kB
// ets_tracing: off import { succeed } from "./core.js" import type { Effect, RIO } from "./effect.js" import { foldM_ } from "./foldM.js" /** * Folds over the failure value or the success value to yield an effect that * does not fail, but succeeds with the value returned by the left or right * function passed to `fold`. */ export function fold_<R, E, A, A2, A3>( value: Effect<R, E, A>, failure: (failure: E) => A2, success: (a: A) => A3, __trace?: string ): Effect<R, never, A2 | A3> { return foldM_( value, (e) => succeed(failure(e)), (a) => succeed(success(a)), __trace ) } /** * Folds over the failure value or the success value to yield an effect that * does not fail, but succeeds with the value returned by the left or right * function passed to `fold`. * * @ets_data_first fold_ */ export function fold<E, A, A2, A3>( failure: (failure: E) => A2, success: (a: A) => A3, __trace?: string ) { return <R>(value: Effect<R, E, A>): RIO<R, A2 | A3> => fold_(value, failure, success, __trace) }