patrickaldis/garnet
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Minor refactor

Browse Source
This commit is contained in:
George Thomas 2026-01-05 15:04:47 +00:00
parent c3e69cde09
commit 0dfb8ae7bf
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
haskell/Main.hs
View File

@ -20,7 +20,7 @@ import Text.Pretty.Simple (pPrintForceColor)
main :: IO () main :: IO ()
main = main =
(pPrintForceColor =<<) $ runTests () $ TestTree "tests" pure $ flip map enumerate \isRealData@(bool "examples" "real" -> t) -> (pPrintForceColor =<<) $ runTests () $ TestTree "tests" pure $ flip map enumerate \isRealData@(bool "examples" "real" -> t) ->
TestTree (mkTestName t) (\() -> pure ()) $ flip TestTree (mkTestName t) pure $ flip
map map
[ Day1.puzzle [ Day1.puzzle
, Day2.puzzle , Day2.puzzle
@ -33,22 +33,19 @@ main =
, Day9.puzzle , Day9.puzzle
, Day10.puzzle , Day10.puzzle
] ]
\Puzzle{number, parser, parts, extraTests} -> \Puzzle{number = show -> pt, parser, parts, extraTests} ->
let
pt = show number
parseFile fp =
either (fail . ("parse failure: " <>) . errorBundlePretty) pure
. runParser (parser isRealData <* eof) fp
=<< T.readFile fp
in
TestTree TestTree
(mkTestName pt) (mkTestName pt)
( \() -> do ( \() -> do
input <- liftIO $ parseFile $ "../inputs/" <> t <> "/" <> pt let fp = "../inputs/" <> t <> "/" <> pt
input <-
either (fail . ("parse failure: " <>) . errorBundlePretty) pure
. runParser (parser isRealData <* eof) fp
=<< T.readFile fp
let (rs, os) = let (rs, os) =
(foldHListF0 ((:) . fst) [] &&& foldHListF (HCons . snd) HNil) $ (foldHListF0 ((:) . fst) [] &&& foldHListF (HCons . snd) HNil) $
mapHListF (\(Fanout (f, Op o)) -> (o &&& id) $ f input) parts mapHListF (\(Fanout (f, Op o)) -> (o &&& id) $ f input) parts
pure (input, rs, os) in pure (input, rs, os)
) )
$ ( flip map ([0 :: Int .. hlistfLength parts - 1]) $ $ ( flip map ([0 :: Int .. hlistfLength parts - 1]) $
\n@(show . succ -> nt) -> \n@(show . succ -> nt) ->