@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
text/typescript
// 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)
}