Thilawyn/effect-lens
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix tapError
Lint / lint (push) Successful in 15s
Details

Browse Source
This commit is contained in:
Julien Valverdé
2026-06-21 20:31:31 +02:00
parent b0e7bf4c7b
commit a1fbd8a670
2 changed files with 38 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files
packages/effect-lens-next/src/Lens.ts
+20 -20
View File
@@ -599,16 +599,16 @@ export const mapError: {
* Applies to `get` and `changes` while leaving `modify` unchanged. * Applies to `get` and `changes` while leaving `modify` unchanged.
*/ */
export const tapErrorRead: { export const tapErrorRead: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW, RR | R2, RW> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW, RR | R2, RW>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW, RR | R2, RW> ): Lens<A, ER | E2, EW, RR | R2, RW>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW, RR | R2, RW> => derive(self, { ): Lens<A, ER | E2, EW, RR | R2, RW> => derive(self, {
resolve: Effect.tapError(f), resolve: Effect.tapError(f),
mapStream: Stream.tapError(f), mapStream: Stream.tapError(f),
@@ -622,16 +622,16 @@ export const tapErrorRead: {
* user-supplied callback unchanged. * user-supplied callback unchanged.
*/ */
export const tapErrorWrite: { export const tapErrorWrite: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER, EW | E2, RR, RW | R2> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER, EW | E2, RR, RW | R2>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER, EW | E2, RR, RW | R2> ): Lens<A, ER, EW | E2, RR, RW | R2>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER, EW | E2, RR, RW | R2> => derive(self, { ): Lens<A, ER, EW | E2, RR, RW | R2> => derive(self, {
resolve: parent => Effect.map(parent, resolved => ({ resolve: parent => Effect.map(parent, resolved => ({
value: resolved.value, value: resolved.value,
@@ -651,24 +651,24 @@ export const tapErrorWrite: {
* failures from the user-supplied callback unchanged. * failures from the user-supplied callback unchanged.
*/ */
export const tapError: { export const tapError: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW | E2, RR | R2, RW | R2>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> ): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> => derive(self, { ): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> => derive(self, {
resolve: parent => Effect.map( resolve: parent => Effect.map(
Effect.tapError(parent, (error: ER) => f(error)), Effect.tapError(parent, f),
resolved => ({ resolved => ({
value: resolved.value, value: resolved.value,
commit: next => Effect.flatMap( commit: next => Effect.flatMap(
next, next,
value => Effect.tapError(resolved.commit(Effect.succeed(value)), e => f(e)), value => Effect.tapError(resolved.commit(Effect.succeed(value)), f),
), ),
}), }),
), ),
packages/effect-lens/src/Lens.ts
+18 -18
View File
@@ -579,16 +579,16 @@ export const mapError: {
* Applies to `get` and `changes` while leaving `modify` unchanged. * Applies to `get` and `changes` while leaving `modify` unchanged.
*/ */
export const tapErrorRead: { export const tapErrorRead: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW, RR | R2, RW> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW, RR | R2, RW>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW, RR | R2, RW> ): Lens<A, ER | E2, EW, RR | R2, RW>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW, RR | R2, RW> => derive(self, { ): Lens<A, ER | E2, EW, RR | R2, RW> => derive(self, {
resolve: Effect.tapError(f), resolve: Effect.tapError(f),
mapStream: Stream.tapError(f), mapStream: Stream.tapError(f),
@@ -602,16 +602,16 @@ export const tapErrorRead: {
* user-supplied callback unchanged. * user-supplied callback unchanged.
*/ */
export const tapErrorWrite: { export const tapErrorWrite: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER, EW | E2, RR, RW | R2> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER, EW | E2, RR, RW | R2>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER, EW | E2, RR, RW | R2> ): Lens<A, ER, EW | E2, RR, RW | R2>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER, EW | E2, RR, RW | R2> => derive(self, { ): Lens<A, ER, EW | E2, RR, RW | R2> => derive(self, {
resolve: parent => Effect.map(parent, resolved => ({ resolve: parent => Effect.map(parent, resolved => ({
value: resolved.value, value: resolved.value,
@@ -631,16 +631,16 @@ export const tapErrorWrite: {
* failures from the user-supplied callback unchanged. * failures from the user-supplied callback unchanged.
*/ */
export const tapError: { export const tapError: {
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> ): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER | E2, EW | E2, RR | R2, RW | R2>
<A, ER, EW, RR, RW, E2, R2>( <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> ): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2>
} = Function.dual(2, <A, ER, EW, RR, RW, E2, R2>( } = Function.dual(2, <A, ER, EW, RR, RW, B, E2, R2>(
self: Lens<A, ER, EW, RR, RW>, self: Lens<A, ER, EW, RR, RW>,
f: (error: NoInfer<ER | EW>) => Effect.Effect<unknown, E2, R2>, f: (error: NoInfer<ER | EW>) => Effect.Effect<B, E2, R2>,
): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> => derive(self, { ): Lens<A, ER | E2, EW | E2, RR | R2, RW | R2> => derive(self, {
resolve: parent => Effect.map( resolve: parent => Effect.map(
Effect.tapError(parent, f), Effect.tapError(parent, f),