From a9c588be765e057d6bf1b015e2c6ea754b08a5fc Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 6 Dec 2025 22:32:44 -0800
Subject: [PATCH] Day 7

---
 aoc2025/Aoc.newt    |  3 ++
 aoc2025/Day5.newt   |  3 --
 aoc2025/Day7.newt   | 73 +++++++++++++++++++++++++++++++++++++++++++++
 aoc2025/DayXX.newt  |  4 +--
 aoc2025/day7/eg.txt | 16 ++++++++++
 5 files changed, 94 insertions(+), 5 deletions(-)
 create mode 100644 aoc2025/Day7.newt
 create mode 100644 aoc2025/day7/eg.txt

diff --git a/aoc2025/Aoc.newt b/aoc2025/Aoc.newt
index 691a15c..206bff2 100644
--- a/aoc2025/Aoc.newt
+++ b/aoc2025/Aoc.newt
@@ -6,6 +6,9 @@ import Prelude
 nums' : String → String → List Int
 nums' by s = map stringToInt $ filter (_/=_ "") $ split (trim s) by
 
+max : ∀ a. {{Ord a}} → a → a → a
+max a b = if a < b then b else a
+
 nums : String → List Int
 nums s = map stringToInt $ filter (_/=_ "") $ split (trim s) " "
 
diff --git a/aoc2025/Day5.newt b/aoc2025/Day5.newt
index e490816..0e616a7 100644
--- a/aoc2025/Day5.newt
+++ b/aoc2025/Day5.newt
@@ -35,9 +35,6 @@ part1 prob = length' $ filter (isFresh prob.pairs) prob.avail
     isFresh ((a,b) :: pairs) v = if a <= v && v <= b then True else isFresh pairs v
     isFresh Nil v = False
 
-max : ∀ a. {{Ord a}} → a → a → a
-max a b = if a < b then b else a
-
 part2 : List Range → Int
 part2 pairs = foldl _+_ 0 $ map size $ merge $ qsort (\a b => a < b) pairs
     where
diff --git a/aoc2025/Day7.newt b/aoc2025/Day7.newt
new file mode 100644
index 0000000..0b6c6dd
--- /dev/null
+++ b/aoc2025/Day7.newt
@@ -0,0 +1,73 @@
+module Day7
+
+import Prelude
+import Node
+import Aoc
+import Data.SortedMap
+import Monad.State
+
+gridPoints : String → List (Char × Int × Int)
+gridPoints text = go 0 0 (unpack text) Nil
+  where
+    go : Int → Int → List Char → List (Char × Int × Int) → List (Char × Int × Int)
+    go row col Nil points = points
+    go row col ('\n' :: cs) points = go (row + 1) 0 cs points
+    go row col (c :: cs) points = go row (col + 1) cs ((c,row,col) :: points)
+
+Grid : U
+Grid = SortedMap Point Int
+
+getGrid : String → Grid
+getGrid text = foldl update (EmptyMap compare) $ gridPoints text
+  where
+    update : Grid → Char × Point → Grid
+    update grid (c,pt) = updateMap pt (ord c) grid
+
+process : Int → Grid → Int × Int
+process rows g =
+  let grid' = foldl update (EmptyMap compare) $ toList g
+      part1 = foldl _+_ 0 $ map (isSplit grid') $ toList g
+      part2 = foldl _+_ 0 $ map isLast $ toList grid'
+  in  (part1, part2)
+  where
+    isSplit : Grid → (Point × Int) → Int
+    isSplit grid ((r,c), 94) = case lookupMap' (r - 1,c) grid of
+      Just n => if n > 0 then 1 else 0
+      _ => 0
+    isSplit grid _ = 0
+
+    isLast : (Point × Int) → Int
+    isLast ((r,c),n) = if r + 1 == rows then n else 0
+
+    addStates : Point → Int → Grid → Grid
+    addStates pt n g = let prev = fromMaybe 0 $ lookupMap' pt g
+                        in updateMap pt (n + prev) g
+
+    update : Grid → (Point × Int) → Grid
+    update counts ((0,c),83) = addStates (1,c) ( 1) counts
+    update counts ((0,c),_) = counts
+
+    update counts ((r,c),46) = case lookupMap' (r - 1,c) counts of
+      Just 0 => counts
+      Just n => addStates (r,c) ( n) counts
+      _ => counts
+    update counts ((r,c),94) = case lookupMap' (r - 1,c) counts of
+      Just n => addStates (r,c - 1) (n) $ addStates (r,c + 1) n counts
+      _ => counts
+    update counts ((r,c),_) = counts
+
+run : String -> IO Unit
+run fn = do
+  putStrLn fn
+  text <- readFile fn
+  let grid = getGrid text
+  let rows = trace "rows" $ foldl max 0 $ map (fst ∘ fst) $ toList grid
+  let cols = trace "cols" $ foldl max 0 $ map (snd ∘ fst) $ toList grid
+  let (part1, part2) = process rows grid
+  putStrLn $ "part1 \{show part1}"
+  putStrLn $ "part2 \{show part2}"
+
+main : IO Unit
+main = do
+  run "aoc2025/day7/eg.txt"
+  run "aoc2025/day7/input.txt"
diff --git a/aoc2025/DayXX.newt b/aoc2025/DayXX.newt
index 68dd7be..50c5a1f 100644
--- a/aoc2025/DayXX.newt
+++ b/aoc2025/DayXX.newt
@@ -12,9 +12,9 @@ run fn = do
   putStrLn fn
   text <- readFile fn
   putStrLn $ "part1 " ++ show (part1 text)
-  putStrLn $ "part2 " ++ show (part2 text)
+  -- putStrLn $ "part2 " ++ show (part2 text)
 
 main : IO Unit
 main = do
   run "aoc2025/dayXX/eg.txt"
-  run "aoc2025/dayXX/input.txt"
+  -- run "aoc2025/dayXX/input.txt"
diff --git a/aoc2025/day7/eg.txt b/aoc2025/day7/eg.txt
new file mode 100644
index 0000000..57a2466
--- /dev/null
+++ b/aoc2025/day7/eg.txt
@@ -0,0 +1,16 @@
+.......S.......
+...............
+.......^.......
+...............
+......^.^......
+...............
+.....^.^.^.....
+...............
+....^.^...^....
+...............
+...^.^...^.^...
+...............
+..^...^.....^..
+...............
+.^.^.^.^.^...^.
+...............