jrvieira/nove - Change CWLOBLWQJDZL5EMPWBHK3XRT2TZZ5U5M4WGMHC65MU5YHAAUJPHAC

vs

Created by jrvieira on April 29, 2026

CWLOBLWQJDZL5EMPWBHK3XRT2TZZ5U5M4WGMHC65MU5YHAAUJPHAC

Dependencies

In channels

main

Change contents

Replacement in test/Test.hs at line 98 [4.19]
B:BD[3.2190] → [2.2:16]
```
   f () _ _ t
```
[3.2190]
[2.16]
```
   f () _ t
```
Insertion in test/Maze.hs at line 11 [6.1]
[5.93]
[5.93]
```
import Data.List ( foldl' )
```
Replacement in test/Maze.hs at line 29 [6.1]
B:BD[5.729] → [7.226:236]
```
size = 24
```
[5.729]
[5.739]
```
size = 42
```
Replacement in test/Maze.hs at line 50 [6.1]
B:BD[2.78] → [2.78:93]
```
   f () m ns h
```
[2.78]
[5.2877]
```
   f () ns h
```

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

B:BD[8.1589] → [8.1589:1698]

      hex = foldl (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

[8.1589]

[8.1698]

      hex = foldl' (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

Replacement in test/Demo.hs at line 12 [4.135]
B:BD[4.237] → [2.290:323]
```
import Data.List ( intersperse )
```
[4.237]
[4.276]
```
import Data.List ( intersperse, foldl' )
```

Replacement in test/Demo.hs at line 109 [4.135]

B:BD[4.2547] → [2.2670:2763]

-- f :: Cell State Unit
   f :: State -> Memo -> (Dir -> Unit) -> Unit -> Unit
   f s m ns u

[4.2547]

[2.2763]

   f :: Cell State Unit
   f s ns u

Replacement in test/Demo.hs at line 180 [4.135]

B:BD[7.573] → [7.573:627]

      [ (1,1) % word "nove demo"
      , (1,1) %^> ui

[7.573]

[7.627]

      [ (1,1) % ui
      , (1,1) %^> word "nove demo"

Replacement in test/Demo.hs at line 212 [4.135]

B:BD[8.6409] → [7.840:974]

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

[8.6409]

[9.1270]

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

Insertion in test/Cell.hs at line 12 [10.1]
[10.186]
[10.186]
```
import Data.List ( foldl' )
```
Replacement in test/Cell.hs at line 29 [10.1]
B:BD[10.569] → [10.569:579]
```
size = 17
```
[10.569]
[10.579]
```
size = 19
```

Replacement in test/Cell.hs at line 94 [10.1]

B:BD[10.2745] → [10.2745:2854]

      hex = foldl (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

[10.2745]

[10.2854]

      hex = foldl' (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]

Replacement in src/Nove.hs at line 4 [4.5689]
B:BD[4.5727] → [2.3590:3623]
```
import Nove.Logic ( step, Memo )
```
[4.5727]
[4.5786]
```
import Nove.Logic ( step )
```

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

B:BD[4.6172] → [2.3624:3682]

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

[4.6172]

[11.1479]

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

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

B:BD[12.1509] → [2.3683:3758]

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

[12.1509]

[4.6374]

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

Replacement in src/Nove.hs at line 23 [4.5689]
B:BD[12.1621] → [2.3759:3796]
```
   mempty = Automaton (\_ _ _ -> id)
```
[12.1621]
[4.6450]
```
   mempty = Automaton (\_ _ -> id)
```

Replacement in src/Nove/Logic.hs at line 13 [4.10194]

B:BD[2.4831] → [2.4831:5010]

step :: forall a. Atom a => (Memo -> (Dir -> a) -> a -> a) -> Verse a -> Verse a
step f v = v { nodes = V.map (\(m,n) -> n { atom = f m (get v . neighbour n) $ atom n }) result }

[2.4831]

[2.5010]

step :: forall a. Atom a => ((Dir -> a) -> a -> a) -> Verse a -> Verse a
step f v = v { nodes = V.map snd result }

Replacement in src/Nove/Logic.hs at line 25 [4.10194]

B:BD[2.5196] → [2.5196:5233]

   φ i = (Memo dest lock free , n')

[2.5196]

[2.5233]

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

Replacement in src/Nove/Cells.hs at line 10 [11.1]
B:BD[13.466] → [2.6778:6796]
```
terra x () m ns a
```
[13.466]
[11.249]
```
terra x () ns a
```
Replacement in src/Nove/Cells.hs at line 23 [11.1]
B:BD[13.531] → [2.6797:6813]
```
waves () m ns a
```
[13.531]
[8.11851]
```
waves () ns a
```
Replacement in src/Nove/Cells.hs at line 28 [11.1]
B:BD[13.595] → [2.6814:6862]
```
pulse () m ns a = prev $ maximum $ ns <$> total
```
[13.595]
[11.652]
```
pulse () ns a = prev $ maximum $ ns <$> total
```
Replacement in src/Nove/Cells.hs at line 31 [11.1]
B:BD[13.703] → [2.6863:6878]
```
dois () m ns a
```
[13.703]
[8.11962]
```
dois () ns a
```
Replacement in src/Nove/Cells.hs at line 40 [11.1]
B:BD[13.771] → [2.6879:6894]
```
bees () m ns a
```
[13.771]
[8.12174]
```
bees () ns a
```
Replacement in src/Nove/Cells.hs at line 49 [11.1]
B:BD[13.858] → [2.6895:6925]
```
gene survive born n () m ns a
```
[13.858]
[8.12311]
```
gene survive born n () ns a
```

vs

Dependencies

In channels

Change contents

Replacement in test/Test.hs at line 98 [4.19]

Insertion in test/Maze.hs at line 11 [6.1]

Replacement in test/Maze.hs at line 29 [6.1]

Replacement in test/Maze.hs at line 50 [6.1]

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

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

Replacement in test/Demo.hs at line 109 [4.135]

Replacement in test/Demo.hs at line 180 [4.135]

Replacement in test/Demo.hs at line 212 [4.135]

Insertion in test/Cell.hs at line 12 [10.1]

Replacement in test/Cell.hs at line 29 [10.1]

Replacement in test/Cell.hs at line 94 [10.1]

Replacement in src/Nove.hs at line 4 [4.5689]

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

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

Replacement in src/Nove.hs at line 23 [4.5689]

Replacement in src/Nove/Logic.hs at line 13 [4.10194]

Replacement in src/Nove/Logic.hs at line 25 [4.10194]

Replacement in src/Nove/Cells.hs at line 10 [11.1]

Replacement in src/Nove/Cells.hs at line 23 [11.1]

Replacement in src/Nove/Cells.hs at line 28 [11.1]

Replacement in src/Nove/Cells.hs at line 31 [11.1]

Replacement in src/Nove/Cells.hs at line 40 [11.1]

Replacement in src/Nove/Cells.hs at line 49 [11.1]