Implement bullet synth

2024-11-27 20:37:40 +00:00
parent b21513c4dd
commit 0d5e578f07
12 changed files with 365 additions and 298 deletions
@@ -252,3 +252,7 @@ cldtPropagateFold lf rf up x loc =
            (LocLDT con' t'))
        (locGoRight loc)
    . up x loc
+
+reduceLocLDT :: Monoid m => (LocationLDT b a -> m) -> LocationLDT b a -> m
+reduceLocLDT f x =foldMap (reduceLocLDT f) (locGoLeft x) <> f x 
+    <> foldMap (reduceLocLDT f) (locGoRight x)