Rewrite /\ to operate on different inputs.

cofree-coffee · Jan 17, 2024 · 6621867 · 6621867
1 parent ea250aa
commit 6621867
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/chat-bots/src/Data/Chat/Bot/Monoidal.hs b/chat-bots/src/Data/Chat/Bot/Monoidal.hs
@@ -54,12 +54,11 @@ nudgeLeft = nudge . Left
 nudgeRight :: Monad m => Bot m s i' o' -> Bot m s (i \/ i') (o \*/ o')
 nudgeRight = nudge . Right
 
--- | Tuple the states and outputs of two bots who operate on the same
--- input @i@.
+-- | Tuple the states and i/o of two bots.
 infixr 9 /\
 
-(/\) :: Monad m => Bot m s i o -> Bot m s' i o' -> Bot m (s /\ s') i (o /\ o')
-(/\) b1 = lmap split' . curry Trifunctor.combine b1
+(/\) :: Monad m => Bot m s i o -> Bot m s' i' o' -> Bot m (s /\ s') (i /\ i') (o /\ o')
+(/\) b1 = curry Trifunctor.combine b1
 
 -- | Runs two bots and then interleaves their output.
 infixr 9 /+\