[refactoring] extract merge-nothing

TODO.md

@@ -1,5 +1,3 @@
-[refactoring] extract `merge-nothing`
-
 [refactoring] extract `implies`
 
 [refactoring] should not define handlers of `merge` in one file

src/merge/index.ts

@@ -2,7 +2,7 @@ export * from "./detectMergeConflict.js"
 export * from "./merge-belief-system.js"
 export * from "./merge-belief.js"
 export * from "./merge-interval.js"
+export * from "./merge-nothing.js"
 export * from "./merge-number.js"
 export * from "./merge.js"
-// export * from "./merge-nothing.js"
 export * from "./MergeConflict.js"

src/merge/merge-nothing.ts

@@ -0,0 +1,10 @@
+import { isNothing } from "../cell/index.js"
+import { defineHandler } from "../generic/index.js"
+import { merge } from "./merge.js"
+
+function isAnything(x: any): true {
+  return true
+}
+
+defineHandler(merge, [isAnything, isNothing], (content, increment) => content)
+defineHandler(merge, [isNothing, isAnything], (content, increment) => increment)

src/merge/merge.ts

@@ -1,5 +1,4 @@
-import { isNothing } from "../cell/index.js"
-import { defineGeneric, defineHandler } from "../generic/index.js"
+import { defineGeneric } from "../generic/index.js"
 import { log } from "../utils/log.js"
 
 // # The contract of `merge`
@@ -70,10 +69,3 @@ export const merge = defineGeneric({
 export function implies<A, B>(x: A, y: B): boolean {
   return merge(x, y) === x
 }
-
-function isAnything(x: any): true {
-  return true
-}
-
-defineHandler(merge, [isAnything, isNothing], (content, increment) => content)
-defineHandler(merge, [isNothing, isAnything], (content, increment) => increment)