jrvieira/nove - Change JPMLFTIMR7WRQR3IBZOI673N2FKOEUSPWVZKV2DUDUXAGQRXIO3AC

vs

Created by jrvieira yesterday at 18:45

JPMLFTIMR7WRQR3IBZOI673N2FKOEUSPWVZKV2DUDUXAGQRXIO3AC

Dependencies

In channels

main

Change contents

Replacement in test/Test.hs at line 29 [5.19]

B:BD[4.395] → [4.395:447]

            set (Some [H]) (shift prim 1 L 0) prim)

[4.395]

[4.447]

            set (Some [H]) (shift r 1 L 0) prim)

Replacement in test/Test.hs at line 32 [5.19]

B:BD[4.495] → [4.495:546]

            set (Some []) (shift prim 1 L 0) prim)

[4.495]

[4.546]

            set (Some []) (shift r 1 L 0) prim)

Replacement in test/Test.hs at line 36 [5.19]

B:BD[4.628] → [4.628:728]

            set (Some [U]) (shift prim 1 L 0) $
            set (Some [N]) (shift prim 1 I 0) prim)

[4.628]

[4.728]

            set (Some [U]) (shift r 1 L 0) $
            set (Some [N]) (shift r 1 I 0) prim)

Replacement in test/Test.hs at line 40 [5.19]

B:BD[4.776] → [4.776:874]

            set (Some []) (shift prim 1 L 0) $
            set (Some []) (shift prim 1 I 0) prim)

[4.776]

[4.874]

            set (Some []) (shift r 1 L 0) $
            set (Some []) (shift r 1 I 0) prim)

Replacement in test/Test.hs at line 45 [5.19]

B:BD[4.956] → [4.956:1008]

            set (Some [H]) (shift prim 2 L 0) prim)

[4.956]

[4.1008]

            set (Some [H]) (shift r 2 L 0) prim)

Replacement in test/Test.hs at line 48 [5.19]

B:BD[4.1056] → [4.1056:1107]

            set (Some []) (shift prim 2 L 0) prim)

[4.1056]

[4.1107]

            set (Some []) (shift r 2 L 0) prim)

Replacement in test/Test.hs at line 52 [5.19]

B:BD[4.1188] → [4.1188:1288]

            set (Some [L]) (shift prim 1 H 0) $
            set (Some [I]) (shift prim 1 N 0) prim)

[4.1188]

[4.1288]

            set (Some [L]) (shift r 1 H 0) $
            set (Some [I]) (shift r 1 N 0) prim)

Replacement in test/Test.hs at line 55 [5.19]

B:BD[4.1306] → [4.1306:1451]

            set (Some []) (shift prim 1 I 0) $
            set (Some []) (shift prim 1 H 0) $
            set (Some []) (shift prim 1 N 0) prim)

[4.1306]

[2.2]

            set (Some []) (shift r 1 I 0) $
            set (Some []) (shift r 1 H 0) $
            set (Some []) (shift r 1 N 0) prim)

Replacement in test/Test.hs at line 61 [5.19]

B:BD[4.1533] → [4.1533:1585]

            set (Some [H]) (shift prim 3 L 0) prim)

[4.1533]

[4.1585]

            set (Some [H]) (shift r 3 L 0) prim)

Replacement in test/Test.hs at line 63 [5.19]

B:BD[4.1603] → [4.1603:1701]

            set (Some []) (shift prim 1 L 0) $
            set (Some []) (shift prim 2 L 0) prim)

[4.1603]

[4.1701]

            set (Some []) (shift r 1 L 0) $
            set (Some []) (shift r 2 L 0) prim)

Insertion in test/Test.hs at line 69 [5.19]
[4.1790]
[4.1790]
```
   where
```
Insertion in test/Test.hs at line 71 [5.19]
[4.1791]
[4.1791]
```
   r = radius prim
```
Replacement in test/Test.hs at line 101 [5.19]
B:BD[4.2190] → [6.2:14]
```
   f () _ t
```
[4.2190]
[7.16]
```
   f () _ _ t
```
Insertion in test/Rail.hs at line 6 [3.1]
[3.73]
[3.73]
```
import Zero ( back, forw )
```

Replacement in test/Rail.hs at line 23 [3.1]

B:BD[3.350] → [3.350:389]

   } (verse 19 :: Verse (Maybe Train))

[3.350]

[3.389]

   , size = z
   , vtrack = generateTrack $ verse z
   , vtrain = set (Just Train { heading = I , movement = Nothing }) 0 $ verse z
   }
   where
   z = 19
   generateTrack :: Verse (Maybe Track) -> Verse (Maybe Track)
   generateTrack = sets $ (, Just Track) <$> scanr (shift z 1) 0 (
      replicate 1 N <>
      replicate 1 H <>
      replicate 1 U <>
      replicate 1 M <>
      replicate 3 N <>
      replicate 3 M <>
      replicate 4 L <>
      replicate 4 I <>
      replicate 5 U <>
      replicate 1 H <>
      replicate 1 N <>
      replicate 9 H <>
      replicate 1 U <>
      replicate 3 H <>
      replicate 1 N <>
      replicate 3 M <>
      replicate 9 L <>
      replicate 2 M <>
      replicate 2 N <>
      replicate 2 H <>
      replicate 2 U <>
      replicate 7 I )
-- Data

Insertion in test/Rail.hs at line 63 [3.1]

[3.481]

   , size :: Int
   , vtrack :: Verse (Maybe Track)
   , vtrain :: Verse (Maybe Train)

Replacement in test/Rail.hs at line 69 [3.1]

B:BD[3.506] → [3.506:551]

data Train = Train { movement :: Maybe Dir }

[3.506]

[3.551]

data Train = Train { heading :: Dir , movement :: Maybe Dir } deriving Show
instance Atom (Maybe Track) where
   void = Nothing
   mass a
      | Nothing <- a = False
      | Just _ <- a = True
   move = const Nothing

Replacement in test/Rail.hs at line 87 [3.1]
B:BD[3.745] → [3.745:813]
```
track :: Automaton State (Maybe Track)
track = Automaton f
   where
```
[3.745]
[3.813]
```
-- Behaviour
```

Replacement in test/Rail.hs at line 89 [3.1]

B:BD[3.814] → [3.814:863]

   f :: Cell State (Maybe Track)
   f s ns a = a

[3.814]

[3.863]

track :: Automaton State (Maybe Track)
track = mempty

Replacement in test/Rail.hs at line 97 [3.1]

B:BD[3.966] → [3.966:982]

   f s ns a = a

[3.966]

[3.982]


   f s i ns a@(Just Train { heading = h })
      -- go if track ahead
      | Nothing <- get (vtrack s) i           = stop <$> a
      |               Just Track <- trackns h = go           <$> a
      | l <- back h , Just Track <- trackns l = go . steer l <$> a
      | r <- forw h , Just Track <- trackns r = go . steer r <$> a
      | otherwise = stop <$> a
      where
      trackns :: Dir -> Maybe Track
      trackns dir = get (vtrack s) $ shift (size s) 1 dir i
   f s i ns a = a
steer :: Dir -> Train -> Train
steer dir t = t { heading = dir }
go :: Train -> Train
go t = t { movement = Just $ heading t }

Replacement in test/Rail.hs at line 119 [3.1]

B:BD[3.983] → [3.983:1028]

instance Interface State (Maybe Train) where

[3.983]

[3.1028]

stop :: Train -> Train
stop t = t { movement = Nothing }
-- UI

Replacement in test/Rail.hs at line 124 [3.1]

B:BD[3.1029] → [3.1029:1146]

   logic :: GEnv -> (State,Verse (Maybe Train)) -> Event -> Either () (State,Verse (Maybe Train))
   logic g (s,v) e

[3.1029]

[3.1146]

instance Interface State where
   logic :: GEnv -> State -> Event -> Either () State
   logic g s e

Replacement in test/Rail.hs at line 129 [3.1]

B:BD[3.1182] → [3.1182:2276]

      | KeyPress 'H' <- e = Right (s { center = shift v 1 H $ center s } , v)
      | KeyPress 'J' <- e = Right (s { center = shift v 1 N $ center s } , v)
      | KeyPress 'K' <- e = Right (s { center = shift v 1 I $ center s } , v)
      | KeyPress 'L' <- e = Right (s { center = shift v 1 L $ center s } , v)
      | KeyPress 'h' <- e = Right (s { focus = shift v 1 H $ focus s } , v)
      | KeyPress 'j' <- e = Right (s { focus = shift v 1 N $ focus s } , v)
      | KeyPress 'k' <- e = Right (s { focus = shift v 1 I $ focus s } , v)
      | KeyPress 'l' <- e = Right (s { focus = shift v 1 L $ focus s } , v)
      | KeyPress 'p' <- e = Right (s { play = not $ play s } , v)
      | KeyPress '.' <- e = Right (s { play = False } , v')
      | KeyPress 'q' <- e , Nothing <- get v (focus s) = Right (s , set (Just $ Train { movement = Nothing }) (focus s) v')
      | KeyPress 'q' <- e = Right (s , set Nothing (focus s) v')
      | play s , Tick <- e , mod (time s) (div (fromInteger $ eFPS g) 2) == 0 = Right (s { time = time s + 1 } , v')
      | otherwise = Right (s , v)
      where

[3.1182]

[3.2276]

      | KeyPress 'H' <- e = Right s { center = shift r 1 H $ center s }
      | KeyPress 'J' <- e = Right s { center = shift r 1 N $ center s }
      | KeyPress 'K' <- e = Right s { center = shift r 1 I $ center s }
      | KeyPress 'L' <- e = Right s { center = shift r 1 L $ center s }
      | KeyPress 'h' <- e = Right s { focus = shift r 1 H $ focus s }
      | KeyPress 'j' <- e = Right s { focus = shift r 1 N $ focus s }
      | KeyPress 'k' <- e = Right s { focus = shift r 1 I $ focus s }
      | KeyPress 'l' <- e = Right s { focus = shift r 1 L $ focus s }
      | KeyPress 't' <- e , Nothing <- get (vtrack s) (focus s) = Right s { vtrack = set (Just Track) (focus s) $ vtrack s }
      | KeyPress 't' <- e = Right s { vtrack = set Nothing (focus s) $ vtrack s }

Replacement in test/Rail.hs at line 141 [3.1]

B:BD[3.2277] → [3.2277:2303]

      v' = sim mempty s v

[3.2277]

[3.2303]

      | KeyPress 'T' <- e , Nothing <- get (vtrain s) (focus s) = Right s { vtrain = set (Just $ Train { heading = I , movement = Nothing }) (focus s) $ vtrain s }
      | KeyPress 'T' <- e = Right s { vtrain = set Nothing (focus s) $ vtrain s }
      | KeyPress 'g' <- e = Right s { vtrain = upd (fmap (\t -> t { heading = I })) (focus s) $ vtrain s }

Replacement in test/Rail.hs at line 145 [3.1]

B:BD[3.2304] → [3.2304:2382]

   draw :: GEnv -> (State,Verse (Maybe Train)) -> Plane
   draw e (s,v) = hex

[3.2304]

[3.2382]

      | KeyPress 'p' <- e = Right s { play = not $ play s }
      | KeyPress '.' <- e = Right s' { play = False }
      | Tick <- e , play s , mod (time s) (div (fromInteger $ eFPS g) 2) == 0 = Right s'
      | Tick <- e , play s = Right s { time = time s + 1 }
      | otherwise = Right s

Replacement in test/Rail.hs at line 152 [3.1]

B:BD[3.2395] → [3.2395:2435]

      size :: Int
      size = radius v

[3.2395]

[3.2435]

      s' = s { time = time s + 1 , vtrack = sim track s $ vtrack s , vtrain = sim train s $ vtrain s }
      r = size s

Replacement in test/Rail.hs at line 156 [3.1]

B:BD[3.2436] → [3.2436:2479]

      (widthFull,heightFull) = eTermDims e

[3.2436]

[3.2479]

   draw :: GEnv -> State -> Plane
   draw e s = centerFull e hex === ui
      where

Replacement in test/Rail.hs at line 161 [3.1]

B:BD[3.2499] → [3.2499:2642]

      hex = cellsPlane (succ $ 2 * size * 2) (succ $ 2 * size) [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

[3.2499]

[3.2642]

      hex = cellsPlane (succ $ 2 * r * 2) (succ $ 2 * r) [ write (x,y) | x <- [-r..r] , y <- [-r..r] , abs (x + y) <= r ]

Insertion in test/Rail.hs at line 163 [3.1]
[3.2657]
[3.2657]
```
         r :: Int
         r = size s
```

Replacement in test/Rail.hs at line 169 [3.1]

B:BD[3.2728] → [3.2728:2881]

            | n == focus s = (c , paletteColorCell k $ creaCell $ grapheme a)
            | otherwise = (c , paletteColorCell k $ creaCell $ grapheme a)

[3.2728]

[3.2881]

            | n == focus s = (c , paletteColorCell k $ creaCell grapheme)
            | otherwise = (c , paletteColorCell k $ creaCell grapheme)

Deletion in test/Rail.hs at line 173 [3.1]

B:BD[3.2900] → [3.2900:2954]

            a :: Maybe Train
            a = get v n

Replacement in test/Rail.hs at line 175 [3.1]

B:BD[3.3035] → [3.3035:3150]

            n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y size * size) (3 * size) , mod y size)

[3.3035]

[3.3150]

            n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3 * r) , mod y r)

Replacement in test/Rail.hs at line 177 [3.1]

B:BD[3.3151] → [3.3151:3199]

            (mx,my) = indexToCoord v $ center s

[3.3151]

[3.3199]

            (mx,my) = indexToCoord r $ center s

Replacement in test/Rail.hs at line 181 [3.1]

B:BD[3.3320] → [3.3320:3384]

            c = join bimap succ (size - y , 2 * (x + size) + y)

[3.3320]

[3.3384]

            c = join bimap succ (r - y , 2 * (x + r) + y)
            -- units
            t :: Maybe Track
            t = get (vtrack s) n
            q :: Maybe Train
            q = get (vtrain s) n

Replacement in test/Rail.hs at line 191 [3.1]

B:BD[3.3385] → [3.3385:3487]

            grapheme :: Maybe Train -> Char
            grapheme a
               | Just _ <- a = 'o'

[3.3385]

[3.3487]

            grapheme :: Char
            grapheme
               | Just _ <- q , Nothing <- t = 'x'
               | Just _ <- q = 'o'
               | Just _ <- t = '#'

Insertion in test/Rail.hs at line 201 [3.1]

[3.3633]

               | Just _ <- q = xterm6LevelRGB 2 5 4

Replacement in test/Rail.hs at line 205 [3.1]

B:BD[3.3700] → [3.3700:3726]

      ui = blankPlane 2 2

[3.3700]

      ui = word $ unwords [ show $ time s , show $ focus s , show $ get (vtrain s) $ focus s ]

Replacement in test/Maze.hs at line 24 [10.1]

B:BD[8.502] → [9.3:13]

∅:D[9.13] → [11.65:103]

B:BD[11.65] → [11.65:103]

B:BD[11.103] → [9.14:110]

   io 190
      State { center = r , rand = r }
      (set (Hex { look = pick r total , seed = rs , parent = Nothing , i = 1 }) 0 (verse size))

[8.502]

[8.716]

   io 190 (State { center = r , rand = r } , set (Hex { look = pick r total , seed = rs , parent = Nothing , i = 1 }) 0 (verse 9))

Deletion in test/Maze.hs at line 26 [10.1]
B:BD[8.717] → [8.717:729]
B:BD[8.729] → [6.45:55]
∅:D[12.32] → [8.739:740]
∅:D[6.55] → [8.739:740]
∅:D[9.121] → [8.739:740]
∅:D[11.208] → [8.739:740]
∅:D[13.236] → [8.739:740]
B:BD[8.739] → [8.739:740]
```
size :: Int
size = 42
```
Replacement in test/Maze.hs at line 45 [10.1]
B:BD[7.78] → [6.56:69]
```
   f () ns h
```
[7.78]
[8.2877]
```
   f () ix ns h
```
Deletion in test/Maze.hs at line 63 [10.1]
B:BD[8.3552] → [8.3552:3553]
Solving an order conflict in test/Maze.hs at line 64 [10.1]
[8.3687]
[11.418]
Replacement in test/Maze.hs at line 72 [10.1]
B:BD[11.613] → [3.3847:3882]
```
instance Interface State Hex where
```
[11.613]
[11.670]
```
instance Interface (State,Verse Hex) where
```

Replacement in test/Maze.hs at line 77 [10.1]

∅:D[3.3919] → [7.94:260]

B:BD[11.812] → [7.94:260]

∅:D[7.260] → [11.982:1286]

∅:D[13.414] → [11.982:1286]

B:BD[11.982] → [11.982:1286]

      | KeyPress 'r' <- e , r : rs <- seed $ get v 0 = Right (s { rand = r },set (Hex { look = pick r total , seed = rs , parent = Nothing , i = 1 }) 0 (verse size))
      | KeyPress 'h' <- e = Right (s { center = shift v 1 H $ center s },v)
      | KeyPress 'j' <- e = Right (s { center = shift v 1 N $ center s },v)
      | KeyPress 'k' <- e = Right (s { center = shift v 1 I $ center s },v)
      | KeyPress 'l' <- e = Right (s { center = shift v 1 L $ center s },v)

[3.3919]

[3.3920]

      | KeyPress 'r' <- e , r : rs <- seed $ get v 0 = Right (s { rand = r },set (Hex { look = pick r total , seed = rs , parent = Nothing , i = 1 }) 0 (verse z))
      | KeyPress 'h' <- e = Right (s { center = shift z 1 H $ center s },v)
      | KeyPress 'j' <- e = Right (s { center = shift z 1 N $ center s },v)
      | KeyPress 'k' <- e = Right (s { center = shift z 1 I $ center s },v)
      | KeyPress 'l' <- e = Right (s { center = shift z 1 L $ center s },v)

Insertion in test/Maze.hs at line 84 [10.1]
[11.1318]
[11.1318]
```
      where
```
Insertion in test/Maze.hs at line 86 [10.1]
[11.1319]
[11.1319]
```
      z :: Int
      z = radius v
```

Replacement in test/Maze.hs at line 93 [10.1]

B:BD[11.1473] → [11.1473:1569]

      canvas :: Plane
      canvas = blankPlane (2 * succ (2 * size) + 2) (succ (2 * size) + 2)

[11.1473]

[11.1569]

      r :: Int
      r = radius v

Replacement in test/Maze.hs at line 97 [10.1]

B:BD[11.1589] → [3.3965:4108]

      hex = cellsPlane (succ $ 2 * size * 2) (succ $ 2 * size) [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

[11.1589]

[11.1698]

      hex = cellsPlane (succ $ 2 * r * 2) (succ $ 2 * r) [ write (x,y) | x <- [-r..r] , y <- [-r..r] , abs (x + y) <= r ]

Replacement in test/Maze.hs at line 100 [10.1]
B:BD[11.1737] → [11.1737:1767]
```
      spectrum i = sRGB r g b
```
[11.1737]
[11.1767]
```
      spectrum i = sRGB red green blue
```

Replacement in test/Maze.hs at line 103 [10.1]

B:BD[11.1782] → [11.1782:1886]

        RGB r g b = hsv (fromIntegral (mod i n) / fromIntegral n * 360) 1 1
        n = 6 * size * size

[11.1782]

[11.1886]

        RGB red green blue = hsv (fromIntegral (mod i n) / fromIntegral n * 360) 1 1
        n = 6 * r * r

Replacement in test/Maze.hs at line 118 [10.1]

B:BD[11.2245] → [11.2245:2375]

         n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y size * size) (3 * size) , mod y size)
            where

[11.2245]

[11.2375]

         n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3 * r) , mod y r)

Replacement in test/Maze.hs at line 120 [10.1]

B:BD[11.2376] → [11.2376:2424]

            (mx,my) = indexToCoord v (center s)

[11.2376]

[11.2424]

         (mx,my) = indexToCoord r (center s)

Replacement in test/Maze.hs at line 124 [10.1]

B:BD[11.2539] → [11.2539:2600]

         c = join bimap succ (y + size , 2 * (x + size) + y)

[11.2539]

         c = join bimap succ (y + r , 2 * (x + r) + y)

Replacement in test/Dois.hs at line 24 [15.1]

B:BD[14.340] → [14.340:461]

   io 12 State { center = 0 , focus = 0 , turn = 0 , players = p , hand = Nothing , frame = 0 } (verse 3 :: Verse Stack)

[14.340]

[15.543]

   io 12 (State { center = 0 , focus = 0 , turn = 0 , players = p , hand = Nothing , frame = 0 } , verse 3 :: Verse Stack)

Replacement in test/Dois.hs at line 78 [15.1]
B:BD[14.1489] → [14.1489:1505]
```
   f s ns u = u
```
[14.1489]
[15.2312]
```
   f s i ns u = u
```
Replacement in test/Dois.hs at line 80 [15.1]
B:BD[15.2313] → [3.4438:4475]
```
instance Interface State Stack where
```
[15.2313]
[15.2344]
```
instance Interface (State,Verse Stack) where
```

Replacement in test/Dois.hs at line 87 [15.1]

B:BD[14.1683] → [14.1683:2323]

      | KeyPress 'H'    <- e = Right (s { center = shift v 1 H $ center s } , v)
      | KeyPress 'J'    <- e = Right (s { center = shift v 1 N $ center s } , v)
      | KeyPress 'K'    <- e = Right (s { center = shift v 1 I $ center s } , v)
      | KeyPress 'L'    <- e = Right (s { center = shift v 1 L $ center s } , v)
      | KeyPress 'h'    <- e = Right (s { focus = shift v 1 H $ focus s } , v)
      | KeyPress 'j'    <- e = Right (s { focus = shift v 1 N $ focus s } , v)
      | KeyPress 'k'    <- e = Right (s { focus = shift v 1 I $ focus s } , v)
      | KeyPress 'l'    <- e = Right (s { focus = shift v 1 L $ focus s } , v)

[14.1683]

[14.2323]

      | KeyPress 'H'    <- e = Right (s { center = shift r 1 H $ center s } , v)
      | KeyPress 'J'    <- e = Right (s { center = shift r 1 N $ center s } , v)
      | KeyPress 'K'    <- e = Right (s { center = shift r 1 I $ center s } , v)
      | KeyPress 'L'    <- e = Right (s { center = shift r 1 L $ center s } , v)
      | KeyPress 'h'    <- e = Right (s { focus = shift r 1 H $ focus s } , v)
      | KeyPress 'j'    <- e = Right (s { focus = shift r 1 N $ focus s } , v)
      | KeyPress 'k'    <- e = Right (s { focus = shift r 1 I $ focus s } , v)
      | KeyPress 'l'    <- e = Right (s { focus = shift r 1 L $ focus s } , v)

Insertion in test/Dois.hs at line 120 [15.1]
[14.3326]
[15.3811]
```
      where
      r = radius v
```
Replacement in test/Dois.hs at line 127 [15.1]
B:BD[14.3375] → [3.4597:4641]
```
   draw e (s,v) = blankPlaneFull e *** hcat
```
[14.3375]
[14.3425]
```
   draw e (s,v) = centerFull e $ hcat
```

Replacement in test/Dois.hs at line 145 [15.1]

B:BD[15.4325] → [15.4325:4425]

         n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y r * r) (3 * r) , mod y r)

[15.4325]

[14.3656]

         n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3 * r) , mod y r)

Replacement in test/Dois.hs at line 147 [15.1]

B:BD[14.3657] → [14.3657:3702]

         (mx,my) = indexToCoord v (center s)

[14.3657]

[15.4425]

         (mx,my) = indexToCoord r (center s)

Replacement in test/Dois.hs at line 164 [15.1]

B:BD[14.3727] → [14.3727:3831]

         [ bold $ invert $ word (" Player " <> show (turn s) <> " ") # uncurry color (colors !! turn s)

[14.3727]

[15.4977]

         [ invert $ word (" Player " <> show (turn s) <> " ") # uncurry color (colors !! turn s)

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

B:BD[5.560] → [16.186:195]

∅:D[16.195] → [11.2854:2950]

B:BD[11.2854] → [11.2854:2950]

B:BD[11.2950] → [16.196:227]

   io 20
      State { rand = r , center = 0 , input = (Nothing , mempty) , mode = Full , play = False }
      (generate (verse 42) rs)

[5.560]

[5.765]

   io 20 (State { rand = r , center = 0 , input = (Nothing , mempty) , mode = Full , play = False } , generate (verse 42) rs)

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

B:BD[17.81] → [7.459:738]

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

[17.81]

[17.82]

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

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

B:BD[17.83] → [7.739:915]

      , (shift v 8 I 0               , Robot { name = "d0" , ops = Move <$> repeat N })
      , (shift v 2 I 0               , Robot { name = "d1" , ops = Move <$> repeat I })

[17.83]

[17.84]

      , (shift r 8 I 0               , Robot { name = "d0" , ops = Move <$> repeat N })
      , (shift r 2 I 0               , Robot { name = "d1" , ops = Move <$> repeat I })

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

B:BD[17.85] → [7.916:1180]

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

[17.85]

[17.355]

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

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

B:BD[17.356] → [7.1181:1363]

      , (shift v 2 M 0               , Robot { name = "r0" , ops = Move <$> cycle [L,H] })
      , (shift v 2 M $ shift v 1 L 0 , Robot { name = "r1" , ops = Move <$> cycle [H,L] })

[17.356]

[17.357]

      , (shift r 2 M 0               , Robot { name = "r0" , ops = Move <$> cycle [L,H] })
      , (shift r 2 M $ shift r 1 L 0 , Robot { name = "r1" , ops = Move <$> cycle [H,L] })

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

B:BD[17.358] → [7.1364:1623]

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

[17.358]

[17.520]

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

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

B:BD[17.521] → [7.1624:1931]

      , (shift v 7 L 0               , Robot { name = "p0" , ops = Move <$> repeat I })
      , (shift v 7 L $ shift v 3 I 0 , Robot { name = "p1" , ops = [] })
      , (shift v 7 L $ shift v 5 I 0 , Robot { name = "p2" , ops = [] })
      , (shift v 7 L $ shift v 7 I 0 , Robot { name = "p3" , ops = [] })

[17.521]

[17.822]

      , (shift r 7 L 0               , Robot { name = "p0" , ops = Move <$> repeat I })
      , (shift r 7 L $ shift r 3 I 0 , Robot { name = "p1" , ops = [] })
      , (shift r 7 L $ shift r 5 I 0 , Robot { name = "p2" , ops = [] })
      , (shift r 7 L $ shift r 7 I 0 , Robot { name = "p3" , ops = [] })

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

B:BD[17.824] → [7.1932:2427]

      , (shift v 6 H $ shift v 6 I 0 , Robot { name = "Tp" , ops = cycle [Move U , NoOp] })
      , (shift v 8 H $ shift v 9 I 0 , Robot { name = "Tp" , ops = cycle [Move N , NoOp] })
      , (shift v 9 H $ shift v 7 I 0 , Robot { name = "Tp" , ops = cycle [Move L , NoOp] })
      , (shift v 8 H $ shift v 8 I 0 , Robot { name = "T0" , ops = [] })
      , (shift v 8 H $ shift v 7 I 0 , Robot { name = "T1" , ops = [] })
      , (shift v 7 H $ shift v 7 I 0 , Robot { name = "T2" , ops = [] })

[17.824]

[17.1331]

      , (shift r 6 H $ shift r 6 I 0 , Robot { name = "Tp" , ops = cycle [Move U , NoOp] })
      , (shift r 8 H $ shift r 9 I 0 , Robot { name = "Tp" , ops = cycle [Move N , NoOp] })
      , (shift r 9 H $ shift r 7 I 0 , Robot { name = "Tp" , ops = cycle [Move L , NoOp] })
      , (shift r 8 H $ shift r 8 I 0 , Robot { name = "T0" , ops = [] })
      , (shift r 8 H $ shift r 7 I 0 , Robot { name = "T1" , ops = [] })
      , (shift r 7 H $ shift r 7 I 0 , Robot { name = "T2" , ops = [] })

Insertion in test/Demo.hs at line 65 [5.135]
[7.2507]
[5.1445]
```
      where
```
Insertion in test/Demo.hs at line 67 [5.135]
[5.1446]
[5.1446]
```
      r :: Int
      r = radius v
```
Replacement in test/Demo.hs at line 113 [5.135]
B:BD[6.248] → [6.248:260]
```
   f s ns u
```
[6.248]
[7.2763]
```
   f s i ns u
```
Replacement in test/Demo.hs at line 141 [5.135]
B:BD[5.3025] → [3.5271:5307]
```
instance Interface State Unit where
```
[5.3025]
[11.4108]
```
instance Interface (State,Verse Unit) where
```

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

B:BD[11.4494] → [11.4494:4810]

      | KeyPress 'H'  <- e = Right (s { center = shift v 1 H $ center s } , v)
      | KeyPress 'J'  <- e = Right (s { center = shift v 1 N $ center s } , v)
      | KeyPress 'K'  <- e = Right (s { center = shift v 1 I $ center s } , v)
      | KeyPress 'L'  <- e = Right (s { center = shift v 1 L $ center s } , v)

[11.4494]

[11.4810]

      | KeyPress 'H'  <- e = Right (s { center = shift r 1 H $ center s } , v)
      | KeyPress 'J'  <- e = Right (s { center = shift r 1 N $ center s } , v)
      | KeyPress 'K'  <- e = Right (s { center = shift r 1 I $ center s } , v)
      | KeyPress 'L'  <- e = Right (s { center = shift r 1 L $ center s } , v)

Insertion in test/Demo.hs at line 161 [5.135]
[11.5048]
[11.5048]
```
      r :: Int
      r = radius v
```

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

B:BD[5.4938] → [13.636:678]

      (mx,my) = indexToCoord v (center s)

[5.4938]

[13.678]

      (mx,my) = indexToCoord r (center s)

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

[5.5108]

[18.2271]

         -- get index of node taking scroll into account
         n :: Int
         n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3 * r) , mod y r)

Deletion in test/Demo.hs at line 306 [5.135]

B:BD[17.3296] → [13.1945:1945]

B:BD[5.5108] → [11.5886:5961]

B:BD[11.5961] → [11.5961:6061]

         -- get index of node taking scroll into account
         n :: Int
         n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y r * r) (3 * r) , mod y r)

Solving an order conflict in test/Demo.hs at line 306 [5.135]
[17.3296]

Replacement in test/Cell.hs at line 34 [20.1]

B:BD[19.656] → [19.656:676]

B:BD[19.676] → [21.6:92]

∅:D[21.92] → [19.762:788]

B:BD[19.762] → [19.762:788]

   go (args ? 1) 19
      State { play = True , algo = Waves , center = 0 , focus = 0 , rand = drop z r }
      (noise r $ verse z)

[19.656]

[19.788]

   go (args ? 1) 19 (State { play = True , algo = Waves , center = 0 , focus = 0 , rand = drop z r } , noise r $ verse z)

Replacement in test/Cell.hs at line 37 [20.1]

B:BD[20.557] → [19.798:858]

   go :: Maybe String -> Int -> State -> Verse Hex -> IO ()

[20.557]

[19.858]

   go :: Maybe String -> Int -> (State,Verse Hex) -> IO ()

Replacement in test/Cell.hs at line 82 [20.1]
B:BD[20.1533] → [19.909:949]
```
instance Ansi.Interface State Hex where
```
[20.1533]
[20.1563]
```
instance Ansi.Interface (State,Verse Hex) where
```

Replacement in test/Cell.hs at line 87 [20.1]

∅:D[3.9788] → [19.1077:1725]

B:BD[19.1077] → [19.1077:1725]

      | ATG.KeyPress 'H' <- e = Right (s { center = shift v 1 H $ center s } , v)
      | ATG.KeyPress 'J' <- e = Right (s { center = shift v 1 N $ center s } , v)
      | ATG.KeyPress 'K' <- e = Right (s { center = shift v 1 I $ center s } , v)
      | ATG.KeyPress 'L' <- e = Right (s { center = shift v 1 L $ center s } , v)
      | ATG.KeyPress 'h' <- e = Right (s { focus = shift v 1 H $ focus s } , v)
      | ATG.KeyPress 'j' <- e = Right (s { focus = shift v 1 N $ focus s } , v)
      | ATG.KeyPress 'k' <- e = Right (s { focus = shift v 1 I $ focus s } , v)
      | ATG.KeyPress 'l' <- e = Right (s { focus = shift v 1 L $ focus s } , v)

[3.9788]

[19.1725]

      | ATG.KeyPress 'H' <- e = Right (s { center = shift r 1 H $ center s } , v)
      | ATG.KeyPress 'J' <- e = Right (s { center = shift r 1 N $ center s } , v)
      | ATG.KeyPress 'K' <- e = Right (s { center = shift r 1 I $ center s } , v)
      | ATG.KeyPress 'L' <- e = Right (s { center = shift r 1 L $ center s } , v)
      | ATG.KeyPress 'h' <- e = Right (s { focus = shift r 1 H $ focus s } , v)
      | ATG.KeyPress 'j' <- e = Right (s { focus = shift r 1 N $ focus s } , v)
      | ATG.KeyPress 'k' <- e = Right (s { focus = shift r 1 I $ focus s } , v)
      | ATG.KeyPress 'l' <- e = Right (s { focus = shift r 1 L $ focus s } , v)

Insertion in test/Cell.hs at line 111 [20.1]
[20.2472]
[20.2472]
```
      r = radius v
```

Replacement in test/Cell.hs at line 128 [20.1]

B:BD[21.553] → [21.553:652]

      paddingPlane (h,v) p = uncurry ATG.box (bimap (+h*2) (+v*2) $ ATG.planeSize p) ' ' ATG.*** p

[21.553]

[21.652]

      paddingPlane (tb,lr) p = uncurry ATG.box (bimap (+tb*2) (+lr*2) $ ATG.planeSize p) ' ' ATG.*** p

Insertion in test/Cell.hs at line 140 [20.1]
[20.2629]
[20.2725]
```
      r :: Int
      r = radius v
```

Replacement in test/Cell.hs at line 144 [20.1]

B:BD[19.3384] → [19.3384:3531]

      hex = ATG.cellsPlane (succ $ 2 * size * 2) (succ $ 2 * size) [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

[19.3384]

[21.1206]

      hex = ATG.cellsPlane (succ $ 2 * r * 2) (succ $ 2 * r) [ write (x,y) | x <- [-r..r] , y <- [-r..r] , abs (x + y) <= r ]

Replacement in test/Cell.hs at line 158 [20.1]

B:BD[21.1641] → [21.1641:1756]

            n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y size * size) (3 * size) , mod y size)

[21.1641]

[20.3156]

            n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3 * r) , mod y r)

Replacement in test/Cell.hs at line 160 [20.1]

B:BD[20.3157] → [21.1757:1805]

            (mx,my) = indexToCoord v $ center s

[20.3157]

[20.3197]

            (mx,my) = indexToCoord r $ center s

Replacement in test/Cell.hs at line 164 [20.1]

B:BD[21.1926] → [21.1926:1990]

            c = join bimap succ (size - y , 2 * (x + size) + y)

[21.1926]

[20.3403]

            c = join bimap succ (r - y , 2 * (x + r) + y)

Replacement in test/Cell.hs at line 204 [20.1]
B:BD[19.4846] → [19.4846:4887]
```
instance Brick.Interface State Hex where
```
[19.4846]
[19.4887]
```
instance Brick.Interface (State,Verse Hex) where
```

Replacement in test/Cell.hs at line 209 [20.1]

B:BD[19.5059] → [19.5059:5939]

      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'H') []) <- ev = Just (s { center = shift v 1 H $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'J') []) <- ev = Just (s { center = shift v 1 N $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'K') []) <- ev = Just (s { center = shift v 1 I $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'L') []) <- ev = Just (s { center = shift v 1 L $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'h') []) <- ev = Just (s { focus = shift v 1 H $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'j') []) <- ev = Just (s { focus = shift v 1 N $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'k') []) <- ev = Just (s { focus = shift v 1 I $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'l') []) <- ev = Just (s { focus = shift v 1 L $ focus s } , v)

[19.5059]

[19.5939]

      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'H') []) <- ev = Just (s { center = shift r 1 H $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'J') []) <- ev = Just (s { center = shift r 1 N $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'K') []) <- ev = Just (s { center = shift r 1 I $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'L') []) <- ev = Just (s { center = shift r 1 L $ center s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'h') []) <- ev = Just (s { focus = shift r 1 H $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'j') []) <- ev = Just (s { focus = shift r 1 N $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'k') []) <- ev = Just (s { focus = shift r 1 I $ focus s } , v)
      | Brick.VtyEvent (Vty.EvKey (Vty.KChar 'l') []) <- ev = Just (s { focus = shift r 1 L $ focus s } , v)

Insertion in test/Cell.hs at line 234 [20.1]
[19.7420]
[19.7420]
```
      r :: Int
      r = radius v
```
Replacement in test/Cell.hs at line 245 [20.1]
B:BD[20.4858] → [19.7607:7607]
B:BD[19.7607] → [19.7608:7648]
```
      size :: Int
      size = radius v
```
[20.4858]
[19.7648]
```
      r :: Int
      r = radius v
```

Replacement in test/Cell.hs at line 267 [20.1]

B:BD[19.9232] → [19.9232:9288]

            iw = 4*size + 1
            ih = 2*size + 1

[19.9232]

[19.9288]

            iw = 4*r + 1
            ih = 2*r + 1

Replacement in test/Cell.hs at line 275 [20.1]

B:BD[21.3783] → [21.3783:3962]

            vtycellMap = M.fromList [ ((size - y , 2*(x+size)+y) , Vty.char attr ch) | x <- [-size..size] , y <- [-size..size] , abs (x+y) <= size , let (attr,ch) = vtycell x y ]

[21.3783]

[21.3962]

            vtycellMap = M.fromList [ ((r - y , 2*(x+r)+y) , Vty.char attr ch) | x <- [-r..r] , y <- [-r..r] , abs (x+y) <= r , let (attr,ch) = vtycell x y ]

Replacement in test/Cell.hs at line 282 [20.1]

B:BD[21.4132] → [21.4132:4299]

               n = shift v mx L . shift v my I $ coordToIndex v (mod (x - div y size * size) (3*size) , mod y size)
               (mx,my) = indexToCoord v $ center s

[21.4132]

[21.4299]

               n = shift r mx L . shift r my I $ coordToIndex r (mod (x - div y r * r) (3*r) , mod y r)
               (mx,my) = indexToCoord r $ center s

Replacement in test/Cell.hs at line 309 [20.1]

B:BD[21.5317] → [21.5317:5382]

            xrgb r g b = Vty.rgbColor (r * 51) (g * 51) (b * 51)

[21.5317]

[19.9698]

            xrgb red green blue = Vty.rgbColor (red * 51) (green * 51) (blue * 51)

Replacement in test/Cell.hs at line 313 [20.1]

B:BD[21.5485] → [21.5485:5526]

            xgray n = Vty.rgbColor v v v

[21.5485]

[21.5526]

            xgray n = Vty.rgbColor c c c

Replacement in test/Cell.hs at line 316 [20.1]
B:BD[19.9823] → [21.5548:5578]
```
               v = n * 10 + 8
```
[19.9823]
[19.10136]
```
               c = n * 10 + 8
```
Deletion in test/Cell.hs at line 334 [20.1]
B:BD[20.2629] → [19.3010:3050]
```
      size :: Int
      size = radius v
```
Solving an order conflict in test/Cell.hs at line 334 [20.1]
[19.11140]

Replacement in src/Nove.hs at line 15 [5.5689]

B:BD[5.6172] → [6.634:684]

type Cell state a = state -> (Dir -> a) -> a -> a

[5.6172]

[22.1479]

type Cell state a = state -> Int -> (Dir -> a) -> a -> a

Replacement in src/Nove.hs at line 20 [5.5689]

B:BD[23.1509] → [6.685:754]

   Automaton g <> Automaton f = Automaton (\s ns -> g s ns . f s ns)

[23.1509]

[5.6374]

   Automaton g <> Automaton f = Automaton (\s i ns -> g s i ns . f s i ns)

Replacement in src/Nove.hs at line 23 [5.5689]
B:BD[23.1621] → [6.755:790]
```
   mempty = Automaton (\_ _ -> id)
```
[23.1621]
[5.6450]
```
   mempty = Automaton (\s i ns -> id)
```
Replacement in src/Nove/Verse.hs at line 54 [5.6595]
∅:D[13.2392] → [5.8017:8038]
B:BD[5.8017] → [5.8017:8038]
B:BD[5.8038] → [13.2393:2394]
∅:D[13.2394] → [5.8038:8070]
B:BD[5.8038] → [5.8038:8070]
B:BD[5.8070] → [24.2996:3073]
B:BD[24.3073] → [15.11208:11303]
∅:D[25.347] → [5.8154:8162]
∅:D[13.2476] → [5.8154:8162]
∅:D[24.3188] → [5.8154:8162]
∅:D[7.4108] → [5.8154:8162]
∅:D[15.11303] → [5.8154:8162]
B:BD[5.8154] → [5.8154:8162]
```
verse r = v
   where
   v = Verse
      { radius = r
      , nodes = V.generate (3 * r * r) (\i -> Node { ix = i , atom = void })
      , neighbours = U.generate (3 * r * r * 6) (\i -> shift v 1 (toEnum $ mod i 6) (div i 6))
      }
```
[13.2392]
[5.8162]
```
verse r = Verse
   { radius = r
   , nodes = V.generate (3 * r * r) (\i -> Node { ix = i , atom = void })
   , neighbours = U.generate (3 * r * r * 6) (\i -> shift r 1 (toEnum $ mod i 6) (div i 6))
   }
```

Replacement in src/Nove/Verse.hs at line 62 [5.6595]

B:BD[5.8180] → [5.8180:8270]

coordToIndex :: Verse a -> (Int,Int) -> Int
coordToIndex v (x,y) = y * (radius v * 3) + x

[5.8180]

[5.8270]

coordToIndex :: Int -> (Int,Int) -> Int
coordToIndex r (x,y) = y * (r * 3) + x

Replacement in src/Nove/Verse.hs at line 65 [5.6595]

B:BD[5.8271] → [5.8271:8366]

indexToCoord :: Verse a -> Int -> (Int,Int)
indexToCoord v = swap . flip divMod (radius v * 3)

[5.8271]

[5.8366]

indexToCoord :: Int -> Int -> (Int,Int)
indexToCoord r = swap . flip divMod (r * 3)

Replacement in src/Nove/Verse.hs at line 79 [5.6595]

B:BD[5.8616] → [5.8616:8934]

shift :: Verse a -> Int -> Dir -> Int -> Int
shift v n d i
   | L <- d = coordToIndex v $ f (mod (x + n) (r * 3) , y)
   | I <- d = coordToIndex v $ f (x , y + n)
   | U <- d = shift v n I . shift v n H $ i
   | H <- d = shift v (negate n) L i
   | N <- d = shift v (negate n) I i
   | M <- d = shift v (negate n) U i

[5.8616]

[5.8934]

shift :: Int -> Int -> Dir -> Int -> Int
shift r n d i
   | L <- d = coordToIndex r $ f (mod (x + n) (r * 3) , y)
   | I <- d = coordToIndex r $ f (x , y + n)
   | U <- d = shift r n I . shift r n H $ i
   | H <- d = shift r (negate n) L i
   | N <- d = shift r (negate n) I i
   | M <- d = shift r (negate n) U i

Replacement in src/Nove/Verse.hs at line 89 [5.6595]
∅:D[13.2655] → [5.8943:8987]
B:BD[5.8943] → [5.8943:8987]
```
   (x,y) = indexToCoord v i
   r = radius v
```
[13.2655]
[5.8987]
```
   (x,y) = indexToCoord r i
```
Replacement in src/Nove/Logic.hs at line 7 [5.10194]
∅:D[3.9984] → [7.4688:4736]
B:BD[7.4688] → [7.4688:4736]
```
import Data.IntSet as IntSet ( member, insert )
```
[3.9984]
[7.4736]
```
import Data.IntSet as IntSet ( IntSet, member, insert )
```

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

B:BD[7.4831] → [6.794:867]

step :: forall a. Atom a => ((Dir -> a) -> a -> a) -> Verse a -> Verse a

[7.4831]

[3.10066]

step :: forall a. Atom a => (Int -> (Dir -> a) -> a -> a) -> Verse a -> Verse a

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

B:BD[21.6387] → [21.6387:6460]

   φ i = (n' { atom = f (get v . ns) $ atom n' } , Memo dest lock free)

[21.6387]

[7.5233]

   φ i = (n' { atom = f i (get v . ns) $ atom n' } , Memo dest lock free)

Insertion in src/Nove/Logic.hs at line 47 [5.10194]
[7.5553]
[7.5553]
```
         π :: Dir -> Bool
```
Insertion in src/Nove/Logic.hs at line 63 [5.10194]
[7.5962]
[7.5962]
```
         λ :: IntSet -> [Int] -> Maybe Int
```
Deletion in src/Nove/Draw/Ansi.hs at line 2 [20.5092]
B:BD[20.5121] → [20.5121:5140]
```
import Nove.Verse
```

Replacement in src/Nove/Draw/Ansi.hs at line 7 [20.5092]

B:BD[20.5180] → [19.11148:11188]

∅:D[19.11188] → [20.5215:5333]

B:BD[20.5215] → [20.5215:5333]

class Atom a => Interface state a where
   logic :: GEnv -> (state,Verse a) -> Event -> Either () (state,Verse a)
   draw :: GEnv -> (state,Verse a) -> Plane

[20.5180]

[20.5333]

class Interface state where
   logic :: GEnv -> state -> Event -> Either () state
   draw :: GEnv -> state -> Plane

Replacement in src/Nove/Draw/Ansi.hs at line 11 [20.5092]
B:BD[20.5334] → [19.11189:11249]
∅:D[19.11249] → [20.5389:5405]
B:BD[20.5389] → [20.5389:5405]
```
io :: Interface state a => Int -> state -> Verse a -> IO ()
io tps s v = do
```
[20.5334]
[20.5405]
```
io :: Interface state => Int -> state -> IO ()
io tps s = do
```
Replacement in src/Nove/Draw/Ansi.hs at line 15 [20.5092]
∅:D[19.11279] → [20.5443:5470]
B:BD[20.5443] → [20.5443:5470]
```
      , gInitState = (s,v)
```
[19.11279]
[20.5470]
```
      , gInitState = s
```
Replacement in src/Nove/Cells.hs at line 13 [22.1]
∅:D[25.498] → [6.997:1013]
∅:D[15.11382] → [6.997:1013]
B:BD[26.466] → [6.997:1013]
```
terra x () ns a
```
[15.11382]
[24.3734]
```
terra x () i ns a
```
Replacement in src/Nove/Cells.hs at line 31 [22.1]
B:BD[26.531] → [6.1014:1028]
```
waves () ns a
```
[26.531]
[11.11851]
```
waves () i ns a
```
Replacement in src/Nove/Cells.hs at line 36 [22.1]
B:BD[26.595] → [6.1029:1075]
```
pulse () ns a = prev $ maximum $ ns <$> total
```
[26.595]
[22.652]
```
pulse () i ns a = prev $ maximum $ ns <$> total
```
Replacement in src/Nove/Cells.hs at line 39 [22.1]
∅:D[25.623] → [6.1076:1089]
B:BD[26.703] → [6.1076:1089]
```
dois () ns a
```
[25.623]
[11.11962]
```
dois () i ns a
```
Replacement in src/Nove/Cells.hs at line 49 [22.1]
∅:D[25.709] → [6.1090:1103]
B:BD[26.771] → [6.1090:1103]
```
bees () ns a
```
[25.709]
[25.710]
```
bees () i ns a
```
Replacement in src/Nove/Cells.hs at line 64 [22.1]
∅:D[15.11603] → [6.1104:1132]
B:BD[26.858] → [6.1104:1132]
```
gene survive born n () ns a
```
[15.11603]
[24.4239]
```
gene survive born n () i ns a
```

vs