feat(2025-05/haskell): solve Part One

Author: yurrriq

VERSION

@@ -1 +1 @@
-2025.4.2.1
+2025.5.1.0

package.yaml

@@ -617,6 +617,9 @@ executables:
     main: AdventOfCode.Year2025.Day04
     dependencies:
       - linear
+  aoc-2025-day05:
+    <<: *executable
+    main: AdventOfCode.Year2025.Day05
 _benchmark: &benchmark
   ghc-options:
     - -threaded

src/AdventOfCode/Year2025/Day05.hs

@@ -0,0 +1,52 @@
+{-# LANGUAGE BlockArguments #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module AdventOfCode.Year2025.Day05 where
+
+import AdventOfCode.Input (parseInputAoC, parseString)
+import AdventOfCode.Puzzle
+import AdventOfCode.TH (defaultMainPuzzle)
+import AdventOfCode.Util (count)
+import Data.Ix (inRange)
+import Relude
+import Text.Trifecta (Parser, char, decimal, newline, sepEndBy)
+
+database :: Parser ([(Integer, Integer)], [Integer])
+database = do
+  idRange <- some $ do
+    from <- decimal <* char '-'
+    to <- decimal <* newline
+    pure (from, to)
+  ingredients <- newline *> decimal `sepEndBy` newline
+  pure (idRange, ingredients)
+
+getExample :: IO ([(Integer, Integer)], [Integer])
+getExample = parseString database example
+
+example :: String
+example =
+  "3-5\n\
+  \10-14\n\
+  \16-20\n\
+  \12-18\n\
+  \\n\
+  \1\n\
+  \5\n\
+  \8\n\
+  \11\n\
+  \17\n\
+  \32"
+
+getInput :: IO ([(Integer, Integer)], [Integer])
+getInput = parseInputAoC 2025 5 database
+
+partOne :: SimplePuzzle ([(Integer, Integer)], [Integer]) Int
+partOne =
+  asks \(ranges, ingredients) ->
+    count (flip any ranges . flip inRange) ingredients
+
+partTwo :: SimplePuzzle ([(Integer, Integer)], [Integer]) ()
+partTwo = fail "not yet implemented"
+
+main :: IO ()
+main = $(defaultMainPuzzle)