jrvieira/nove - Change 3AFV4YVYLZGHZDSMO3I3DCZE2BZKA2SOBQ6DI2GZILOUGHLVRCQAC

vs

Created by jrvieira on April 12, 2026

3AFV4YVYLZGHZDSMO3I3DCZE2BZKA2SOBQ6DI2GZILOUGHLVRCQAC

Dependencies

In channels

main

Change contents

Replacement in test/Demo.hs at line 12 [5.135]

B:BD[3.117] → [4.50:86]

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

[3.117]

[5.361]

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

Replacement in test/Demo.hs at line 23 [5.135]
B:BD[5.581] → [6.133:150]
```
      gTPS = 2 ,
```
[5.581]
[4.87]
```
      gTPS = 9 ,
```
Insertion in test/Demo.hs at line 33 [5.135]
[4.276]
[4.276]
Insertion in test/Demo.hs at line 37 [5.135]
[4.533]
[4.533]

Replacement in test/Demo.hs at line 40 [5.135]

B:BD[4.685] → [4.685:916]

      : set Robot { name = "L0" , ops = Move <$> repeat L } (shift v 17 H 0)
      : set Robot { name = "L1" , ops = Move <$> repeat L } (shift v 18 H 0)
      : set Robot { name = "L2" , ops = Move <$> repeat L } (shift v 19 H 0)

[4.685]

[4.916]


      : set Robot { name = "L0" , ops = Move <$> repeat L } (shift v 7 H $ shift v 1 I 0)
      : set Robot { name = "L1" , ops = Move <$> repeat L } (shift v 8 H $ shift v 1 I 0)
      : set Robot { name = "L2" , ops = Move <$> repeat L } (shift v 9 H $ shift v 1 I 0)

Insertion in test/Demo.hs at line 47 [5.135]
[4.1088]
[4.1088]

Replacement in test/Demo.hs at line 49 [5.135]

B:BD[4.1178] → [4.1178:1347]

      : set Robot { name = "m2" , ops = Move <$> repeat H } (shift v 5 N $ shift v 1 L 0)
      : set Robot { name = "m1" , ops = Move <$> cycle [I,N] } (shift v 5 N 0)

[4.1178]

[5.1382]

      : set Robot { name = "m1" , ops = Move <$> repeat H } (shift v 5 N $ shift v 1 L 0)
      : set Robot { name = "m2" , ops = Move <$> [I] } (shift v 5 N 0)
      : set Robot { name = "p0" , ops = Move <$> repeat I } (shift v 7 L 0)
      : set Robot { name = "p1" , ops = [] } (shift v 7 L $ shift v 3 I 0)
      : set Robot { name = "p2" , ops = [] } (shift v 7 L $ shift v 5 I 0)
      : set Robot { name = "p3" , ops = [] } (shift v 7 L $ shift v 7 I 0)
      : set Robot { name = "Tp" , ops = cycle [Move U , NoOp] } (shift v 6 H $ shift v 6 I 0)
      : set Robot { name = "Tp" , ops = cycle [Move N , NoOp] } (shift v 8 H $ shift v 9 I 0)
      : set Robot { name = "Tp" , ops = cycle [Move L , NoOp] } (shift v 9 H $ shift v 7 I 0)
      : set Robot { name = "T0" , ops = [] } (shift v 8 H $ shift v 8 I 0)
      : set Robot { name = "T1" , ops = [] } (shift v 8 H $ shift v 7 I 0)
      : set Robot { name = "T2" , ops = [] } (shift v 7 H $ shift v 7 I 0)

Replacement in test/Demo.hs at line 71 [5.135]
B:BD[4.1434] → [4.1434:1453]
```
data Op = Move Dir
```
[4.1434]
[4.1453]
```
data Op = NoOp | Move Dir
```

Replacement in test/Demo.hs at line 227 [5.135]

B:BD[6.1875] → [4.2443:2521]

      | Dumb <- mode s , Robot {} <- a , "d0"   <- name a = color Yellow Dull

[6.1875]

[4.2521]

      | Dumb <- mode s , Robot {} <- a , "d0"  <- name a = color Yellow Dull

Replacement in test/Demo.hs at line 229 [5.135]

B:BD[4.2597] → [4.2597:2671]

      | Dumb <- mode s , Robot {} <- a , 'L':_<- name a = color Cyan Dull

[4.2597]

[4.2671]

      | Dumb <- mode s , Robot {} <- a , 'L':_ <- name a = color Cyan Dull

Insertion in test/Demo.hs at line 232 [5.135]

[4.2825]

[6.2103]

      | Dumb <- mode s , Robot {} <- a , "m0"  <- name a = color Green Vivid
      | Dumb <- mode s , Robot {} <- a , "m1"  <- name a = color Green Vivid
      | Dumb <- mode s , Robot {} <- a , "p0"  <- name a = color White Dull
      | Dumb <- mode s , Robot {} <- a , "Tp"  <- name a = color White Dull
      | 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

Insertion in test/Demo.hs at line 251 [5.135]

[4.3329]

[6.2938]

      | Full <- mode s , Robot {} <- a , "m0"  <- name a = rgbColor $ sRGB24 0x93 0xe9 0xbe  -- #93e9be
      | Full <- mode s , Robot {} <- a , "m1"  <- name a = rgbColor $ sRGB24 0x93 0xe9 0xbe  -- #93e9be
      | Full <- mode s , Robot {} <- a , "p0"  <- name a = rgbColor $ sRGB24 0xff 0xff 0xff  -- #ffffff
      | Full <- mode s , Robot {} <- a , "Tp"  <- name a = rgbColor $ sRGB24 0xff 0xff 0xff  -- #ffffff
      | 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

Replacement in test/Demo.hs at line 275 [5.135]

B:BD[6.3132] → [7.88:211]

B:BD[7.478] → [7.478:526]

      | me u                                = me'
      | Robot {} <- u                       = u { ops = drop 1 $ ops u }
      | otherwise                           = u

[6.3132]

[6.3438]

      | Robot { ops = [] } <- u , Just dir <- push = u { ops = [Move dir] }  -- push
      | me u                                       = me'
      | Robot {} <- u                              = u { ops = drop 1 $ ops u }
      | otherwise                                  = u

Insertion in test/Demo.hs at line 288 [5.135]

[6.3748]

      push :: Maybe Dir
         | [dir] <- Map.keys $ Map.filterWithKey p ns = Just $ opposite dir
         | otherwise = Nothing
         where
         p :: Dir -> Unit -> Bool
         p dir n = mass n && move n == Just (opposite dir)

Replacement in src/Nove/Logic.hs at line 71 [5.10194]

B:BD[2.125] → [2.125:200]

         | not free , d : _ <- dest , free' (memo ! d) = void  -- move out

[2.125]

[4.5298]

         | not free , d : _ <- dest , free' $ memo ! d = void  -- move out

vs