This commit is contained in:
Julien Valverdé
7
bun.lock
7
bun.lock
@@ -36,12 +36,15 @@
|
|||||||
"packages/effect-fc": {
|
"packages/effect-fc": {
|
||||||
"name": "effect-fc",
|
"name": "effect-fc",
|
||||||
"version": "0.2.4",
|
"version": "0.2.4",
|
||||||
|
"dependencies": {
|
||||||
|
"effect-lens": "^0.1.0",
|
||||||
|
},
|
||||||
"devDependencies": {
|
"devDependencies": {
|
||||||
"@effect/platform-browser": "^0.74.0",
|
"@effect/platform-browser": "^0.74.0",
|
||||||
},
|
},
|
||||||
"peerDependencies": {
|
"peerDependencies": {
|
||||||
"@types/react": "^19.2.0",
|
"@types/react": "^19.2.0",
|
||||||
"effect": "^3.19.0",
|
"effect": "^3.21.0",
|
||||||
"react": "^19.2.0",
|
"react": "^19.2.0",
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
@@ -1385,6 +1388,8 @@
|
|||||||
|
|
||||||
"effect-fc": ["effect-fc@workspace:packages/effect-fc"],
|
"effect-fc": ["effect-fc@workspace:packages/effect-fc"],
|
||||||
|
|
||||||
|
"effect-lens": ["effect-lens@0.1.0", "", { "peerDependencies": { "effect": "^3.21.0" } }, "sha512-vD4yMMqFCPrMYAu9L3Q3HEwd1SPCpLHANEBf4f9A8fUVLkLUxt1XzNtdkOV7dJXA0vqgJuKdeBAJw2nfDZg1sA=="],
|
||||||
|
|
||||||
"electron-to-chromium": ["electron-to-chromium@1.5.313", "", {}, "sha512-QBMrTWEf00GXZmJyx2lbYD45jpI3TUFnNIzJ5BBc8piGUDwMPa1GV6HJWTZVvY/eiN3fSopl7NRbgGp9sZ9LTA=="],
|
"electron-to-chromium": ["electron-to-chromium@1.5.313", "", {}, "sha512-QBMrTWEf00GXZmJyx2lbYD45jpI3TUFnNIzJ5BBc8piGUDwMPa1GV6HJWTZVvY/eiN3fSopl7NRbgGp9sZ9LTA=="],
|
||||||
|
|
||||||
"emoji-regex": ["emoji-regex@9.2.2", "", {}, "sha512-L18DaJsXSUk2+42pv8mLs5jJT2hqFkFE4j21wOmgbUqsZ2hL72NsUU785g9RXgo3s0ZNgVl42TiHp3ZtOv/Vyg=="],
|
"emoji-regex": ["emoji-regex@9.2.2", "", {}, "sha512-L18DaJsXSUk2+42pv8mLs5jJT2hqFkFE4j21wOmgbUqsZ2hL72NsUU785g9RXgo3s0ZNgVl42TiHp3ZtOv/Vyg=="],
|
||||||
|
|||||||
@@ -42,7 +42,10 @@
|
|||||||
},
|
},
|
||||||
"peerDependencies": {
|
"peerDependencies": {
|
||||||
"@types/react": "^19.2.0",
|
"@types/react": "^19.2.0",
|
||||||
"effect": "^3.19.0",
|
"effect": "^3.21.0",
|
||||||
"react": "^19.2.0"
|
"react": "^19.2.0"
|
||||||
|
},
|
||||||
|
"dependencies": {
|
||||||
|
"effect-lens": "^0.1.0"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,139 +0,0 @@
|
|||||||
import { describe, expect, test } from "bun:test"
|
|
||||||
import { Chunk, Effect, SubscriptionRef } from "effect"
|
|
||||||
import * as Lens from "./Lens.js"
|
|
||||||
|
|
||||||
|
|
||||||
describe("Lens", () => {
|
|
||||||
test("focusField focuses a nested property without touching other fields", async () => {
|
|
||||||
const [initialCount, updatedState] = await Effect.runPromise(
|
|
||||||
Effect.flatMap(
|
|
||||||
SubscriptionRef.make({ count: 1, label: "original" }),
|
|
||||||
parent => {
|
|
||||||
const countLens = Lens.focusField(Lens.fromSubscriptionRef(parent), "count")
|
|
||||||
return Effect.flatMap(
|
|
||||||
Lens.get(countLens),
|
|
||||||
count => Effect.flatMap(
|
|
||||||
Lens.set(countLens, count + 5),
|
|
||||||
() => Effect.map(parent.get, state => [count, state] as const),
|
|
||||||
),
|
|
||||||
)
|
|
||||||
},
|
|
||||||
),
|
|
||||||
)
|
|
||||||
|
|
||||||
expect(initialCount).toBe(1)
|
|
||||||
expect(updatedState).toEqual({ count: 6, label: "original" })
|
|
||||||
})
|
|
||||||
|
|
||||||
test("focusMutableField preserves the root identity when mutating in place", async () => {
|
|
||||||
const original = { detail: "keep" }
|
|
||||||
const updated = await Effect.runPromise(
|
|
||||||
Effect.flatMap(
|
|
||||||
SubscriptionRef.make(original),
|
|
||||||
parent => {
|
|
||||||
const detailLens = Lens.focusMutableField(Lens.fromSubscriptionRef(parent), "detail")
|
|
||||||
return Effect.flatMap(
|
|
||||||
Lens.set(detailLens, "mutated"),
|
|
||||||
() => parent.get,
|
|
||||||
)
|
|
||||||
},
|
|
||||||
),
|
|
||||||
)
|
|
||||||
|
|
||||||
expect(updated).toBe(original)
|
|
||||||
expect(updated.detail).toBe("mutated")
|
|
||||||
})
|
|
||||||
|
|
||||||
test("focusArrayAt updates the selected index", async () => {
|
|
||||||
const updated = await Effect.runPromise(
|
|
||||||
Effect.flatMap(
|
|
||||||
SubscriptionRef.make([10, 20, 30]),
|
|
||||||
parent => {
|
|
||||||
const elementLens = Lens.focusArrayAt(Lens.fromSubscriptionRef(parent), 1)
|
|
||||||
return Effect.flatMap(
|
|
||||||
Lens.update(elementLens, value => value + 5),
|
|
||||||
() => parent.get,
|
|
||||||
)
|
|
||||||
},
|
|
||||||
),
|
|
||||||
)
|
|
||||||
|
|
||||||
expect(updated).toEqual([10, 25, 30])
|
|
||||||
})
|
|
||||||
|
|
||||||
test("focusMutableArrayAt mutates the array reference in place", async () => {
|
|
||||||
const original = ["foo", "bar"]
|
|
||||||
const updated = await Effect.runPromise(
|
|
||||||
Effect.flatMap(
|
|
||||||
SubscriptionRef.make(original),
|
|
||||||
parent => {
|
|
||||||
const elementLens = Lens.focusMutableArrayAt(Lens.fromSubscriptionRef(parent), 0)
|
|
||||||
return Effect.flatMap(
|
|
||||||
Lens.set(elementLens, "baz"),
|
|
||||||
() => parent.get,
|
|
||||||
)
|
|
||||||
},
|
|
||||||
),
|
|
||||||
)
|
|
||||||
|
|
||||||
expect(updated).toBe(original)
|
|
||||||
expect(updated).toEqual(["baz", "bar"])
|
|
||||||
})
|
|
||||||
|
|
||||||
test("focusChunkAt replaces the focused chunk element", async () => {
|
|
||||||
const updated = await Effect.runPromise(
|
|
||||||
Effect.flatMap(
|
|
||||||
SubscriptionRef.make(Chunk.make(1, 2, 3) as Chunk.Chunk<number>),
|
|
||||||
parent => {
|
|
||||||
const elementLens = Lens.focusChunkAt(Lens.fromSubscriptionRef(parent), 2)
|
|
||||||
return Effect.flatMap(
|
|
||||||
Lens.set(elementLens, 99),
|
|
||||||
() => parent.get,
|
|
||||||
)
|
|
||||||
},
|
|
||||||
),
|
|
||||||
)
|
|
||||||
|
|
||||||
expect(Chunk.toReadonlyArray(updated)).toEqual([1, 2, 99])
|
|
||||||
})
|
|
||||||
|
|
||||||
// test("changes stream emits updates when lens mutates state", async () => {
|
|
||||||
// const events = await Effect.runPromise(
|
|
||||||
// Effect.flatMap(
|
|
||||||
// SubscriptionRef.make({ count: 0 }),
|
|
||||||
// parent => {
|
|
||||||
// const lens = Lens.mapField(Lens.fromSubscriptionRef(parent), "count")
|
|
||||||
// return Effect.fork(Stream.runCollect(Stream.take(lens.changes, 2))).pipe(
|
|
||||||
// Effect.tap(Lens.set(lens, 1)),
|
|
||||||
// Effect.tap(Lens.set(lens, 1)),
|
|
||||||
// Effect.andThen(Fiber.join),
|
|
||||||
// Effect.map(Chunk.toReadonlyArray),
|
|
||||||
// )
|
|
||||||
// },
|
|
||||||
// ),
|
|
||||||
// )
|
|
||||||
|
|
||||||
// expect(events).toEqual([1, 2])
|
|
||||||
// })
|
|
||||||
|
|
||||||
// test("mapped changes stream can derive transformed values", async () => {
|
|
||||||
// const derived = await Effect.runPromise(
|
|
||||||
// Effect.flatMap(
|
|
||||||
// SubscriptionRef.make({ count: 10 }),
|
|
||||||
// parent => {
|
|
||||||
// const lens = Lens.mapField(Lens.fromSubscriptionRef(parent), "count")
|
|
||||||
// const transformed = Stream.map(lens.changes, count => `count:${ count }`)
|
|
||||||
// return Effect.scoped(() => Effect.flatMap(
|
|
||||||
// Effect.forkScoped(Stream.runCollect(Stream.take(transformed, 1))),
|
|
||||||
// fiber => Effect.flatMap(
|
|
||||||
// Lens.set(lens, 42),
|
|
||||||
// () => Effect.join(fiber),
|
|
||||||
// ),
|
|
||||||
// ))
|
|
||||||
// },
|
|
||||||
// ),
|
|
||||||
// )
|
|
||||||
|
|
||||||
// expect(derived).toEqual(["count:42"])
|
|
||||||
// })
|
|
||||||
})
|
|
||||||
@@ -1,424 +1,38 @@
|
|||||||
import { Array, Chunk, Effect, Function, Pipeable, Predicate, Readable, Stream, Subscribable, type SubscriptionRef, type SynchronizedRef } from "effect"
|
import { Effect, Equivalence, Stream } from "effect"
|
||||||
import type { NoSuchElementException } from "effect/Cause"
|
import { Lens } from "effect-lens"
|
||||||
|
import * as React from "react"
|
||||||
|
import * as Component from "./Component.js"
|
||||||
|
import * as SetStateAction from "./SetStateAction.js"
|
||||||
|
|
||||||
|
|
||||||
export const LensTypeId: unique symbol = Symbol.for("@effect-fc/Lens/Lens")
|
export declare namespace useState {
|
||||||
export type LensTypeId = typeof LensTypeId
|
export interface Options<A> {
|
||||||
|
readonly equivalence?: Equivalence.Equivalence<A>
|
||||||
/**
|
|
||||||
* A bidirectional view into some shared state that exposes:
|
|
||||||
*
|
|
||||||
* 1. a `get` effect for reading the current value of type `A`,
|
|
||||||
* 2. a `changes` stream that emits every subsequent update to `A`, and
|
|
||||||
* 3. a `modify` effect that can transform the current value.
|
|
||||||
*/
|
|
||||||
export interface Lens<in out A, in out ER = never, in out EW = never, in out RR = never, in out RW = never>
|
|
||||||
extends Subscribable.Subscribable<A, ER, RR> {
|
|
||||||
readonly [LensTypeId]: LensTypeId
|
|
||||||
|
|
||||||
readonly modify: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => Effect.Effect<B, ER | EW | E1, RR | RW | R1>
|
|
||||||
}
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Internal `Lens` implementation.
|
|
||||||
*/
|
|
||||||
export class LensImpl<in out A, in out ER = never, in out EW = never, in out RR = never, in out RW = never>
|
|
||||||
extends Pipeable.Class() implements Lens<A, ER, EW, RR, RW> {
|
|
||||||
readonly [Readable.TypeId]: Readable.TypeId = Readable.TypeId
|
|
||||||
readonly [Subscribable.TypeId]: Subscribable.TypeId = Subscribable.TypeId
|
|
||||||
readonly [LensTypeId]: LensTypeId = LensTypeId
|
|
||||||
|
|
||||||
constructor(
|
|
||||||
readonly get: Effect.Effect<A, ER, RR>,
|
|
||||||
readonly changes: Stream.Stream<A, ER, RR>,
|
|
||||||
readonly modify: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => Effect.Effect<B, ER | EW | E1, RR | RW | R1>,
|
|
||||||
) {
|
|
||||||
super()
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
export const useState = Effect.fnUntraced(function* <A, ER, EW, RR, RW>(
|
||||||
|
lens: Lens.Lens<A, ER, EW, RR, RW>,
|
||||||
|
options?: useState.Options<NoInfer<A>>,
|
||||||
|
): Effect.fn.Return<readonly [A, React.Dispatch<React.SetStateAction<A>>], ER | EW, RR | RW> {
|
||||||
|
const [reactStateValue, setReactStateValue] = React.useState(yield* Component.useOnMount(() => Lens.get(lens)))
|
||||||
|
|
||||||
/**
|
yield* Component.useReactEffect(() => Effect.forkScoped(
|
||||||
* Checks whether a value is a `Lens`.
|
Stream.runForEach(
|
||||||
*/
|
Stream.changesWith(lens.changes, options?.equivalence ?? Equivalence.strict()),
|
||||||
export const isLens = (u: unknown): u is Lens<unknown, unknown, unknown, unknown, unknown> => Predicate.hasProperty(u, LensTypeId)
|
v => Effect.sync(() => setReactStateValue(v)),
|
||||||
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Creates a `Lens` by supplying how to read the current value, observe changes, and apply transformations.
|
|
||||||
*
|
|
||||||
* Either `modify` or `set` needs to be supplied.
|
|
||||||
*/
|
|
||||||
export const make = <A, ER, EW, RR, RW>(
|
|
||||||
options: {
|
|
||||||
readonly get: Effect.Effect<A, ER, RR>
|
|
||||||
readonly changes: Stream.Stream<A, ER, RR>
|
|
||||||
} & (
|
|
||||||
| {
|
|
||||||
readonly modify: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => Effect.Effect<B, ER | EW | E1, RR | RW | R1>
|
|
||||||
}
|
|
||||||
| { readonly set: (a: A) => Effect.Effect<void, EW, RW> }
|
|
||||||
)
|
|
||||||
): Lens<A, ER, EW, RR, RW> => new LensImpl<A, ER, EW, RR, RW>(
|
|
||||||
options.get,
|
|
||||||
options.changes,
|
|
||||||
Predicate.hasProperty(options, "modify")
|
|
||||||
? options.modify
|
|
||||||
: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => Effect.flatMap(
|
|
||||||
options.get,
|
|
||||||
a => Effect.flatMap(f(a), ([b, next]) => Effect.as(options.set(next), b)
|
|
||||||
)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Creates a `Lens` that proxies a `SubscriptionRef`.
|
|
||||||
*/
|
|
||||||
export const fromSubscriptionRef = <A>(
|
|
||||||
ref: SubscriptionRef.SubscriptionRef<A>
|
|
||||||
): Lens<A, never, never, never, never> => make({
|
|
||||||
get get() { return ref.get },
|
|
||||||
get changes() { return ref.changes },
|
|
||||||
modify: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => ref.modifyEffect(f),
|
|
||||||
})
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Creates a `Lens` that proxies a `SynchronizedRef`.
|
|
||||||
*
|
|
||||||
* Note: since `SynchronizedRef` does not provide any kind of reactivity mechanism, the produced `Lens` will be non-reactive.
|
|
||||||
* This means its `changes` stream will only emit the current value once when evaluated and nothing else.
|
|
||||||
*/
|
|
||||||
export const fromSynchronizedRef = <A>(
|
|
||||||
ref: SynchronizedRef.SynchronizedRef<A>
|
|
||||||
): Lens<A, never, never, never, never> => make({
|
|
||||||
get get() { return ref.get },
|
|
||||||
get changes() { return Stream.unwrap(Effect.map(ref.get, Stream.make)) },
|
|
||||||
modify: <B, E1 = never, R1 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E1, R1>
|
|
||||||
) => ref.modifyEffect(f),
|
|
||||||
})
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Flattens an effectful `Lens`.
|
|
||||||
*/
|
|
||||||
export const unwrap = <A, ER, EW, RR, RW, E1, R1>(
|
|
||||||
effect: Effect.Effect<Lens<A, ER, EW, RR, RW>, E1, R1>
|
|
||||||
): Lens<A, ER | E1, EW | E1, RR | R1, RW | R1> => make({
|
|
||||||
get: Effect.flatMap(effect, l => l.get),
|
|
||||||
changes: Stream.unwrap(Effect.map(effect, l => l.changes)),
|
|
||||||
modify: <B, E2 = never, R2 = never>(
|
|
||||||
f: (a: A) => Effect.Effect<readonly [B, A], E2, R2>
|
|
||||||
) => Effect.flatMap(effect, l => l.modify(f)),
|
|
||||||
})
|
|
||||||
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Derives a new `Lens` by applying synchronous getters and setters over the focused value.
|
|
||||||
*/
|
|
||||||
export const map: {
|
|
||||||
<A, ER, EW, RR, RW, B>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
get: (a: NoInfer<A>) => B,
|
|
||||||
set: (a: NoInfer<A>, b: B) => NoInfer<A>,
|
|
||||||
): Lens<B, ER, EW, RR, RW>
|
|
||||||
<A, ER, EW, RR, RW, B>(
|
|
||||||
get: (a: NoInfer<A>) => B,
|
|
||||||
set: (a: NoInfer<A>, b: B) => NoInfer<A>,
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<B, ER, EW, RR, RW>
|
|
||||||
} = Function.dual(3, <A, ER, EW, RR, RW, B>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
get: (a: NoInfer<A>) => B,
|
|
||||||
set: (a: NoInfer<A>, b: B) => NoInfer<A>,
|
|
||||||
): Lens<B, ER, EW, RR, RW> => make({
|
|
||||||
get get() { return Effect.map(self.get, get) },
|
|
||||||
get changes() { return Stream.map(self.changes, get) },
|
|
||||||
modify: <C, E1 = never, R1 = never>(
|
|
||||||
f: (b: B) => Effect.Effect<readonly [C, B], E1, R1>
|
|
||||||
) => self.modify(a =>
|
|
||||||
Effect.flatMap(f(get(a)), ([c, next]) => Effect.succeed([c, set(a, next)]))
|
|
||||||
),
|
|
||||||
}))
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Derives a new `Lens` by applying effectful getters and setters over the focused value.
|
|
||||||
*/
|
|
||||||
export const mapEffect: {
|
|
||||||
<A, ER, EW, RR, RW, B, EGet = never, RGet = never, ESet = never, RSet = never>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
get: (a: NoInfer<A>) => Effect.Effect<B, EGet, RGet>,
|
|
||||||
set: (a: NoInfer<A>, b: B) => Effect.Effect<NoInfer<A>, ESet, RSet>,
|
|
||||||
): Lens<B, ER | EGet, EW | ESet, RR | RGet, RW | RSet>
|
|
||||||
<A, ER, EW, RR, RW, B, EGet = never, RGet = never, ESet = never, RSet = never>(
|
|
||||||
get: (a: NoInfer<A>) => Effect.Effect<B, EGet, RGet>,
|
|
||||||
set: (a: NoInfer<A>, b: B) => Effect.Effect<NoInfer<A>, ESet, RSet>,
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<B, ER | EGet, EW | ESet, RR | RGet, RW | RSet>
|
|
||||||
} = Function.dual(3, <A, ER, EW, RR, RW, B, EGet = never, RGet = never, ESet = never, RSet = never>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
get: (a: NoInfer<A>) => Effect.Effect<B, EGet, RGet>,
|
|
||||||
set: (a: NoInfer<A>, b: B) => Effect.Effect<NoInfer<A>, ESet, RSet>,
|
|
||||||
): Lens<B, ER | EGet, EW | ESet, RR | RGet, RW | RSet> => make({
|
|
||||||
get get() { return Effect.flatMap(self.get, get) },
|
|
||||||
get changes() { return Stream.mapEffect(self.changes, get) },
|
|
||||||
modify: <C, E1 = never, R1 = never>(
|
|
||||||
f: (b: B) => Effect.Effect<readonly [C, B], E1, R1>
|
|
||||||
) => self.modify(a => Effect.flatMap(
|
|
||||||
get(a),
|
|
||||||
b => Effect.flatMap(
|
|
||||||
f(b),
|
|
||||||
([c, bNext]) => Effect.flatMap(
|
|
||||||
set(a, bNext),
|
|
||||||
nextA => Effect.succeed([c, nextA] as const),
|
|
||||||
),
|
|
||||||
)
|
)
|
||||||
)),
|
), [lens])
|
||||||
}))
|
|
||||||
|
|
||||||
/**
|
const setValue = yield* Component.useCallbackSync(
|
||||||
* Allows transforming only the `changes` stream of a `Lens` while keeping the focus type intact.
|
(setStateAction: React.SetStateAction<A>) => Effect.andThen(
|
||||||
*/
|
Lens.updateAndGet(lens, prevState => SetStateAction.value(setStateAction, prevState)),
|
||||||
export const mapStream: {
|
v => setReactStateValue(v),
|
||||||
<A, ER, EW, RR, RW>(
|
),
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
[lens],
|
||||||
f: (changes: Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>) => Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>,
|
)
|
||||||
): Lens<A, ER, EW, RR, RW>
|
|
||||||
<A, ER, EW, RR, RW>(
|
|
||||||
f: (changes: Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>) => Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>,
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A, ER, EW, RR, RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
f: (changes: Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>) => Stream.Stream<NoInfer<A>, NoInfer<ER>, NoInfer<RR>>,
|
|
||||||
): Lens<A, ER, EW, RR, RW> => make({
|
|
||||||
get get() { return self.get },
|
|
||||||
get changes() { return f(self.changes) },
|
|
||||||
get modify() { return self.modify },
|
|
||||||
}))
|
|
||||||
|
|
||||||
|
return [reactStateValue, setValue]
|
||||||
|
})
|
||||||
|
|
||||||
/**
|
export * from "effect-lens/Lens"
|
||||||
* Narrows the focus to a field of an object. Replaces the object in an immutable fashion when written to.
|
|
||||||
*/
|
|
||||||
export const focusField: {
|
|
||||||
<A extends object, K extends keyof A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
key: K,
|
|
||||||
): Lens<A[K], ER, EW, RR, RW>
|
|
||||||
<A extends object, K extends keyof A, ER, EW, RR, RW>(
|
|
||||||
key: K,
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A[K], ER, EW, RR, RW>
|
|
||||||
} = Function.dual(2, <A extends object, K extends keyof A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
key: K,
|
|
||||||
): Lens<A[K], ER, EW, RR, RW> => map(
|
|
||||||
self,
|
|
||||||
a => a[key],
|
|
||||||
(a, b) => Object.setPrototypeOf({ ...a, [key]: b }, Object.getPrototypeOf(a)),
|
|
||||||
))
|
|
||||||
|
|
||||||
export declare namespace focusMutableField {
|
|
||||||
export type WritableKeys<T> = {
|
|
||||||
[K in keyof T]-?: IfEquals<
|
|
||||||
{ [P in K]: T[K] },
|
|
||||||
{ -readonly [P in K]: T[K] },
|
|
||||||
K,
|
|
||||||
never
|
|
||||||
>
|
|
||||||
}[keyof T]
|
|
||||||
|
|
||||||
type IfEquals<X, Y, A = X, B = never> = (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2) ? A : B
|
|
||||||
}
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Narrows the focus to a mutable field of an object. Mutates the object in place when written to.
|
|
||||||
*/
|
|
||||||
export const focusMutableField: {
|
|
||||||
<A extends object, K extends focusMutableField.WritableKeys<A>, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
key: K,
|
|
||||||
): Lens<A[K], ER, EW, RR, RW>
|
|
||||||
<A extends object, K extends focusMutableField.WritableKeys<A>, ER, EW, RR, RW>(
|
|
||||||
key: K,
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A[K], ER, EW, RR, RW>
|
|
||||||
} = Function.dual(2, <A extends object, K extends focusMutableField.WritableKeys<A>, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
key: K,
|
|
||||||
): Lens<A[K], ER, EW, RR, RW> => map(self, a => a[key], (a, b) => { a[key] = b; return a }))
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Narrows the focus to an indexed element of an array. Replaces the array in an immutable fashion when written to.
|
|
||||||
*/
|
|
||||||
export const focusArrayAt: {
|
|
||||||
<A extends readonly any[], ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A[number]>
|
|
||||||
<A extends readonly any[], ER, EW, RR, RW>(
|
|
||||||
index: number
|
|
||||||
): (self: Lens<A, ER, EW, RR, RW>) => Lens<A[number], ER | NoSuchElementException, EW | NoSuchElementException, RR, RW>
|
|
||||||
} = Function.dual(2, <A extends readonly any[], ER, EW, RR, RW>(
|
|
||||||
self: Lens<A, ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A[number], ER | NoSuchElementException, EW | NoSuchElementException, RR, RW> => mapEffect(
|
|
||||||
self,
|
|
||||||
Array.get(index),
|
|
||||||
(a, b) => Array.replaceOption(a, index, b) as any,
|
|
||||||
))
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Narrows the focus to an indexed element of a mutable array. Mutates the array in place when written to.
|
|
||||||
*/
|
|
||||||
export const focusMutableArrayAt: {
|
|
||||||
<A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A[], ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A, ER | NoSuchElementException, EW | NoSuchElementException, RR, RW>
|
|
||||||
<A, ER, EW, RR, RW>(
|
|
||||||
index: number
|
|
||||||
): (self: Lens<A[], ER, EW, RR, RW>) => Lens<A, ER | NoSuchElementException, EW | NoSuchElementException, RR, RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<A[], ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A, ER | NoSuchElementException, EW | NoSuchElementException, RR, RW> => mapEffect(
|
|
||||||
self,
|
|
||||||
Array.get(index),
|
|
||||||
(a, b) => Effect.flatMap(
|
|
||||||
Array.get(a, index),
|
|
||||||
() => Effect.as(Effect.sync(() => { a[index] = b }), a),
|
|
||||||
),
|
|
||||||
))
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Narrows the focus to an indexed element of `Chunk`. Replaces the `Chunk` in an immutable fashion when written to.
|
|
||||||
*/
|
|
||||||
export const focusChunkAt: {
|
|
||||||
<A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<Chunk.Chunk<A>, ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A, ER | NoSuchElementException, EW, RR, RW>
|
|
||||||
<A, ER, EW, RR, RW>(
|
|
||||||
index: number
|
|
||||||
): (self: Lens<Chunk.Chunk<A>, ER, EW, RR, RW>) => Lens<A, ER | NoSuchElementException, EW, RR, RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(
|
|
||||||
self: Lens<Chunk.Chunk<A>, ER, EW, RR, RW>,
|
|
||||||
index: number,
|
|
||||||
): Lens<A, ER | NoSuchElementException, EW, RR, RW> => mapEffect(
|
|
||||||
self,
|
|
||||||
Chunk.get(index),
|
|
||||||
(a, b) => Effect.succeed(Chunk.replace(a, index, b))),
|
|
||||||
)
|
|
||||||
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Reads the current value from a `Lens`.
|
|
||||||
*/
|
|
||||||
export const get = <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>): Effect.Effect<A, ER, RR> => self.get
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Sets the value of a `Lens`.
|
|
||||||
*/
|
|
||||||
export const set: {
|
|
||||||
<A, ER, EW, RR, RW>(value: A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<void, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A): Effect.Effect<void, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A) =>
|
|
||||||
self.modify<void, never, never>(() => Effect.succeed([void 0, value] as const)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Sets a `Lens` to a new value and returns the previous value.
|
|
||||||
*/
|
|
||||||
export const getAndSet: {
|
|
||||||
<A, ER, EW, RR, RW>(value: A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A): Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A) =>
|
|
||||||
self.modify<A, never, never>(a => Effect.succeed([a, value] as const)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies a synchronous transformation to the value of a `Lens`, discarding the previous value.
|
|
||||||
*/
|
|
||||||
export const update: {
|
|
||||||
<A, ER, EW, RR, RW>(f: (a: A) => A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<void, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A): Effect.Effect<void, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A) =>
|
|
||||||
self.modify<void, never, never>(a => Effect.succeed([void 0, f(a)] as const)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies an effectful transformation to the value of a `Lens`, discarding the previous value.
|
|
||||||
*/
|
|
||||||
export const updateEffect: {
|
|
||||||
<A, ER, EW, RR, RW, E, R>(f: (a: A) => Effect.Effect<A, E, R>): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<void, ER | EW | E, RR | RW | R>
|
|
||||||
<A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<void, ER | EW | E, RR | RW | R>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>) =>
|
|
||||||
self.modify<void, E, R>(a => Effect.flatMap(
|
|
||||||
f(a),
|
|
||||||
next => Effect.succeed([void 0, next] as const),
|
|
||||||
)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies a synchronous transformation the value of a `Lens` while returning the previous value.
|
|
||||||
*/
|
|
||||||
export const getAndUpdate: {
|
|
||||||
<A, ER, EW, RR, RW>(f: (a: A) => A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A): Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A) =>
|
|
||||||
self.modify<A, never, never>(a => Effect.succeed([a, f(a)] as const)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies an effectful transformation the value of a `Lens` while returning the previous value.
|
|
||||||
*/
|
|
||||||
export const getAndUpdateEffect: {
|
|
||||||
<A, ER, EW, RR, RW, E, R>(f: (a: A) => Effect.Effect<A, E, R>): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW | E, RR | RW | R>
|
|
||||||
<A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<A, ER | EW | E, RR | RW | R>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>) =>
|
|
||||||
self.modify<A, E, R>(a => Effect.flatMap(
|
|
||||||
f(a),
|
|
||||||
next => Effect.succeed([a, next] as const)
|
|
||||||
)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Sets the value of a `Lens` and returns the new value.
|
|
||||||
*/
|
|
||||||
export const setAndGet: {
|
|
||||||
<A, ER, EW, RR, RW>(value: A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A): Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, value: A) =>
|
|
||||||
self.modify<A, never, never>(() => Effect.succeed([value, value] as const)),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies a synchronous update the value of a `Lens` and returns the new value.
|
|
||||||
*/
|
|
||||||
export const updateAndGet: {
|
|
||||||
<A, ER, EW, RR, RW>(f: (a: A) => A): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
<A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A): Effect.Effect<A, ER | EW, RR | RW>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => A) =>
|
|
||||||
self.modify<A, never, never>(a => {
|
|
||||||
const next = f(a)
|
|
||||||
return Effect.succeed([next, next] as const)
|
|
||||||
}),
|
|
||||||
)
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Applies an effectful update to the value of a `Lens` and returns the new value.
|
|
||||||
*/
|
|
||||||
export const updateAndGetEffect: {
|
|
||||||
<A, ER, EW, RR, RW, E, R>(f: (a: A) => Effect.Effect<A, E, R>): (self: Lens<A, ER, EW, RR, RW>) => Effect.Effect<A, ER | EW | E, RR | RW | R>
|
|
||||||
<A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>): Effect.Effect<A, ER | EW | E, RR | RW | R>
|
|
||||||
} = Function.dual(2, <A, ER, EW, RR, RW, E, R>(self: Lens<A, ER, EW, RR, RW>, f: (a: A) => Effect.Effect<A, E, R>) =>
|
|
||||||
self.modify<A, E, R>(a => Effect.flatMap(
|
|
||||||
f(a),
|
|
||||||
next => Effect.succeed([next, next] as const),
|
|
||||||
)),
|
|
||||||
)
|
|
||||||
|
|||||||
Reference in New Issue
Block a user