propagator model 中的 put 应该被改为 patch

src/belief/Belief.test.ts

@@ -1,6 +1,6 @@
 import assert from "node:assert"
 import { test } from "node:test"
-import { Cell, put } from "../cell/index.js"
+import { Cell, patch } from "../cell/index.js"
 import { Interval, intervalAlmostEqual } from "../interval/index.js"
 import { run } from "../scheduler/index.js"
 import { Belief, beliefEqual, isBelief } from "./index.js"
@@ -15,9 +15,9 @@ test("dependency / a justified-intervals anomaly", async () => {
   // A,B,C:       [ ]
 
   const interval = Cell()
-  put(interval, Belief(Interval(0, 100), ["A"]))
-  put(interval, Belief(Interval(50, 200), ["B"]))
-  put(interval, Belief(Interval(25, 75), ["C"]))
+  patch(interval, Belief(Interval(0, 100), ["A"]))
+  patch(interval, Belief(Interval(50, 200), ["B"]))
+  patch(interval, Belief(Interval(25, 75), ["C"]))
 
   await run()
 
@@ -34,9 +34,9 @@ test("dependency / a justified-intervals anomaly", async () => {
     // The order matters.
 
     const interval = Cell()
-    put(interval, Belief(Interval(25, 75), ["C"]))
-    put(interval, Belief(Interval(0, 100), ["A"]))
-    put(interval, Belief(Interval(50, 200), ["B"]))
+    patch(interval, Belief(Interval(25, 75), ["C"]))
+    patch(interval, Belief(Interval(0, 100), ["A"]))
+    patch(interval, Belief(Interval(50, 200), ["B"]))
 
     await run()
 

src/cell/index.ts

@@ -1,3 +1,3 @@
 export * from "./addPropagator.js"
 export * from "./Cell.js"
-export * from "./put.js"
+export * from "./patch.js"

src/cell/put.ts → src/cell/patch.ts

@@ -2,7 +2,7 @@ import { merge } from "../merge/index.js"
 import { schedule } from "../scheduler/index.js"
 import { type Cell } from "./Cell.js"
 
-export function put<T>(cell: Cell<T>, increment?: any): void {
+export function patch<T>(cell: Cell<T>, increment?: any): void {
   const newContent = merge(cell.content, increment)
   if (newContent === cell.content) {
     return

src/examples/barometer-belief-system.test.ts

@@ -9,7 +9,7 @@ import {
   kickOut,
 } from "../belief-system/index.js"
 import { Belief, beliefEqual } from "../belief/index.js"
-import { Cell, put } from "../cell/index.js"
+import { Cell, patch } from "../cell/index.js"
 import { Interval, intervalAlmostEqual, isInterval } from "../interval/index.js"
 import { theMergeConflict } from "../merge-conflict/index.js"
 import { isNothing } from "../nothing/index.js"
@@ -25,9 +25,15 @@ test("examples / barometer-belief-system", async () => {
 
   const [barometerShadow, barometerHeight, buildingShadow, buildingHeight] =
     similarTriangles()
-  put(buildingShadow, BeliefSystem([Belief(Interval(54.9, 55.1), ["shadows"])]))
-  put(barometerHeight, BeliefSystem([Belief(Interval(0.3, 0.32), ["shadows"])]))
-  put(
+  patch(
+    buildingShadow,
+    BeliefSystem([Belief(Interval(54.9, 55.1), ["shadows"])]),
+  )
+  patch(
+    barometerHeight,
+    BeliefSystem([Belief(Interval(0.3, 0.32), ["shadows"])]),
+  )
+  patch(
     barometerShadow,
     BeliefSystem([Belief(Interval(0.36, 0.37), ["shadows"])]),
   )
@@ -53,7 +59,7 @@ test("examples / barometer-belief-system", async () => {
 
   const fallTime = Cell()
   fallDuration(fallTime, buildingHeight)
-  put(fallTime, BeliefSystem([Belief(Interval(2.9, 3.1), ["fall-time"])]))
+  patch(fallTime, BeliefSystem([Belief(Interval(2.9, 3.1), ["fall-time"])]))
 
   await run()
 
@@ -241,7 +247,7 @@ test("examples / barometer-belief-system", async () => {
   // Now, if we give the superintendent a barometer, we can add her
   // input to the totality of our knowledge about this building
 
-  put(buildingHeight, Belief(45, ["superintendent"]))
+  patch(buildingHeight, Belief(45, ["superintendent"]))
 
   await run()
 
@@ -418,7 +424,7 @@ test("examples / barometer-belief-system", async () => {
   // know; and since the system maintains dependency information, it
   // can even tell us which premises lead to trouble.
 
-  put(buildingHeight, Belief(Interval(46, 50), ["pressure"]))
+  patch(buildingHeight, Belief(Interval(46, 50), ["pressure"]))
 
   await run()
 

src/examples/barometer-belief.test.ts

@@ -1,17 +1,17 @@
 import assert from "node:assert"
 import { test } from "node:test"
 import { Belief, beliefEqual, isBelief } from "../belief/index.js"
-import { Cell, put } from "../cell/index.js"
+import { Cell, patch } from "../cell/index.js"
 import { Interval, intervalAlmostEqual } from "../interval/index.js"
 import { run } from "../scheduler/index.js"
 import { fallDuration, similarTriangles } from "./barometer.js"
 
 test("examples / barometer-belief", async () => {
   const [barometerShadow, barometerHeight, buildingShadow, buildingHeight] =
     similarTriangles()
-  put(buildingShadow, Belief(Interval(54.9, 55.1), ["shadows"]))
-  put(barometerHeight, Belief(Interval(0.3, 0.32), ["shadows"]))
-  put(barometerShadow, Belief(Interval(0.36, 0.37), ["shadows"]))
+  patch(buildingShadow, Belief(Interval(54.9, 55.1), ["shadows"]))
+  patch(barometerHeight, Belief(Interval(0.3, 0.32), ["shadows"]))
+  patch(barometerShadow, Belief(Interval(0.36, 0.37), ["shadows"]))
 
   await run()
 
@@ -28,7 +28,7 @@ test("examples / barometer-belief", async () => {
 
   const fallTime = Cell()
   fallDuration(fallTime, buildingHeight)
-  put(fallTime, Belief(Interval(2.9, 3.3), ["lousy-fall-time"]))
+  patch(fallTime, Belief(Interval(2.9, 3.3), ["lousy-fall-time"]))
 
   await run()
 
@@ -50,7 +50,7 @@ test("examples / barometer-belief", async () => {
       ),
   )
 
-  put(fallTime, Belief(Interval(2.9, 3.1), ["better-fall-time"]))
+  patch(fallTime, Belief(Interval(2.9, 3.1), ["better-fall-time"]))
 
   await run()
 
@@ -65,7 +65,7 @@ test("examples / barometer-belief", async () => {
       ),
   )
 
-  put(buildingHeight, Belief(45, ["superintendent"]))
+  patch(buildingHeight, Belief(45, ["superintendent"]))
 
   await run()
 
@@ -130,7 +130,7 @@ test("examples / barometer-belief", async () => {
 
   {
     const [t, h] = fallDuration()
-    put(h, 45)
+    patch(h, 45)
 
     await run()
 

src/examples/barometer.test.ts

@@ -1,13 +1,13 @@
 import assert from "node:assert"
 import { test } from "node:test"
-import { Cell, put } from "../cell/index.js"
+import { Cell, patch } from "../cell/index.js"
 import { Interval, intervalAlmostEqual } from "../interval/index.js"
 import { run } from "../scheduler/index.js"
 import { fallDuration, similarTriangles } from "./barometer.js"
 
 test("examples / barometer / fallDuration", async () => {
   const [fallTime, buildingHeight] = fallDuration()
-  put(fallTime, Interval(2.9, 3.1))
+  patch(fallTime, Interval(2.9, 3.1))
 
   await run()
 
@@ -18,15 +18,15 @@ test("examples / barometer / fallDuration", async () => {
 
 test("examples / barometer / fallDuration / Interval + Number", async () => {
   const [fallTime, buildingHeight] = fallDuration()
-  put(fallTime, Interval(2.9, 3.1))
+  patch(fallTime, Interval(2.9, 3.1))
 
   await run()
 
   assert(
     intervalAlmostEqual(buildingHeight.content, Interval(41.16, 47.24), 0.01),
   )
 
-  put(buildingHeight, 45)
+  patch(buildingHeight, 45)
 
   await run()
 
@@ -36,9 +36,9 @@ test("examples / barometer / fallDuration / Interval + Number", async () => {
 test("examples / barometer / similarTriangles & fallDuration", async () => {
   const [barometerShadow, barometerHeight, buildingShadow, buildingHeight] =
     similarTriangles()
-  put(buildingShadow, Interval(54.9, 55.1))
-  put(barometerHeight, Interval(0.3, 0.32))
-  put(barometerShadow, Interval(0.36, 0.37))
+  patch(buildingShadow, Interval(54.9, 55.1))
+  patch(barometerHeight, Interval(0.3, 0.32))
+  patch(barometerShadow, Interval(0.36, 0.37))
 
   await run()
 
@@ -48,7 +48,7 @@ test("examples / barometer / similarTriangles & fallDuration", async () => {
 
   const fallTime = Cell()
   fallDuration(fallTime, buildingHeight)
-  put(fallTime, Interval(2.9, 3.1))
+  patch(fallTime, Interval(2.9, 3.1))
 
   await run()
 

src/examples/celsius.test.ts

@@ -1,6 +1,6 @@
 import assert from "node:assert"
 import { test } from "node:test"
-import { put } from "../cell/index.js"
+import { patch } from "../cell/index.js"
 import { run } from "../scheduler/index.js"
 import {
   celsiusKelvin,
@@ -10,7 +10,7 @@ import {
 
 test("examples / celsius / fahrenheitToCelsius", async () => {
   const [f, c] = fahrenheitToCelsius()
-  put(f, 77)
+  patch(f, 77)
 
   await run()
 
@@ -20,7 +20,7 @@ test("examples / celsius / fahrenheitToCelsius", async () => {
 test("examples / celsius / fahrenheitCelsius", async () => {
   {
     const [f, c] = fahrenheitCelsius()
-    put(f, 77)
+    patch(f, 77)
 
     await run()
 
@@ -29,7 +29,7 @@ test("examples / celsius / fahrenheitCelsius", async () => {
 
   {
     const [f, c] = fahrenheitCelsius()
-    put(c, 25)
+    patch(c, 25)
 
     await run()
 
@@ -40,7 +40,7 @@ test("examples / celsius / fahrenheitCelsius", async () => {
 test("examples / celsius / celsiusKelvin", async () => {
   const [f, c] = fahrenheitCelsius()
   const k = celsiusKelvin(c)
-  put(f, 77)
+  patch(f, 77)
 
   await run()
 

src/examples/heron.test.ts

@@ -1,13 +1,13 @@
 import assert from "node:assert"
 import { test } from "node:test"
-import { Cell, put } from "../cell/index.js"
+import { Cell, patch } from "../cell/index.js"
 import { run } from "../scheduler/index.js"
 import { heronStep } from "./heron.js"
 
 test("examples / heron / heronStep", async () => {
   const [x, guess, betterGuess] = heronStep()
-  put(x, 2)
-  put(guess, 1.4)
+  patch(x, 2)
+  patch(guess, 1.4)
 
   await run()
 

src/propagator/definePrimitive.ts

@@ -1,4 +1,4 @@
-import { Cell, addPropagator, put } from "../cell/index.js"
+import { Cell, addPropagator, patch } from "../cell/index.js"
 import { naryFmap } from "../monad/index.js"
 import { schedule } from "../scheduler/index.js"
 import type { MaybePromise } from "../utils/MaybePromise.js"
@@ -40,14 +40,14 @@ export function definePrimitive<A extends number>(
       const output = args[args.length - 1]
 
       watch(inputs, async () => {
-        put(output, await liftedFn(...inputs))
+        patch(output, await liftedFn(...inputs))
       })
     } else if (args.length === arity - 1) {
       const inputs = args
       const output = Cell()
 
       watch(inputs, async () => {
-        put(output, await liftedFn(...inputs))
+        patch(output, await liftedFn(...inputs))
       })
 
       return output
@@ -57,7 +57,7 @@ export function definePrimitive<A extends number>(
       const output = Cell()
 
       watch(inputs, async () => {
-        put(output, await liftedFn(...inputs))
+        patch(output, await liftedFn(...inputs))
       })
 
       return [...paddings, output]