diff options
author | Julien Dessaux | 2024-12-24 00:40:31 +0100 |
---|---|---|
committer | Julien Dessaux | 2024-12-24 00:40:31 +0100 |
commit | cc7e97348b2553b25928177b1ea158112b20171d (patch) | |
tree | dafcd442ef836aa9c360804b388cfedcdd0ba4af /2024/19-Linen_Layout/first.hs | |
parent | 2024-18 in haskell (diff) | |
download | advent-of-code-master.tar.gz advent-of-code-master.tar.bz2 advent-of-code-master.zip |
Diffstat (limited to '2024/19-Linen_Layout/first.hs')
-rw-r--r-- | 2024/19-Linen_Layout/first.hs | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/2024/19-Linen_Layout/first.hs b/2024/19-Linen_Layout/first.hs new file mode 100644 index 0000000..8ffe838 --- /dev/null +++ b/2024/19-Linen_Layout/first.hs @@ -0,0 +1,42 @@ +-- requires cabal install --lib megaparsec parser-combinators heap vector +module Main (main) where + +import Control.Monad (void, when) +import Data.Functor +import qualified Data.List as L +import Data.Maybe +import Data.Void (Void) +import Text.Megaparsec +import Text.Megaparsec.Char + +exampleExpectedOutput = 6 + +type Input = ([String], [String]) -- patterns, designs + +type Parser = Parsec Void String + +parseInput' :: Parser Input +parseInput' = (,) <$> some (some letterChar <* optional (string ", ")) <* eol <* eol + <*> some (some letterChar <* eol) <* eof + +parseInput :: String -> IO Input +parseInput filename = do + input <- readFile filename + case runParser parseInput' filename input of + Left bundle -> error $ errorBundlePretty bundle + Right input' -> return input' + +compute :: Input -> Int +compute (stripes, designs) = length . filter id $ map compute' designs + where + compute' :: String -> Bool + compute' [] = True + compute' design = or $ map compute' $ catMaybes $ map (\s -> L.stripPrefix s design) stripes + +main :: IO () +main = do + example <- parseInput "example" + let exampleOutput = compute example + when (exampleOutput /= exampleExpectedOutput) (error $ "example failed: got " ++ show exampleOutput ++ " instead of " ++ show exampleExpectedOutput) + input <- parseInput "input" + print $ compute input |