X-Git-Url: https://git.njae.me.uk/?a=blobdiff_plain;f=advent15l.hs;fp=advent15l.hs;h=0000000000000000000000000000000000000000;hb=7267c0fa74db510564dc59587dd076372640114f;hp=f04ab9c85103337c12aa3bab83c98f7dac9878d8;hpb=b66f0f79e01057fcb153ac16ce13ff50943a6d02;p=advent-of-code-16.git diff --git a/advent15l.hs b/advent15l.hs deleted file mode 100644 index f04ab9c..0000000 --- a/advent15l.hs +++ /dev/null @@ -1,37 +0,0 @@ -import Text.Parsec -import Text.ParserCombinators.Parsec.Number - -main :: IO () -main = do - text <- readFile "advent15.txt" - let disks = successfulParse $ parseIfile text - part1 disks - part2 disks - -part1 :: [[Int]] -> IO () -part1 disks = print $ head $ filter (canFall disks) [0..] - -part2 :: [[Int]] -> IO () -part2 disks = print $ head $ filter (canFall disks2) [0..] - where disks2 = disks ++ [drop 7 $ drop 0 $ cycle [0..(11-1)]] - -canFall :: [[Int]] -> Int -> Bool -canFall ds i = all (\d -> (d!!i) == 0) ds - - -instructionFile = instructionLine `endBy` newline -instructionLine = diskify <$> (string "Disc #" *> int) - <*> (string " has " *> int) - <*> (string " positions; at time=0, it is at position " *> int) - <* (string ".") - where diskify n size pos0 = drop n $ drop pos0 $ cycle [0..(size-1)] - -parseIfile :: String -> Either ParseError [[Int]] -parseIfile input = parse instructionFile "(unknown)" input - -parseIline :: String -> Either ParseError [Int] -parseIline input = parse instructionLine "(unknown)" input - -successfulParse :: Either ParseError [a] -> [a] -successfulParse (Left _) = [] -successfulParse (Right a) = a