jrvieira/nove - Change RTM5VGIPTRMJMKLJER4543HXDRMGUZ7TI5VJBOV4ZFGUCILNQ62QC

abstract ui

Created by jrvieira on April 23, 2026

RTM5VGIPTRMJMKLJER4543HXDRMGUZ7TI5VJBOV4ZFGUCILNQ62QC

Dependencies

In channels

main

Change contents

Insertion in test/Maze.hs at line 5 [7.1]
[7.51]
[8.3]
```
import Nove.Draw.Ansi
```

Replacement in test/Maze.hs at line 13 [7.1]

B:BD[8.174] → [8.174:233]

import Data.Maybe ( isJust )
import Data.Foldable ( find )

[8.174]

[8.233]

import Data.Maybe (mapMaybe)

Deletion in test/Maze.hs at line 15 [7.1]
B:BD[8.265] → [8.265:330]
```
import Data.Map as Map ( Map, assocs, toAscList, filterWithKey )
```

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

B:BD[8.502] → [8.502:521]

B:BD[8.521] → [9.3:22]

∅:D[10.21] → [11.3:146]

∅:D[12.21] → [11.3:146]

∅:D[9.22] → [11.3:146]

B:BD[13.21] → [11.3:146]

∅:D[14.135] → [8.648:716]

∅:D[11.146] → [8.648:716]

B:BD[8.648] → [8.648:716]

   playGame $ Game
      { gTPS = 124
      , gInitState = (State { center = r , rand = r },set (Hex { look = pick r total , seed = rs , parent = Nothing , i = 1 }) 0 (verse size))
      , gLogicFunction = logic
      , gDrawFunction = draw
      }

[8.502]

[8.716]

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

Replacement in test/Maze.hs at line 29 [7.1]
B:BD[8.729] → [13.22:32]
```
size = 11
```
[8.729]
[8.739]
```
size = 42
```
Insertion in test/Maze.hs at line 35 [7.1]
[8.851]
[8.851]
```
data State = State { center :: Int , rand :: Int }
```

Deletion in test/Maze.hs at line 44 [7.1]

∅:D[9.44] → [8.1080:1081]

∅:D[15.48] → [8.1080:1081]

B:BD[8.1080] → [8.1080:1081]

B:BD[8.1081] → [11.147:198]

∅:D[11.198] → [14.173:306]

B:BD[14.173] → [14.173:306]

B:BD[14.306] → [11.199:366]

∅:D[11.366] → [14.460:781]

B:BD[14.460] → [14.460:781]

∅:D[14.781] → [8.1370:1371]

B:BD[8.1370] → [8.1370:1371]

B:BD[8.1371] → [14.782:917]

∅:D[14.917] → [8.1494:1718]

B:BD[8.1494] → [8.1494:1718]

B:BD[8.1718] → [11.367:440]


data State = State { center :: Int , rand :: Int }
logic :: GEnv -> (State,Verse Hex) -> Event -> Either () (State,Verse Hex)
logic _ (s,v) e
   | Tick <- e = Right (s,sim maze () v)
   | KeyPress 'r' <- e , r : rs <- seed (nodes 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)
   | otherwise = Right (s,v)
draw :: GEnv -> (State,Verse Hex) -> Plane
draw e (s,v) = centerFull e $ hcat [hex,ui] & (1,1) % makeTransparent ' ' (word "hex maze")
   where
   canvas :: Plane
   canvas = blankPlane (2 * succ (2 * size) + 2) (succ (2 * size) + 2)
   hex :: Plane
   hex = foldl (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]
   spectrum :: Int -> Colour Float
   spectrum i = sRGB r g b
     where

Deletion in test/Maze.hs at line 45 [7.1]

B:BD[11.441] → [11.441:540]

∅:D[11.540] → [8.1718:1824]

B:BD[8.1718] → [8.1718:1824]

B:BD[8.1824] → [11.541:611]

∅:D[11.611] → [8.1885:2037]

B:BD[8.1885] → [8.1885:2037]

B:BD[8.2037] → [14.918:1088]

∅:D[14.1088] → [8.2116:2359]

B:BD[8.2116] → [8.2116:2359]

B:BD[8.2359] → [14.1089:1117]

∅:D[14.1117] → [8.2400:2441]

B:BD[8.2400] → [8.2400:2441]

B:BD[8.2441] → [14.1118:1344]

B:BD[14.1344] → [13.33:87]

B:BD[8.2691] → [8.2691:2692]

     RGB r g b = hsv (fromIntegral (mod i n) / fromIntegral n * 360) 1 1
     n = 6 * size * size
   write :: (Int,Int) -> Draw
   write (x,y)
      | Just _ <- look h = c %.< cell '*' # color White Dull
      | 0 < i h = c %.< cell 'o' # rgbColor (spectrum $ i h + rand s)
      | otherwise = c %.< cell ' '
      where
      h :: Hex
      h = node v n
      -- 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 size * size) (3 * size) , mod y size)
         where
         (mx,my) = indexToCoord v (center s)
      -- stretch, tilt, margin, translate to library coordinate system (1-based (y,x))
      c :: (Int,Int)
      c = join bimap succ (y + size , 2 * (x + size) + y)
   ui :: Plane
-- ui = word "> ui content here <"
   ui = foldl (&) canvas
      [ (1,1) % vcat [info]
      ]
      where
      info :: Plane
         | Just h <- find (isJust . look) $ nodes v = stringPlane $ unlines $ unwords <$>
            [ ["value:" , show $ i h]
            , ["look:" , show $ look h]
            , ["anchor:" , show $ parent h]
            ]
         | otherwise = word "none"  # color Red Vivid

Replacement in test/Maze.hs at line 49 [7.1]
B:BD[8.2824] → [8.2824:2864]
```
   f :: () -> Map Dir Hex -> Hex -> Hex
```
[8.2824]
[8.2864]
```
   f :: () -> (Dir -> Hex) -> Hex -> Hex
```

Replacement in test/Maze.hs at line 61 [7.1]

B:BD[8.3332] → [8.3332:3403]

      go r = pick r (fst <$> filter ((== 0) . i . snd) (toAscList ns))

[8.3332]

[8.3403]

      go r = pick r $ filter ((== 0) . i . ns) total

Replacement in test/Maze.hs at line 65 [7.1]

B:BD[8.3449] → [8.3449:3506]

         | a : _ <- assocs $ filterWithKey l ns = Just a

[8.3449]

[8.3506]

         | (dir,n)  : _ <- mapMaybe l total = Just (dir,n)

Replacement in test/Maze.hs at line 69 [7.1]

B:BD[8.3553] → [8.3553:3686]

         l :: Dir -> Hex -> Bool
         l dir n
            | Just d <- look n = dir == opposite d
            | otherwise = False

[8.3553]

[8.3686]

         l :: Dir -> Maybe (Dir,Hex)
         l dir
            | Just d <- look n , dir == opposite d = Just (dir,n)
            | otherwise = Nothing
            where
            n = ns dir
instance Ansi State Hex where
   tps :: TPS
   tps = 42
   logic :: GEnv -> (State,Verse Hex) -> Event -> Either () (State,Verse Hex)
   logic _ (s,v) e
      | Tick <- e = Right (s,sim maze () v)
      | KeyPress 'r' <- e , r : rs <- seed (nodes 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)
      | otherwise = Right (s,v)
   draw :: GEnv -> (State,Verse Hex) -> Plane
   draw e (s,v) = centerFull e $ hcat [hex,ui] & (1,1) % makeTransparent ' ' (word "hex maze")
      where
      canvas :: Plane
      canvas = blankPlane (2 * succ (2 * size) + 2) (succ (2 * size) + 2)
      hex :: Plane
      hex = foldl (&) canvas [ write (x,y) | x <- [-size..size] , y <- [-size..size] , abs (x + y) <= size ]
      spectrum :: Int -> Colour Float
      spectrum i = sRGB r g b
        where
        RGB r g b = hsv (fromIntegral (mod i n) / fromIntegral n * 360) 1 1
        n = 6 * size * size
      write :: (Int,Int) -> Draw
      write (x,y)
         | Just _ <- look h = c %.< cell '*' # color White Dull
         | 0 < i h = c %.< cell 'o' # rgbColor (spectrum $ i h + rand s)
         | otherwise = c %.< cell ' '
         where
         h :: Hex
         h = node v n
         -- 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 size * size) (3 * size) , mod y size)
            where
            (mx,my) = indexToCoord v (center s)
         -- stretch, tilt, margin, translate to library coordinate system (1-based (y,x))
         c :: (Int,Int)
         c = join bimap succ (y + size , 2 * (x + size) + y)
      ui :: Plane
   -- ui = word "> ui content here <"
      ui = foldl (&) canvas
         [ (1,1) % vcat [info]
         ]
         where

Insertion in test/Maze.hs at line 137 [7.1]

[8.3687]

         info :: Plane
         info = word "mazing"

Insertion in test/Demo.hs at line 5 [16.135]
[16.185]
[16.185]
```
import Nove.Draw.Ansi
```
Insertion in test/Demo.hs at line 7 [16.135]
[16.186]
[16.186]
```
import Zero ( total )
```
Deletion in test/Demo.hs at line 14 [16.135]
B:BD[17.117] → [3.4:61]
```
import Data.Map as Map ( Map, (!), filterWithKey, keys )
```

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

B:BD[16.560] → [16.560:581]

B:BD[16.581] → [3.62:79]

∅:D[3.79] → [15.87:225]

B:BD[18.150] → [15.87:225]

∅:D[15.225] → [16.705:765]

∅:D[17.261] → [16.705:765]

∅:D[18.271] → [16.705:765]

B:BD[16.705] → [16.705:765]

   playGame $ Game {
      gTPS = 9 ,
      gInitState = (State { rand = r , center = 0 , input = (Nothing , mempty) , mode = Full , play = False } , generate (verse 11) rs) ,
      gLogicFunction = logic ,
      gDrawFunction = draw }

[16.560]

[16.765]

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

Replacement in test/Demo.hs at line 94 [16.135]
B:BD[16.1968] → [16.1968:1977]
```
-- Logic
```
[16.1968]
[16.1977]
```
-- util
```

Replacement in test/Demo.hs at line 96 [16.135]

B:BD[16.1978] → [16.1978:2055]

B:BD[16.2055] → [15.1717:1880]

B:BD[15.1880] → [19.4:116]

B:BD[19.116] → [2.4:308]

∅:D[19.116] → [15.1880:2104]

∅:D[2.308] → [15.1880:2104]

B:BD[15.1880] → [15.1880:2104]

∅:D[17.615] → [16.2150:2159]

∅:D[15.2104] → [16.2150:2159]

B:BD[16.2150] → [16.2150:2159]

logic :: GEnv -> (State,Verse Unit) -> Event -> Either () (State,Verse Unit)
logic g (s,v) e
   | KeyPress 'q'  <- e = Left ()
   | KeyPress 'p'  <- e = Right (s { play = True } , v)
   | KeyPress 'P'  <- e = Right (s { play = False } , v)
   | KeyPress 'c'  <- e = Right (s { mode = Dumb } , v)
   | KeyPress 'C'  <- e = Right (s { mode = Full } , v)
   | 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 '.'  <- e = Right (s' { play = False } , sim demo s' v)
   | KeyPress  k   <- e = Right (s { input = input' k } , v)
   | play s , Tick <- e = Right (s' , sim demo s' v)
   | otherwise          = Right (s , v)
   where

[16.1978]

[16.2159]

me :: Unit -> Bool
me a
   | Robot {} <- a , "@" <- name a = True
   | otherwise = False

Replacement in test/Demo.hs at line 101 [16.135]
B:BD[16.2160] → [16.2160:2193]
B:BD[16.2193] → [15.2105:2162]
∅:D[15.2162] → [20.304:369]
B:BD[17.653] → [20.304:369]
∅:D[20.369] → [17.718:760]
B:BD[17.718] → [17.718:760]
```
   -- prevent repeat before tick
   input' :: Char -> (Maybe Char,Queue Char)
   input' k
   -- | Just (q,_) <- dequeue $ snd $ input s , k == q = input s
      | otherwise = enqueue k <$> input s
```
[16.2160]
[16.2402]
```
-- Unit Automaton
```

Replacement in test/Demo.hs at line 103 [16.135]

B:BD[16.2403] → [16.2403:2417]

B:BD[16.2417] → [15.2163:2298]

   z :: State
      | Just (c,q) <- dequeue $ snd $ input s = s { input = (Just c , q) }
      | otherwise = s { input = (Nothing , snd $ input s) }

[16.2403]

[16.2546]

demo :: Automaton State Unit
demo = Automaton f
   where

Replacement in test/Demo.hs at line 107 [16.135]

B:BD[16.2547] → [16.2547:2562]

B:BD[16.2562] → [2.309:339]

∅:D[2.339] → [16.2810:2832]

∅:D[15.2383] → [16.2810:2832]

B:BD[16.2810] → [16.2810:2832]

   s' :: State
   -- | Just 'x' <- k = z { }
      | otherwise = z

[16.2547]

[16.2832]

   f :: State -> (Dir -> Unit) -> Unit -> Unit
   f s ns u
      | 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 114 [16.135]

[16.2844]

[4.4]


      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 = [] }

Replacement in test/Demo.hs at line 122 [16.135]

∅:D[4.5] → [17.895:941]

B:BD[16.2844] → [17.895:941]

      k :: Maybe Char
      k = fst $ input z

[4.5]

[16.2868]

      push :: Maybe Dir
         | [dir] <- Prelude.filter p total = Just $ opposite dir
         | otherwise = Nothing
         where

Replacement in test/Demo.hs at line 127 [16.135]

B:BD[16.2869] → [16.2869:2877]

-- Draw

[16.2869]

[16.2877]

         p :: Dir -> Bool
         p dir = mass n && move n == Just (opposite dir)
            where

Replacement in test/Demo.hs at line 131 [16.135]

B:BD[16.2878] → [16.2878:3024]

draw :: GEnv -> (State,Verse Unit) -> Plane
draw e (s,v) = centerFull e $ hcat [hex,ui] & (1,1) % makeTransparent ' ' (word "nove demo")
   where

[16.2878]

[16.3024]

            n :: Unit
            n = ns dir

Replacement in test/Demo.hs at line 134 [16.135]
B:BD[16.3025] → [16.3025:3053]
```
   r :: Int
   r = radius v
```
[16.3025]
[16.3053]
```
instance Ansi State Unit where
   -- Logic
```

Replacement in test/Demo.hs at line 137 [16.135]

B:BD[16.3249] → [16.3249:3279]

B:BD[16.3279] → [17.942:993]

   write :: (Int,Int) -> Draw
   write (x,y) = c %.< cell (grapheme a) # style a

[16.3054]

[16.3324]

   logic :: GEnv -> (State,Verse Unit) -> Event -> Either () (State,Verse Unit)
   logic g (s,v) e
      | KeyPress 'q'  <- e = Left ()
      | KeyPress 'p'  <- e = Right (s { play = True } , v)
      | KeyPress 'P'  <- e = Right (s { play = False } , v)
      | KeyPress 'c'  <- e = Right (s { mode = Dumb } , v)
      | KeyPress 'C'  <- e = Right (s { mode = Full } , v)
      | 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 '.'  <- e = Right (s' { play = False } , sim demo s' v)
      | KeyPress  k   <- e = Right (s { input = input' k } , v)
      | play s , Tick <- e = Right (s' , sim demo s' v)
      | otherwise          = Right (s , v)

Insertion in test/Demo.hs at line 153 [16.135]

[16.3336]


      -- prevent repeat before tick
      input' :: Char -> (Maybe Char,Queue Char)
      input' k
      -- | Just (q,_) <- dequeue $ snd $ input s , k == q = input s
         | otherwise = enqueue k <$> input s

Replacement in test/Demo.hs at line 160 [16.135]

B:BD[16.3337] → [16.3337:3353]

B:BD[16.3353] → [17.994:1013]

      a :: Unit
      a = node v n

[16.3337]

[16.3372]

      z :: State
         | Just (c,q) <- dequeue $ snd $ input s = s { input = (Just c , q) }
         | otherwise = s { input = (Nothing , snd $ input s) }

Replacement in test/Demo.hs at line 164 [16.135]

B:BD[16.3373] → [16.3373:3539]

      -- 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)

[16.3373]

[16.3539]

      s' :: State
      -- | Just 'x' <- k = z { }
         | otherwise = z

Deletion in test/Demo.hs at line 168 [16.135]

B:BD[16.3554] → [16.3554:3761]


         (mx,my) = indexToCoord v (center s)
      -- stretch, tilt, margin, translate to library coordinate system (1-based (y,x))
      c :: (Int,Int)
      c = join bimap succ (y + r , 2 * (x + r) + y)

Replacement in test/Demo.hs at line 169 [16.135]

B:BD[16.3762] → [17.1014:1098]

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

[16.3762]

[16.3911]

         k :: Maybe Char
         k = fst $ input z

Replacement in test/Demo.hs at line 172 [16.135]

B:BD[16.3912] → [17.1099:1206]

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

[16.3912]

[16.4732]

   -- Draw

Replacement in test/Demo.hs at line 174 [16.135]

B:BD[16.4733] → [16.4733:4783]

B:BD[16.4783] → [17.1207:1471]

   ui :: Plane
-- ui = word "> ui content here <"
   ui = foldl (&) canvas
      [ (1,1) % vcat (intersperse (cell ' ')
         [ key
         , hcat
            [ scope $ take 1 $ IntMap.keys $ IntMap.filter me $ nodes v
            , cell ' '
            , vcat [word "",info]
            ]
         ])
      ]

[16.4733]

[16.4859]

   draw :: GEnv -> (State,Verse Unit) -> Plane
   draw e (s,v) = centerFull e $ hcat [hex,ui] & (1,1) % makeTransparent ' ' (word "nove demo")

Replacement in test/Demo.hs at line 178 [16.135]
B:BD[16.4872] → [17.1472:1494]
```
      (c,q) = input s
```
[16.4872]
[16.4937]
```
      r :: Int
      r = radius v
```

Replacement in test/Demo.hs at line 181 [16.135]

B:BD[16.4938] → [17.1495:1579]

      key :: Plane
      key = word (maybe id (:) c $ toList q) # color Black Vivid

[16.4938]

[16.4959]

      write :: (Int,Int) -> Draw
      write (x,y) = c %.< cell (grapheme a) # style a
         where

Replacement in test/Demo.hs at line 185 [16.135]

B:BD[16.4960] → [17.1580:1600]

∅:D[17.1600] → [16.4971:5026]

B:BD[16.4971] → [16.4971:5026]

B:BD[16.5026] → [18.923:987]

      info :: Plane
         | Just m <- find me $ nodes v = word $ show m
         | otherwise = word "no robot found!" # color Red Vivid

[16.4960]

[16.5107]

         a :: Unit
         a = node v n

Replacement in test/Demo.hs at line 188 [16.135]

B:BD[16.5108] → [17.1601:2224]

   scope :: [Int] -> Plane
   scope n
      | i : _ <- n = foldl (&) (blankPlane 5 3)
         [ (1,2) % let a = adjacents v i Map.! U in cell (grapheme a) # style a
         , (1,4) % let a = adjacents v i Map.! I in cell (grapheme a) # style a
         , (2,1) % let a = adjacents v i Map.! H in cell (grapheme a) # style a
         , (2,3) % let a = node v i in cell (grapheme a)
         , (2,5) % let a = adjacents v i Map.! L in cell (grapheme a) # style a
         , (3,2) % let a = adjacents v i Map.! N in cell (grapheme a) # style a
         , (3,4) % let a = adjacents v i Map.! M in cell (grapheme a) # style a

[16.5108]

[17.2224]

         -- 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)
            where

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

B:BD[17.2225] → [17.2225:2271]

         ]
      | otherwise = blankPlane 5 3

[17.2225]

[17.2271]

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

Replacement in test/Demo.hs at line 195 [16.135]

B:BD[17.2272] → [18.988:1001]

   -- render

[17.2272]

[18.1001]

         -- stretch, tilt, margin, translate to library coordinate system (1-based (y,x))
         c :: (Int,Int)
         c = join bimap succ (y + r , 2 * (x + r) + y)

Replacement in test/Demo.hs at line 199 [16.135]

B:BD[18.1002] → [18.1002:1044]

   grapheme :: Unit -> Char
   grapheme a

[18.1002]

[18.1044]

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

Replacement in test/Demo.hs at line 202 [16.135]

B:BD[18.1045] → [5.76:168]

      | None     <- a , Dumb <- mode s = '.'
      | None     <- a , Full <- mode s = '∙'

[18.1045]

[18.1270]

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

Replacement in test/Demo.hs at line 205 [16.135]

B:BD[18.1271] → [5.169:331]

      | Wall     <- a                  = '#'
      | Box {}   <- a                  = 'x'
      | Robot {} <- a                  = maybe 'o' (const '@') $ move a

[18.1271]

[17.2282]

      ui :: Plane
   -- ui = word "> ui content here <"
      ui = foldl (&) canvas
         [ (1,1) % vcat (intersperse (cell ' ')
            [ key
            , hcat
               [ scope $ take 1 $ IntMap.keys $ IntMap.filter me $ nodes v
               , cell ' '
               , vcat [word "",info]
               ]
            ])
         ]
         where

Replacement in test/Demo.hs at line 219 [16.135]
B:BD[17.2283] → [18.1499:1535]
```
   style :: Unit -> Draw
   style a
```
[17.2283]
[17.2421]
```
         (c,q) = input s
```

Replacement in test/Demo.hs at line 221 [16.135]

B:BD[17.2422] → [18.1536:1585]

B:BD[18.1585] → [15.2384:2442]

∅:D[15.2442] → [18.1648:1875]

B:BD[18.1648] → [18.1648:1875]

B:BD[18.1875] → [3.1360:1437]

∅:D[3.1437] → [15.2521:2597]

B:BD[15.2521] → [15.2521:2597]

B:BD[15.2597] → [3.1438:1513]

∅:D[3.1513] → [15.2671:2825]

B:BD[15.2671] → [15.2671:2825]

B:BD[15.2825] → [3.1514:2047]

∅:D[3.2047] → [18.2103:2146]

∅:D[15.2825] → [18.2103:2146]

B:BD[18.2103] → [18.2103:2146]

      | Dumb <- mode s , me a = color White Dull
      | Dumb <- mode s , not (mass 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 , "d0"  <- name a = color Yellow Dull
      | Dumb <- mode s , Robot {} <- a , "d1"  <- name a = color Green Dull
      | Dumb <- mode s , Robot {} <- a , 'L':_ <- name a = color Cyan Dull
      | Dumb <- mode s , Robot {} <- a , "r0"  <- name a = color White Vivid
      | Dumb <- mode s , Robot {} <- a , "r1"  <- name a = color Black Vivid
      | 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
      | Dumb <- mode s = color White Vivid

[17.2422]

[18.2146]

         key :: Plane
         key = word (maybe id (:) c $ toList q) # color Black Vivid
         info :: Plane
            | Just m <- find me $ nodes v = word $ show m
            | otherwise = word "no robot found!" # color Red Vivid

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

B:BD[18.2147] → [18.2147:2224]

B:BD[18.2224] → [15.2826:2911]

∅:D[15.2911] → [18.2314:2626]

B:BD[18.2314] → [18.2314:2626]

B:BD[18.2626] → [15.2912:3120]

∅:D[15.3120] → [18.2834:2938]

B:BD[18.2834] → [18.2834:2938]

B:BD[18.2938] → [15.3121:3329]

B:BD[15.3329] → [3.2048:2776]

∅:D[3.2776] → [18.2938:3008]

∅:D[15.3329] → [18.2938:3008]

B:BD[18.2938] → [18.2938:3008]

      | Full <- mode s , me a = rgbColor $ sRGB24 0x21 0xb2 0x8e  -- #21b28e
      | Full <- mode s , not (mass 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 , "d0"  <- name a = rgbColor $ sRGB24 0x99 0x99 0x66  -- #999966
      | Full <- mode s , Robot {} <- a , "d1"  <- 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 , Robot {} <- a , "r0"  <- name a = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999
      | Full <- mode s , Robot {} <- a , "r1"  <- name a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
      | 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
      | Full <- mode s = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999

[18.2147]

[17.3288]

      scope :: [Int] -> Plane
      scope n
         | i : _ <- n = foldl (&) (blankPlane 5 3)
            [ (1,2) % let a = neighbours v i U in cell (grapheme a) # style a
            , (1,4) % let a = neighbours v i I in cell (grapheme a) # style a
            , (2,1) % let a = neighbours v i H in cell (grapheme a) # style a
            , (2,3) % let a = node v i in cell (grapheme a)
            , (2,5) % let a = neighbours v i L in cell (grapheme a) # style a
            , (3,2) % let a = neighbours v i N in cell (grapheme a) # style a
            , (3,4) % let a = neighbours v i M in cell (grapheme a) # style a

Replacement in test/Demo.hs at line 239 [16.135]
∅:D[17.3289] → [16.5108:5116]
B:BD[16.5108] → [16.5108:5116]
```
-- util
```
[17.3289]
[16.5116]
```
            ]
         | otherwise = blankPlane 5 3
```

Replacement in test/Demo.hs at line 242 [16.135]

B:BD[16.5117] → [16.5117:5206]

me :: Unit -> Bool
me a
   | Robot {} <- a , "@" <- name a = True
   | otherwise = False

[16.5117]

[16.5206]

      -- render

Replacement in test/Demo.hs at line 244 [16.135]
B:BD[16.5207] → [9.1314:1332]
```
-- Unit Automaton
```
[16.5207]
[16.5219]
```
      grapheme :: Unit -> Char
      grapheme a
```
Replacement in test/Demo.hs at line 247 [16.135]
B:BD[16.5220] → [9.1333:1381]
∅:D[9.1381] → [16.5361:5370]
∅:D[18.3073] → [16.5361:5370]
B:BD[16.5361] → [16.5361:5370]
```
demo :: Automaton State Unit
demo = Automaton f
   where
```
[16.5220]
[16.5370]
```
         | None     <- a , Dumb <- mode s = '.'
         | None     <- a , Full <- mode s = '∙'
```

Replacement in test/Demo.hs at line 250 [16.135]

B:BD[16.5371] → [18.3074:3132]

B:BD[18.3132] → [3.2777:3054]

∅:D[7.526] → [18.3438:3450]

∅:D[3.3054] → [18.3438:3450]

B:BD[18.3438] → [18.3438:3450]

   f :: State -> Map Dir Unit -> Unit -> Unit
   f s ns u
      | Robot { ops = [] } <- u , Just dir <- push = u { ops = [Move dir] }  -- push
      | me u                                       = me'
      | Robot {} <- u                              = u { ops = drop 1 $ ops u }
      | otherwise                                  = u
      where

[16.5371]

[18.3450]

         | Wall     <- a                  = '#'
         | Box {}   <- a                  = 'x'
         | Robot {} <- a                  = maybe 'o' (const '@') $ move a

Replacement in test/Demo.hs at line 254 [16.135]

B:BD[18.3451] → [18.3451:3747]

      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 = [] }

[18.3451]

[18.3747]

      style :: Unit -> Draw
      style a

Replacement in test/Demo.hs at line 257 [16.135]

B:BD[18.3748] → [3.3055:3201]

      push :: Maybe Dir
         | [dir] <- Map.keys $ Map.filterWithKey p ns = Just $ opposite dir
         | otherwise = Nothing
         where

[18.3748]

[3.3201]

         | Dumb <- mode s , me a = color White Dull
         | Dumb <- mode s , not (mass 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 , "d0"  <- name a = color Yellow Dull
         | Dumb <- mode s , Robot {} <- a , "d1"  <- name a = color Green Dull
         | Dumb <- mode s , Robot {} <- a , 'L':_ <- name a = color Cyan Dull
         | Dumb <- mode s , Robot {} <- a , "r0"  <- name a = color White Vivid
         | Dumb <- mode s , Robot {} <- a , "r1"  <- name a = color Black Vivid
         | 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
         | Dumb <- mode s = color White Vivid

Replacement in test/Demo.hs at line 276 [16.135]

B:BD[3.3202] → [3.3202:3295]

         p :: Dir -> Unit -> Bool
         p dir n = mass n && move n == Just (opposite dir)

[3.3202]

[3.3295]

         | Full <- mode s , me a = rgbColor $ sRGB24 0x21 0xb2 0x8e  -- #21b28e
         | Full <- mode s , not (mass 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 , "d0"  <- name a = rgbColor $ sRGB24 0x99 0x99 0x66  -- #999966
         | Full <- mode s , Robot {} <- a , "d1"  <- 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 , Robot {} <- a , "r0"  <- name a = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999
         | Full <- mode s , Robot {} <- a , "r1"  <- name a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
         | 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
         | Full <- mode s = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999

Deletion in src/Nove.hs at line 5 [16.5689]
B:BD[16.5754] → [16.5754:5786]
```
import Data.Map as Map ( Map )
```

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

B:BD[16.6172] → [6.1430:1479]

type Cell state a = state -> Map Dir a -> a -> a

[16.6172]

[6.1479]

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

Deletion in src/Nove.hs at line 27 [16.5689]
∅:D[9.1752] → [16.6542:6543]
∅:D[18.4020] → [16.6542:6543]
B:BD[16.6542] → [16.6542:6543]
Deletion in src/Nove/Verse.hs at line 3 [16.6595]
B:BD[16.6621] → [17.3538:3560]
```
import Zero ( total )
```
Deletion in src/Nove/Verse.hs at line 5 [16.6595]
B:BD[17.3643] → [17.3643:3684]
```
import Data.Map as Map ( Map, fromList )
```

Replacement in src/Nove/Verse.hs at line 90 [16.6595]

B:BD[17.3754] → [17.3754:3884]

adjacents :: Atom a => Verse a -> Int -> Map Dir a
adjacents v i = Map.fromList [(dir , node v (shift v 1 dir i)) | dir <- total]

[17.3754]

[16.9174]

neighbours :: Atom a => Verse a -> Int -> Dir -> a
neighbours v i dir = node v $ shift v 1 dir i

Deletion in src/Nove/Logic.hs at line 7 [16.10194]
∅:D[15.3515] → [9.2038:2069]
B:BD[9.2038] → [9.2038:2069]
```
import Data.Map as Map ( Map )
```

Replacement in src/Nove/Logic.hs at line 14 [16.10194]

B:BD[16.10514] → [16.10514:10586]

B:BD[16.10586] → [15.3635:3696]

step :: forall a. Atom a => (Map Dir a -> a -> a) -> Verse a -> Verse a
step f v = v { nodes = mapWithKey (f . adjacents v) nodes' }

[16.10514]

[16.10618]

step :: forall a. Atom a => ((Dir -> a) -> a -> a) -> Verse a -> Verse a
step f v = v { nodes = mapWithKey (f . neighbours v) nodes' }

Replacement in src/Nove/Cells.hs at line 3 [6.1]

B:BD[6.27] → [6.27:68]

import Zero ( prev, next, (∈), count )

[6.27]

[6.68]

import Zero ( total, prev, next, (∈), count )

Deletion in src/Nove/Cells.hs at line 7 [6.1]
B:BD[6.91] → [6.91:132]
```
import Data.Map as Map ( size, filter )
```

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

B:BD[6.348] → [6.348:421]

   leq = count (== a) ns
   lgt = count (> a) ns
   llt = count (< a) ns

[6.348]

[6.421]

   leq = count (== a) adjacents
   lgt = count (> a) adjacents
   llt = count (< a) adjacents
   adjacents = ns <$> total

Replacement in src/Nove/Cells.hs at line 24 [6.1]

B:BD[6.490] → [6.490:538]

   | a == minBound , maxBound ∈ ns = maxBound

[6.490]

[6.538]

   | a == minBound , maxBound ∈ (ns <$> total) = maxBound

Replacement in src/Nove/Cells.hs at line 28 [6.1]
B:BD[6.615] → [6.615:652]
```
pulse state ns a = prev $ maximum ns
```
[6.615]
[6.652]
```
pulse state ns a = prev $ maximum $ ns <$> total
```

Replacement in src/Nove/Cells.hs at line 32 [6.1]

B:BD[6.733] → [6.733:875]

   | count (== minimum ns) ns <= fromEnum a - fromEnum (minimum ns) = prev a
   | fromEnum (sum $ Map.filter (> a) ns) > Map.size ns = next a

[6.733]

[6.875]

   | count (== minimum adjacents) adjacents <= fromEnum a - fromEnum (minimum adjacents) = prev a
   | fromEnum (sum $ filter (> a) adjacents) > length adjacents = next a

Insertion in src/Nove/Cells.hs at line 35 [6.1]
[6.894]
[6.894]
```
   where
```
Insertion in src/Nove/Cells.hs at line 37 [6.1]
[6.895]
[6.895]
```
   adjacents = ns <$> total
```

Replacement in src/Nove/Cells.hs at line 41 [6.1]

B:BD[6.968] → [6.968:1051]

   | count (> a) ns ∈ [2 :: Int] = next a
   | count (< a) ns ∈ [2 :: Int] = a

[6.968]

[6.1051]

   | count (> a) adjacents ∈ [2 :: Int] = next a
   | count (< a) adjacents ∈ [2 :: Int] = a

Insertion in src/Nove/Cells.hs at line 44 [6.1]
[6.1075]
[6.1075]
```
   where
   adjacents = ns <$> total
```

Replacement in src/Nove/Cells.hs at line 50 [6.1]

B:BD[6.1183] → [6.1183:1323]

   | count (== maxBound) ns ∈ survive , fromEnum a > n - 2 = maxBound
   | count (== maxBound) ns ∈ born , a < succ minBound = maxBound

[6.1183]

[6.1323]

   | count (== maxBound) adjacents ∈ survive , fromEnum a > n - 2 = maxBound
   | count (== maxBound) adjacents ∈ born , fromEnum a < 1 = maxBound

Insertion in src/Nove/Cells.hs at line 54 [6.1]
[6.1389]
[6.1389]
```
   where
   adjacents = ns <$> total
```
Replacement in nove.cabal at line 19 [16.12206]
B:BD[16.12518] → [16.12518:12549]
```
   exposed-modules: Nove.Verse
```
[16.12518]
[16.12549]
```
      , Nove.Verse
```
Insertion in nove.cabal at line 23 [16.12206]
[6.1689]
[16.12587]
```
      , Nove.Draw.Ansi
```
Insertion in nove.cabal at line 65 [16.12206]
[6.1815]
[6.1815]
```
      , random
```

abstract ui

Dependencies

In channels

Change contents

Insertion in test/Maze.hs at line 5 [7.1]

Replacement in test/Maze.hs at line 13 [7.1]

Deletion in test/Maze.hs at line 15 [7.1]

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

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

Insertion in test/Maze.hs at line 35 [7.1]

Deletion in test/Maze.hs at line 44 [7.1]

Deletion in test/Maze.hs at line 45 [7.1]

Replacement in test/Maze.hs at line 49 [7.1]

Replacement in test/Maze.hs at line 61 [7.1]

Replacement in test/Maze.hs at line 65 [7.1]

Replacement in test/Maze.hs at line 69 [7.1]

Insertion in test/Maze.hs at line 137 [7.1]

Insertion in test/Demo.hs at line 5 [16.135]

Insertion in test/Demo.hs at line 7 [16.135]

Deletion in test/Demo.hs at line 14 [16.135]

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

Replacement in test/Demo.hs at line 94 [16.135]

Replacement in test/Demo.hs at line 96 [16.135]

Replacement in test/Demo.hs at line 101 [16.135]

Replacement in test/Demo.hs at line 103 [16.135]

Replacement in test/Demo.hs at line 107 [16.135]

Insertion in test/Demo.hs at line 114 [16.135]

Replacement in test/Demo.hs at line 122 [16.135]

Replacement in test/Demo.hs at line 127 [16.135]

Replacement in test/Demo.hs at line 131 [16.135]

Replacement in test/Demo.hs at line 134 [16.135]

Replacement in test/Demo.hs at line 137 [16.135]

Insertion in test/Demo.hs at line 153 [16.135]

Replacement in test/Demo.hs at line 160 [16.135]

Replacement in test/Demo.hs at line 164 [16.135]

Deletion in test/Demo.hs at line 168 [16.135]

Replacement in test/Demo.hs at line 169 [16.135]

Replacement in test/Demo.hs at line 172 [16.135]

Replacement in test/Demo.hs at line 174 [16.135]

Replacement in test/Demo.hs at line 178 [16.135]

Replacement in test/Demo.hs at line 181 [16.135]

Replacement in test/Demo.hs at line 185 [16.135]

Replacement in test/Demo.hs at line 188 [16.135]

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

Replacement in test/Demo.hs at line 195 [16.135]

Replacement in test/Demo.hs at line 199 [16.135]

Replacement in test/Demo.hs at line 202 [16.135]

Replacement in test/Demo.hs at line 205 [16.135]

Replacement in test/Demo.hs at line 219 [16.135]

Replacement in test/Demo.hs at line 221 [16.135]

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

Replacement in test/Demo.hs at line 239 [16.135]

Replacement in test/Demo.hs at line 242 [16.135]

Replacement in test/Demo.hs at line 244 [16.135]

Replacement in test/Demo.hs at line 247 [16.135]

Replacement in test/Demo.hs at line 250 [16.135]

Replacement in test/Demo.hs at line 254 [16.135]

Replacement in test/Demo.hs at line 257 [16.135]

Replacement in test/Demo.hs at line 276 [16.135]

Deletion in src/Nove.hs at line 5 [16.5689]

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

Deletion in src/Nove.hs at line 27 [16.5689]

Deletion in src/Nove/Verse.hs at line 3 [16.6595]

Deletion in src/Nove/Verse.hs at line 5 [16.6595]

Replacement in src/Nove/Verse.hs at line 90 [16.6595]

Deletion in src/Nove/Logic.hs at line 7 [16.10194]

Replacement in src/Nove/Logic.hs at line 14 [16.10194]

Replacement in src/Nove/Cells.hs at line 3 [6.1]

Deletion in src/Nove/Cells.hs at line 7 [6.1]

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

Replacement in src/Nove/Cells.hs at line 24 [6.1]

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

Replacement in src/Nove/Cells.hs at line 32 [6.1]

Insertion in src/Nove/Cells.hs at line 35 [6.1]

Insertion in src/Nove/Cells.hs at line 37 [6.1]

Replacement in src/Nove/Cells.hs at line 41 [6.1]

Insertion in src/Nove/Cells.hs at line 44 [6.1]

Replacement in src/Nove/Cells.hs at line 50 [6.1]

Insertion in src/Nove/Cells.hs at line 54 [6.1]

Replacement in nove.cabal at line 19 [16.12206]