propagators/boolean.test -- inverter

TODO.md

@@ -4,8 +4,6 @@
 
 > https://github.com/cicada-lang/propagator/issues/4
 
-propagators/boolean.test -- inverter
-
 propagators/conditional -- conditional & conditionalWriter
 propagators/conditional.test
 

src/generics/boolean.ts

@@ -1,7 +1,11 @@
 import { defineGeneric, defineHandler } from "../generic/index.js"
 import { isBoolean } from "../utils/isBoolean.js"
 
-export const not = defineGeneric()
+export const not = defineGeneric({
+  default: (...args) => {
+    console.log("hi", args)
+  },
+})
 defineHandler(not, [isBoolean], (x) => !x)
 
 export const and = defineGeneric()

src/generics/index.ts

@@ -1,2 +1,3 @@
 export * from "./arithmetic.js"
+export * from "./boolean.js"
 export * from "./quadratic.js"

src/merge/index.ts

@@ -1,5 +1,6 @@
 export * from "./merge-belief-system.js"
 export * from "./merge-belief.js"
+export * from "./merge-boolean.js"
 export * from "./merge-interval.js"
 export * from "./merge-merge-conflict.js"
 export * from "./merge-nothing.js"

src/merge/merge-boolean.ts

@@ -0,0 +1,8 @@
+import { defineHandler } from "../generic/index.js"
+import { theMergeConflict } from "../merge-conflict/index.js"
+import { isBoolean } from "../utils/isBoolean.js"
+import { merge } from "./merge.js"
+
+defineHandler(merge, [isBoolean, isBoolean], (content, increment) =>
+  increment === content ? content : theMergeConflict,
+)

src/propagators/boolean.test.ts

@@ -0,0 +1,14 @@
+import assert from "node:assert"
+import test from "node:test"
+import { patch } from "../cell/index.js"
+import { run } from "../scheduler/index.js"
+import { inverter } from "./boolean.js"
+
+test("propagators / boolean", async () => {
+  const [x, y] = inverter()
+  patch(x, true)
+
+  await run()
+
+  assert(y.content === false)
+})

src/propagators/boolean.ts

@@ -1,4 +1,4 @@
-import { not } from "../generics/boolean.js"
+import { not } from "../generics/index.js"
 import { definePrimitive } from "../propagator/index.js"
 
 export const inverter = definePrimitive(2, not)