day10 template

Author: mdr

Aoc2024/Day10/Examples.lean

@@ -0,0 +1,2 @@
+def exampleInput :=
+"..."

Aoc2024/Day10/Main.lean

@@ -0,0 +1,19 @@
+import Aoc2024.Day10.Solve
+import Aoc2024.CustomMonadLift
+
+def main : IO Unit := do
+  IO.println "Day 10"
+  IO.println ""
+  IO.println "Part 1"
+  let exampleInput <- IO.FS.readFile "Aoc2024/Day10/inputs/example.txt"
+  let puzzleInput <- IO.FS.readFile "Aoc2024/Day10/inputs/input.txt"
+  IO.println s!"Example: {<- parseAndSolvePart1 exampleInput}"
+  let answerPart1 <- parseAndSolvePart1 puzzleInput
+  IO.println s!"Puzzle: {answerPart1}"
+  assert! (answerPart1 == -1)
+  IO.println ""
+  IO.println "Part 2"
+  IO.println s!"Example: {<- parseAndSolvePart2 exampleInput}"
+  let answerPart2 <- parseAndSolvePart2 puzzleInput
+  IO.println s!"Puzzle: {answerPart2}"
+  assert! (answerPart2 == -1)

Aoc2024/Day10/Parser.lean

@@ -0,0 +1,12 @@
+import Aoc2024.Day10.Examples
+import Aoc2024.Day10.Types
+import Aoc2024.Utils
+import Std
+open Std.Internal.Parsec.String
+open Std.Internal.Parsec
+
+private def inputParser : Parser (List Int) := sorry
+
+def parseInput : String -> Except String (List Int) := inputParser.run
+
+-- #guard parseInput exampleInput == Except.ok 42

Aoc2024/Day10/Solve.lean

@@ -0,0 +1,20 @@
+import Aoc2024.Utils
+import Aoc2024.Day10.Examples
+import Aoc2024.Day10.Parser
+import Aoc2024.Day10.Types
+
+-- Part 1
+
+private def solvePart1 (input : List Int) : Int := sorry
+
+def parseAndSolvePart1 (s : String): Except String Int := parseInput s |>.map solvePart1
+
+-- #guard parseAndSolvePart1 exampleInput == Except.ok -1
+
+-- Part 2
+
+private def solvePart2 (input : List Int) : Int := sorry
+
+def parseAndSolvePart2 (s : String): Except String Int := parseInput s |>.map solvePart2
+
+-- #guard parseAndSolvePart2 exampleInput == Except.ok -1

Aoc2024/Day10/Types.lean

@@ -0,0 +1 @@
+import Aoc2024.Utils