···

       
1
       
 
       
module Day12 where

     

       
2
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
3
       
 
       
part1 :: String -> String

     

       
4
       
-
       
part1 _ = "Day 12 part 1"

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
5
       
 
       


     

       
6
       
 
       
part2 :: String -> String

     

       
7
       
-
       
part2 _ = "Day 12 part 2"

     

···

       
1
       
 
       
module Day12 where

     

       
2
       
 
       


     

       
3
       
+
       
parse :: String -> [(Int,Int,[Int])]

     

       
4
       
+
       
parse = map parseLine . drop 30 . lines

     

       
5
       
+
       
  where parseLine line =

     

       
6
       
+
       
          let w = words line

     

       
7
       
+
       
              (size,counts) = (head w, map read $ tail w)

     

       
8
       
+
       
              cols = read $ take 2 size

     

       
9
       
+
       
              rows = read $ take 2 $ drop 3 size

     

       
10
       
+
       
           in (cols, rows, counts)

     

       
11
       
+
       


     

       
12
       
 
       
part1 :: String -> String

     

       
13
       
+
       
part1 input =

     

       
14
       
+
       
  let regions = parse input

     

       
15
       
+
       
      slack (cols, rows, counts) = cols * rows - 7 * (counts !! 0) - 7 * (counts !! 1) - 7 * (counts !! 2) - 5 * (counts !! 3) - 7 * (counts !! 4) - 6 * (counts !! 5)

     

       
16
       
+
       
   in show $ length $ filter (> 0) $ map slack regions

     

       
17
       
 
       


     

       
18
       
 
       
part2 :: String -> String

     

       
19
       
+
       
part2 _ = "You win!"