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

Refactor to use Megaparsec

Browse Source
This commit is contained in:
George Thomas 2025-12-02 09:08:43 +00:00
parent b1bd83f089
commit a72342fb11
1 changed files with 7 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
app/Main.hs
View File

@ -7,9 +7,12 @@ import Data.Functor
import Data.Text (Text) import Data.Text (Text)
import Data.Text qualified as T import Data.Text qualified as T
import Data.Text.Encoding (encodeUtf8) import Data.Text.Encoding (encodeUtf8)
import Data.Void
import Test.Tasty import Test.Tasty
import Test.Tasty.Golden (goldenVsString) import Test.Tasty.Golden (goldenVsString)
import Text.Read (readMaybe) import Text.Megaparsec hiding (Pos)
import Text.Megaparsec.Char
import Text.Megaparsec.Char.Lexer qualified as Lex
main :: IO () main :: IO ()
main = main =
@ -30,11 +33,11 @@ puzzleTest p =
BL.fromStrict . encodeUtf8 . pp.solve <$> input BL.fromStrict . encodeUtf8 . pp.solve <$> input
where where
pt = show p.number pt = show p.number
parseFile fp = maybe (fail "parse failure") pure . p.parse =<< readFile fp parseFile fp = maybe (fail "parse failure") pure . parseMaybe (p.parser <* eof) =<< readFile fp
data Puzzle input = Puzzle data Puzzle input = Puzzle
{ number :: Word { number :: Word
, parse :: String -> Maybe input , parser :: Parsec Void String input
, part1 :: Part input , part1 :: Part input
, part2 :: Part input , part2 :: Part input
} }
@ -47,14 +50,7 @@ puzzle1 :: Puzzle [(Direction, Inc)]
puzzle1 = puzzle1 =
Puzzle Puzzle
{ number = 1 { number = 1
, parse = , parser = flip sepEndBy newline $ (,) <$> ((char 'L' $> L) <|> (char 'R' $> R)) <*> (Inc <$> Lex.decimal)
traverse
( \case
'L' : (readMaybe -> Just i) -> Just (L, Inc i)
'R' : (readMaybe -> Just i) -> Just (R, Inc i)
_ -> Nothing
)
. lines
, part1 = , part1 =
Part Part
{ solve = { solve =