Compare commits
No commits in common. "d64c5a83d3f3d1be2d7ffa69e89118b5b91d274e" and "3afb01ca7807be22526932276a29992de74f2e22" have entirely different histories.
d64c5a83d3
...
3afb01ca78
107
02/Main.idr
107
02/Main.idr
|
@ -1,107 +0,0 @@
|
|||
import Data.String
|
||||
import System.File.ReadWrite
|
||||
|
||||
data Result = Win | Loss | Draw
|
||||
|
||||
-- Score value of a result for us
|
||||
scoreResult : Result -> Int
|
||||
scoreResult Win = 6
|
||||
scoreResult Loss = 0
|
||||
scoreResult Draw = 3
|
||||
|
||||
-- Parse a result from a string
|
||||
parseResult : String -> Maybe Result
|
||||
parseResult "X" = Just Loss
|
||||
parseResult "Y" = Just Draw
|
||||
parseResult "Z" = Just Win
|
||||
parseResult x = Nothing
|
||||
|
||||
data Move = Rock | Paper | Scissors
|
||||
|
||||
-- Determine the Result for a pair of moves
|
||||
-- First argument is their move, second argument is our move
|
||||
eval : Move -> Move -> Result
|
||||
eval Rock Rock = Draw
|
||||
eval Rock Paper = Win
|
||||
eval Rock Scissors = Loss
|
||||
eval Paper Rock = Loss
|
||||
eval Paper Paper = Draw
|
||||
eval Paper Scissors = Win
|
||||
eval Scissors Rock = Win
|
||||
eval Scissors Paper = Loss
|
||||
eval Scissors Scissors = Draw
|
||||
|
||||
-- Score for an individual move
|
||||
scoreMove : Move -> Int
|
||||
scoreMove Rock = 1
|
||||
scoreMove Paper = 2
|
||||
scoreMove Scissors = 3
|
||||
|
||||
-- Parse a move from a string
|
||||
parseMove : String -> Maybe Move
|
||||
parseMove "A" = Just Rock
|
||||
parseMove "B" = Just Paper
|
||||
parseMove "C" = Just Scissors
|
||||
parseMove "X" = Just Rock
|
||||
parseMove "Y" = Just Paper
|
||||
parseMove "Z" = Just Scissors
|
||||
parseMove x = Nothing
|
||||
|
||||
-- Get the move that gives the desired result
|
||||
getResult : Move -> Result -> Move
|
||||
getResult Rock Win = Paper
|
||||
getResult Rock Loss = Scissors
|
||||
getResult Rock Draw = Rock
|
||||
getResult Paper Win = Scissors
|
||||
getResult Paper Loss = Rock
|
||||
getResult Paper Draw = Paper
|
||||
getResult Scissors Win = Rock
|
||||
getResult Scissors Loss = Paper
|
||||
getResult Scissors Draw = Scissors
|
||||
|
||||
data Round = R Move Move
|
||||
|
||||
-- Score a round
|
||||
scoreRound : Round -> Int
|
||||
scoreRound (R a b) = scoreMove b + scoreResult (eval a b)
|
||||
|
||||
-- Parse a round from a string
|
||||
parseRound : String -> Maybe Round
|
||||
parseRound input =
|
||||
let inputWords = words input
|
||||
in case inputWords of
|
||||
[a, b] =>
|
||||
do theirs <- parseMove a
|
||||
ours <- parseMove b
|
||||
Just (R theirs ours)
|
||||
x => Nothing
|
||||
|
||||
data Strategy = S Move Result
|
||||
|
||||
-- Create the round that results from this strategy
|
||||
getRound : Strategy -> Round
|
||||
getRound (S a b) = R a (getResult a b)
|
||||
|
||||
-- Parse a strategy from a string
|
||||
parseStrategy : String -> Maybe Strategy
|
||||
parseStrategy input =
|
||||
let inputWords = words input
|
||||
in case inputWords of
|
||||
[a, b] =>
|
||||
do theirs <- parseMove a
|
||||
ours <- parseResult b
|
||||
Just (S theirs ours)
|
||||
x => Nothing
|
||||
|
||||
main: IO ()
|
||||
main =
|
||||
do file <- readFile "input"
|
||||
case file of
|
||||
Right content =>
|
||||
let rounds = catMaybes . map parseRound . lines $ content
|
||||
strats = catMaybes . map parseStrategy . lines $ content
|
||||
in do putStr "Part 1: "
|
||||
printLn $ foldl (+) 0 (map scoreRound rounds)
|
||||
putStr "Part 2: "
|
||||
printLn $ foldl (+) 0 (map scoreRound . map getRound $ strats)
|
||||
Left err => printLn err
|
Loading…
Reference in New Issue