jrvieira/nove - Change JDI62ZLKN7J4572C7E2WL2HPGAMFU5YEIDOERVGIOBPOOV3DRF5AC

push mechanics

Created by DNKjbgcFg8vYaePJFMA2HX1r4RTt4b6cKSYfFZjQtnKc on February 26, 2026

JDI62ZLKN7J4572C7E2WL2HPGAMFU5YEIDOERVGIOBPOOV3DRF5AC

Dependencies

In channels

main

Change contents

Insertion in test/Test.hs at line 3 [3.19]
[3.39]
[3.39]
```
import Zero ( total )
import Zero.Color ( clr )
```

Replacement in test/Test.hs at line 9 [3.19]

B:BD[4.31] → [4.31:45]

   print "ok"

[4.31]

[4.45]

   putStrLn $ clr maxBound "N"
   mapM_ putStr $ zipWith clr total $ repeat "N"

Replacement in test/Demo.hs at line 23 [3.135]

B:BD[3.581] → [2.61:78]

∅:D[2.78] → [4.154:261]

B:BD[3.599] → [4.154:261]

      gTPS = 3 ,
      gInitState = (State { rand = r , center = 0 , input = (Nothing,mempty) } , generate (verse 11) rs) ,

[3.581]

[3.705]

      gTPS = 2 ,
      gInitState = (State { rand = r , center = 0 , input = (Nothing,mempty) , mode = Full } , generate (verse 11) rs) ,

Replacement in test/Demo.hs at line 33 [3.135]

B:BD[3.914] → [3.914:1168]

      : set Robot { name = "r" , ops = Move <$> cycle [U,N,L] } (shift v 1 U 0)
      : set Robot { name = "g" , ops = Move <$> cycle [N,L,U] } (shift v 2 U 0)
      : set Robot { name = "b" , ops = Move <$> cycle [L,U,N] } (shift v 1 U $ shift v 1 H 0)

[3.914]

[3.1168]

      : set Robot { name = "t0" , ops = Move <$> cycle [U,N,L] } (shift v 1 U 0)
      : set Robot { name = "t1" , ops = Move <$> cycle [N,L,U] } (shift v 2 U 0)
      : set Robot { name = "t2" , ops = Move <$> cycle [L,U,N] } (shift v 1 U $ shift v 1 H 0)

Replacement in test/Demo.hs at line 45 [3.135]

B:BD[3.1465] → [2.79:147]

   units = replicate 4 Wall <> replicate 6 Box { pushed = Nothing }

[3.1465]

[3.1512]

   units = replicate 4 Wall <> replicate 6 Box { pushed = Nothing } <> replicate 6 Ball { pushed = Nothing }

Replacement in test/Demo.hs at line 47 [3.135]

B:BD[3.1513] → [2.148:243]

data Unit = None | Wall | Box { pushed :: Maybe Dir } | Robot { name :: String , ops :: [Op] }

[3.1513]

[3.1584]

data Unit = None | Wall | Box { pushed :: Maybe Dir } | Ball { pushed :: Maybe Dir } | Robot { name :: String , ops :: [Op] }

Insertion in test/Demo.hs at line 58 [3.135]
[2.275]
[3.1749]
```
      | Ball {} <- a = pushed a
```
Insertion in test/Demo.hs at line 64 [3.135]
[2.303]
[3.1841]
```
      | Ball {} <- a = True
```
Insertion in test/Demo.hs at line 66 [3.135]
[3.1867]
[3.1867]
```
data Mode = Dumb | Full
```
Insertion in test/Demo.hs at line 73 [3.135]
[4.552]
[3.1962]
```
   , mode :: Mode
```

Replacement in test/Demo.hs at line 88 [3.135]

B:BD[3.2334] → [3.2334:2393]

logic _ (s,v) Tick = Right (s' , sim (Automata demo) s' v)

[3.2334]

[3.2393]

logic _ (s,v) Tick = Right (s' , sim demo s' v)

Replacement in test/Demo.hs at line 157 [3.135]

B:BD[3.5026] → [3.5026:5107]

         | otherwise = word "no robot found!" # rgbColor (sRGB24 0x99 0x44 0x44)

[3.5026]

[3.5107]

         | otherwise = word "no robot found!" # color Red Vivid

Replacement in test/Demo.hs at line 173 [3.135]

B:BD[4.2272] → [4.2272:2282]

-- render

[4.2272]

[4.2282]

   -- render
   grapheme :: Unit -> Char
   grapheme a
      | Dumb <- mode s , None     <- a = '.'
      | Dumb <- mode s , Wall     <- a = '#'
      | Dumb <- mode s , Box {}   <- a = 'x'
      | Dumb <- mode s , Ball {}  <- a = 'o'
      | Dumb <- mode s , Robot {} <- a = '@'
      | Full <- mode s , None     <- a = '∙'
      | Full <- mode s , Wall     <- a = '#'
      | Full <- mode s , Box {}   <- a = 'x'
      | Full <- mode s , Ball {}  <- a = 'o'
      | Full <- mode s , Robot {} <- a = '@'

Replacement in test/Demo.hs at line 190 [3.135]

B:BD[4.2283] → [4.2283:2371]

B:BD[4.2371] → [2.545:570]

∅:D[2.570] → [4.2396:2421]

B:BD[4.2396] → [4.2396:2421]

grapheme :: Unit -> Char
grapheme a
   | None     <- a = '∙'
   | Wall     <- a = '#'
   | Box {}   <- a = 'o'
   | Robot {} <- a = '@'

[4.2283]

[4.2421]

   style :: Unit -> Draw
   style a

Replacement in test/Demo.hs at line 193 [3.135]

B:BD[4.2422] → [4.2422:2452]

B:BD[4.2452] → [2.571:642]

∅:D[2.642] → [4.2734:3238]

B:BD[4.2734] → [4.2734:3238]

B:BD[4.3238] → [2.643:705]

style :: Unit -> Draw
style a
   | Nothing  <- move a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
   | Robot {} <- a , "r"   <- name a = rgbColor $ sRGB24 0x66 0x66 0x99  -- #666699
   | Robot {} <- a , "g"   <- name a = rgbColor $ sRGB24 0x99 0x66 0x99  -- #996699
   | Robot {} <- a , "b"   <- name a = rgbColor $ sRGB24 0x99 0x66 0x66  -- #996666
   | Robot {} <- a , "n"   <- name a = rgbColor $ sRGB24 0x99 0x99 0x66  -- #999966
   | Robot {} <- a , "i"   <- name a = rgbColor $ sRGB24 0x66 0x99 0x66  -- #669966
   | Robot {} <- a , 'L':_ <- name a = rgbColor $ sRGB24 0x66 0x99 0x99  -- #669999
   | otherwise = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999

[4.2422]

[4.3288]

      | Dumb <- mode s , me a = color White Dull
      | Dumb <- mode s , Nothing <- move a = color Black Vivid
      | Dumb <- mode s , Robot {} <- a , "t0"  <- name a = color Blue Dull
      | Dumb <- mode s , Robot {} <- a , "t1"  <- name a = color Magenta Dull
      | Dumb <- mode s , Robot {} <- a , "t2"  <- name a = color Red Dull
      | Dumb <- mode s , Robot {} <- a , "n"   <- name a = color Yellow Dull
      | Dumb <- mode s , Robot {} <- a , "i"   <- name a = color Green Dull
      | Dumb <- mode s , Robot {} <- a , 'L':_ <- name a = color Cyan Dull
      | Dumb <- mode s = color White Vivid
      | Full <- mode s , me a = rgbColor $ sRGB24 0x21 0xb2 0x8e  -- #21b28e
      | Full <- mode s , Nothing <- move a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
      | Full <- mode s , Robot {} <- a , "t0"  <- name a = rgbColor $ sRGB24 0x66 0x66 0x99  -- #666699
      | Full <- mode s , Robot {} <- a , "t1"  <- name a = rgbColor $ sRGB24 0x99 0x66 0x99  -- #996699
      | Full <- mode s , Robot {} <- a , "t2"  <- name a = rgbColor $ sRGB24 0x99 0x66 0x66  -- #996666
      | Full <- mode s , Robot {} <- a , "n"   <- name a = rgbColor $ sRGB24 0x99 0x99 0x66  -- #999966
      | Full <- mode s , Robot {} <- a , "i"   <- name a = rgbColor $ sRGB24 0x66 0x99 0x66  -- #669966
      | Full <- mode s , Robot {} <- a , 'L':_ <- name a = rgbColor $ sRGB24 0x66 0x99 0x99  -- #669999
      | Full <- mode s = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999

Replacement in test/Demo.hs at line 220 [3.135]
B:BD[3.5207] → [3.5207:5219]
```
-- Automata
```
[3.5207]
[3.5219]
```
-- Unit Automata
```

Replacement in test/Demo.hs at line 222 [3.135]

B:BD[3.5220] → [3.5220:5342]

B:BD[3.5342] → [2.706:808]

∅:D[2.808] → [3.5342:5361]

B:BD[3.5342] → [3.5342:5361]

demo :: State -> Map Dir Unit -> Unit -> Unit
demo s ns u
   | me u = me'
   | Robot {} <- u = u { ops = drop 1 $ ops u }
-- | Box {} <- u , Just _ <- pushed u = u { pushed = Nothing }
   | Box {} <- u = u { pushed = push }
   | otherwise = u

[3.5220]

[3.5361]

demo :: Automata State Unit
demo = Automata f

Replacement in test/Demo.hs at line 226 [3.135]

B:BD[3.5371] → [4.3290:3533]

∅:D[4.3533] → [3.5602:5637]

B:BD[3.5602] → [3.5602:5637]

   me' :: Unit
      | Just 'h' <- fst $ input s = u { ops = [Move H] }
      | Just 'j' <- fst $ input s = u { ops = [Move N] }
      | Just 'k' <- fst $ input s = u { ops = [Move I] }
      | Just 'l' <- fst $ input s = u { ops = [Move L] }
      | otherwise = u { ops = [] }

[3.5371]

[3.5637]

   f :: State -> Map Dir Unit -> Unit -> Unit
   f s ns u
      | me u = me'
      | Robot {} <- u = u { ops = drop 1 $ ops u }
      | Box {}  <- u = u { pushed = push }
      | Ball {} <- u , Nothing <- pushed u = u { pushed = push }
      | Ball {} <- u , Just _ <- push = u { pushed = push }
      | Ball {} <- u = u { pushed = Nothing }
      | otherwise = u
      where
      me' :: Unit
         | Just 'h' <- fst $ input s = u { ops = [Move H] }
         | Just 'j' <- fst $ input s = u { ops = [Move N] }
         | Just 'k' <- fst $ input s = u { ops = [Move I] }
         | Just 'l' <- fst $ input s = u { ops = [Move L] }
         | otherwise = u { ops = [] }
      push :: Maybe Dir
         | [d] <- Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) ns = Just $ opposite d
         | otherwise = Nothing

Deletion in test/Demo.hs at line 248 [3.135]

B:BD[3.5638] → [2.809:950]

   push
      | [d] <- Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) ns = Just $ opposite d
      | otherwise = Nothing

Replacement in src/Nove.hs at line 17 [3.5689]

B:BD[3.6172] → [3.6172:6263]

newtype Automata state a = Automata { automata :: Atom a => state -> Map Dir a -> a -> a }

[3.6172]

[3.6263]

newtype Automata state a = Automata (Atom a => state -> Map Dir a -> a -> a)

Replacement in src/Nove.hs at line 26 [3.5689]
B:BD[3.6516] → [3.6516:6542]
```
sim c = step . automata c
```
[3.6516]
[3.6542]
```
sim (Automata f) = step . f
```
Replacement in src/Nove/Logic.hs at line 18 [3.10194]
B:BD[3.10586] → [3.10586:10618]
```
step f v = v { nodes = nodes' }
```
[3.10586]
[3.10618]
```
step f v = v'
```
Insertion in src/Nove/Logic.hs at line 21 [3.10194]
[3.10628]
[3.10628]
```
   v' :: Verse a
   v' = v { nodes = nodes' }
```
Replacement in src/Nove/Logic.hs at line 33 [3.10194]
B:BD[3.10925] → [3.10925:10969]
```
   go i a (ms,as) = (m : ms , f ns a' : as)
```
[3.10925]
[3.10969]
```
   go i a (ms,as) = (m : ms , a' : as)
```

Replacement in src/Nove/Logic.hs at line 36 [3.10194]

B:BD[3.10982] → [2.1041:1063]

∅:D[2.1063] → [4.3987:4012]

B:BD[3.10982] → [4.3987:4012]

      ns :: Map Dir a
      ns = adjacents v i

[3.10982]

[3.11082]

      -- new atom
      a' :: a
         | free , [dir] <- mvin                     = f (adjacents v $ shift v 1 dir i) (adjacents v i Map.! dir)
         | d : _ <- dest , mfree (memo' IntMap.! d) = void  -- move out
         | otherwise                                = f (adjacents v i) a

Replacement in src/Nove/Logic.hs at line 56 [3.10194]

B:BD[3.11418] → [4.4013:4096]

      mvin = Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) ns

[3.11418]

[3.11517]

      mvin = Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) (adjacents v i)

Replacement in src/Nove/Logic.hs at line 62 [3.10194]

B:BD[3.11675] → [4.4097:4288]

         | Just (_,d) <- floyd $ i : dest = False  -- i == d  -- loops back to itself , floyd $ cycle [0,1] => Just (2,1) , so (i /= d) which means stall when reciprocal)
      -- ^temporary

[3.11675]

[3.11836]

         | Just (_,d) <- floyd $ i : dest = False  -- i == d  -- floyd $ cycle [0,1] => Just (2,1) , so (i /= d) when reciprocal

Deletion in src/Nove/Logic.hs at line 64 [3.10194]

B:BD[3.11942] → [3.11942:12170]


      -- new atom
      a' :: a
         | free , [dir] <- mvin                     = ns Map.! dir
         | d : _ <- dest , mfree (memo' IntMap.! d) = void  -- move out
         | otherwise                                = a

Insertion in nove.cabal at line 36 [3.12206]
[3.12858]
[3.12858]
```
      , zero
```

push mechanics

Dependencies

In channels

Change contents

Insertion in test/Test.hs at line 3 [3.19]

Replacement in test/Test.hs at line 9 [3.19]

Replacement in test/Demo.hs at line 23 [3.135]

Replacement in test/Demo.hs at line 33 [3.135]

Replacement in test/Demo.hs at line 45 [3.135]

Replacement in test/Demo.hs at line 47 [3.135]

Insertion in test/Demo.hs at line 58 [3.135]

Insertion in test/Demo.hs at line 64 [3.135]

Insertion in test/Demo.hs at line 66 [3.135]

Insertion in test/Demo.hs at line 73 [3.135]

Replacement in test/Demo.hs at line 88 [3.135]

Replacement in test/Demo.hs at line 157 [3.135]

Replacement in test/Demo.hs at line 173 [3.135]

Replacement in test/Demo.hs at line 190 [3.135]

Replacement in test/Demo.hs at line 193 [3.135]

Replacement in test/Demo.hs at line 220 [3.135]

Replacement in test/Demo.hs at line 222 [3.135]

Replacement in test/Demo.hs at line 226 [3.135]

Deletion in test/Demo.hs at line 248 [3.135]

Replacement in src/Nove.hs at line 17 [3.5689]

Replacement in src/Nove.hs at line 26 [3.5689]

Replacement in src/Nove/Logic.hs at line 18 [3.10194]

Insertion in src/Nove/Logic.hs at line 21 [3.10194]

Replacement in src/Nove/Logic.hs at line 33 [3.10194]

Replacement in src/Nove/Logic.hs at line 36 [3.10194]

Replacement in src/Nove/Logic.hs at line 56 [3.10194]

Replacement in src/Nove/Logic.hs at line 62 [3.10194]

Deletion in src/Nove/Logic.hs at line 64 [3.10194]

Insertion in nove.cabal at line 36 [3.12206]