jrvieira/nove - Change Y2N6GDITBJID3Q4Z2Y7KEDY46F7R3SU4DRK3ST6ZMA4CNLXWSFDAC

vs

Created by jrvieira on March 14, 2026

Y2N6GDITBJID3Q4Z2Y7KEDY46F7R3SU4DRK3ST6ZMA4CNLXWSFDAC

Dependencies

In channels

main

Change contents

File addition: Maze.hs (----------)

[3.1]

module Main where
import Nove
import Nove.Verse

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

B:BD[2.3132] → [2.3132:3438]

      | 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

[2.3132]

[2.3438]

      | 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

Replacement in src/Nove/Logic.hs at line 5 [3.10194]
B:BD[3.10239] → [4.3906:3928]
```
import Zero ( floyd )
```
[3.10239]
[3.10268]
```
import Zero ( total, floyd )
```

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

B:BD[3.10348] → [4.3929:3986]

import Data.Map as Map ( Map, (!), filterWithKey, keys )

[3.10348]

[3.10394]

import Data.Map as Map ( Map, fromList, filterWithKey, elems )

Replacement in src/Nove/Logic.hs at line 10 [3.10194]
B:BD[3.10427] → [3.10427:10464]
```
data Memo = Memo
   { mdest :: [Int]
```
[3.10427]
[3.10464]
```
data Memo a = Memo
   { mauto :: a
   , mdest :: [Int]
```

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

B:BD[3.10873] → [3.10873:10925]

   go :: Int -> a -> ([Memo], [a]) -> ([Memo], [a])

[3.10873]

[2.4088]

   go :: Int -> a -> ([Memo a], [a]) -> ([Memo a], [a])

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

[3.10981]


      -- memoization for this node
      m :: Memo a
      m = Memo
         { mauto = w
         , mdest = dest
         , mfree = free
         }
      w :: a
      w = f (adjacents v i) a

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

B:BD[2.4160] → [2.4160:4274]

         | free , [dir] <- mvin                     = f (adjacents v $ shift v 1 dir i) (adjacents v i Map.! dir)

[2.4160]

[2.4274]

         | free , [n] <- ins                        = n  -- move in

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

B:BD[2.4346] → [2.4346:4420]

         | otherwise                                = f (adjacents v i) a

[2.4346]

[3.11082]

         | otherwise                                = w
      -- move in
      ins :: [a]
      ins = Map.elems $ Map.filterWithKey (\dir c -> move c == Just (opposite dir)) ns

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

B:BD[3.11083] → [3.11083:11208]

      -- memoization for this node
      m :: Memo
      m = Memo
         { mdest = dest
         , mfree = free
         }

[3.11083]

[3.11208]

      ns :: Map Dir a
      ns = Map.fromList $ (,) <*> (node v . flip (shift v 1) i) <$> total

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

B:BD[3.11260] → [3.11260:11344]

         | Just dir <- move a , d <- shift v 1 dir i = d : mdest (memo' IntMap.! d)

[3.11260]

[3.11344]

         | Just dir <- move w , d <- shift v 1 dir i = d : mdest (memo' IntMap.! d)

Deletion in src/Nove/Logic.hs at line 66 [3.10194]
B:BD[3.11371] → [3.11371:11418]
B:BD[3.11418] → [2.4421:4517]
∅:D[4.4096] → [3.11517:11518]
∅:D[2.4517] → [3.11517:11518]
B:BD[3.11517] → [3.11517:11518]
```
      -- want to move here
      mvin :: [Dir]
      mvin = Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) (adjacents v i)
```

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

B:BD[3.11565] → [3.11565:11675]

         | lock a , null dest             = False
         | length mvin > 1                = False  -- stall

[3.11565]

[2.4518]

         | lock w , null dest             = False
         | length ins > 1                 = False  -- stall

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

[3.12171]

   -- come = catMaybes $ f <$> total
   --    where
   --    f dir
   --       | n <- node v $ shift v 1 dir i , Just d <- move n , dir == opposite d = Just n
   --       | otherwise = Nothing

vs