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

Format

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

54
haskell/Main.hs
View File

@ -34,30 +34,30 @@ main =
, Day10.puzzle , Day10.puzzle
] ]
\Puzzle{number = show -> pt, parser, parts, extraTests} -> \Puzzle{number = show -> pt, parser, parts, extraTests} ->
TestTree TestTree
(mkTestName pt) (mkTestName pt)
( \() -> do ( \() -> do
let fp = "../inputs/" <> t <> "/" <> pt let fp = "../inputs/" <> t <> "/" <> pt
input <- input <-
either (fail . ("parse failure: " <>) . errorBundlePretty) pure either (fail . ("parse failure: " <>) . errorBundlePretty) pure
. runParser (parser isRealData <* eof) fp . runParser (parser isRealData <* eof) fp
=<< T.readFile 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
in 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) ->
TestTree TestTree
(mkTestName nt) (mkTestName nt)
( \(_, rs, _) -> do ( \(_, rs, _) -> do
golden ("../outputs/" <> t <> "/" <> pt <> "/" <> nt) $ (rs !! n) <> "\n" golden ("../outputs/" <> t <> "/" <> pt <> "/" <> nt) $ (rs !! n) <> "\n"
) )
[] []
) )
<> [ TestTree <> [ TestTree
"extra" "extra"
(\(input, _, os) -> pure (input, os)) (\(input, _, os) -> pure (input, os))
$ extraTests isRealData ("../outputs/" <> t <> "/" <> pt <> "/extra/") $ extraTests isRealData ("../outputs/" <> t <> "/" <> pt <> "/extra/")
] ]