[refactoring] extract assimilateBeliefSystem

TODO.md

@@ -1,5 +1,3 @@
-[refactoring] extract `assimilateBeliefSystem`
-
 # propagator 支持 dependencies for alternate worldviews
 
 > - https://github.com/cicada-lang/propagator/issues/3

src/belief-system/assimilateBelief.ts

@@ -3,7 +3,7 @@ import { type Nothing, isNothing } from "../nothing/Nothing.js"
 import { BeliefSystem } from "./BeliefSystem.js"
 import { isStrongerBelief } from "./isStrongerBelief.js"
 
-export function assimilateOne<A, B>(
+export function assimilateBelief<A, B>(
   base: BeliefSystem<A>,
   belief: Belief<B> | Nothing,
 ): BeliefSystem<A | B> {

src/belief-system/assimilateBeliefSystem.ts

@@ -0,0 +1,21 @@
+import { type Nothing, isNothing } from "../nothing/Nothing.js"
+import { assimilateBelief } from "./assimilateBelief.js"
+import type { BeliefSystem } from "./BeliefSystem.js"
+
+// The procedure `assimilate` incorporates all the given items, one by
+// one, into the given belief system with no deduction of
+// consequences.
+
+export function assimilateBeliefSystem<A, B>(
+  base: BeliefSystem<A>,
+  target: BeliefSystem<B> | Nothing,
+): BeliefSystem<A | B> {
+  if (isNothing(target)) {
+    return base
+  }
+
+  return target.beliefs.reduce<BeliefSystem<A | B>>(
+    (result, belief) => assimilateBelief(result, belief),
+    base,
+  )
+}

src/belief-system/beliefSystemMerge.ts

@@ -1,6 +1,6 @@
 import { type MergeConflict } from "../merge/index.js"
-import { isNothing, type Nothing } from "../nothing/index.js"
-import { assimilateOne } from "./assimilateBelief.js"
+import { assimilateBelief } from "./assimilateBelief.js"
+import { assimilateBeliefSystem } from "./assimilateBeliefSystem.js"
 import { BeliefSystem } from "./BeliefSystem.js"
 import { strongestBelief } from "./strongestBelief.js"
 
@@ -14,25 +14,7 @@ export function beliefSystemMerge<A, B>(
   content: BeliefSystem<A>,
   increment: BeliefSystem<B>,
 ): BeliefSystem<A | B> | MergeConflict {
-  const candidate = assimilate(content, increment)
+  const candidate = assimilateBeliefSystem(content, increment)
   const consequence = strongestBelief(candidate.beliefs)
-  return assimilateOne(candidate, consequence)
-}
-
-// The procedure `assimilate` incorporates all the given items, one by
-// one, into the given belief system with no deduction of
-// consequences.
-
-function assimilate<A, B>(
-  base: BeliefSystem<A>,
-  target: BeliefSystem<B> | Nothing,
-): BeliefSystem<A | B> {
-  if (isNothing(target)) {
-    return base
-  }
-
-  return target.beliefs.reduce<BeliefSystem<A | B>>(
-    (result, belief) => assimilateOne(result, belief),
-    base,
-  )
+  return assimilateBelief(candidate, consequence)
 }

src/belief-system/beliefSystemQuery.ts

@@ -1,7 +1,7 @@
 import type { Belief } from "../belief/index.js"
 import type { Nothing } from "../nothing/Nothing.js"
 import type { BeliefSystem } from "./BeliefSystem.js"
-import { assimilateOne as assimilateBelief } from "./assimilateBelief.js"
+import { assimilateBelief } from "./assimilateBelief.js"
 import { strongestBelief } from "./strongestBelief.js"
 
 export function beliefSystemQuery<A>(