Fix
Lint / lint (push) Failing after 11s

This commit is contained in:
Julien Valverdé
2026-05-28 01:08:59 +02:00
parent 7ed5135aa6
commit e3b6c89a1e
+11 -11
View File
@@ -162,17 +162,17 @@ extends LensImpl<A, ER, EW, RR, RW> {
* Derives a new `Lens` by linking a step to an existing parent lens.
*/
export const derive: {
<A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
self: Lens<A, ER, EW, RR, RW>,
source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): Lens<C, ER2, EW2, RR2, RW2>
<A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): (self: Lens<A, ER, EW, RR, RW>) => Lens<C, ER2, EW2, RR2, RW2>
} = Function.dual(2, <A, ER, EW, RR, RW, C, ER2, EW2, RR2, RW2>(
self: Lens<A, ER, EW, RR, RW>,
source: DerivedLensImpl.Source<C, A, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): Lens<C, ER2, EW2, RR2, RW2> => new DerivedLensImpl(asLensImpl(self), source))
<A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
self: Lens<B, ER, EW, RR, RW>,
source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): Lens<A, ER2, EW2, RR2, RW2>
<A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): (self: Lens<B, ER, EW, RR, RW>) => Lens<A, ER2, EW2, RR2, RW2>
} = Function.dual(2, <A, B, ER, EW, RR, RW, ER2, EW2, RR2, RW2>(
self: Lens<B, ER, EW, RR, RW>,
source: DerivedLensImpl.Source<A, B, ER2, ER, EW2, EW, RR2, RR, RW2, RW>,
): Lens<A, ER2, EW2, RR2, RW2> => new DerivedLensImpl(asLensImpl(self), source))
export declare namespace SynchronizedRefLensImpl {