{"header":{"message":"Add solution for 2010 day 16","description":null,"timestamp":"2021-06-24T02:37:34.236568Z","authors":[{"email":"quick.dudley@gmail.com","full_name":"Jeremy List","name":"quickdudley"}]},"hash":"RF5UJPAID7B3EYSZBOYQW6D7OXRX6OAL5V3H2IQIWNXS4ZDVBBUAC","authors":[],"deps":{"hashes":[["RF5UJPAID7B3EYSZBOYQW6D7OXRX6OAL5V3H2IQIWNXS4ZDVBBUAC","Add solution for 2010 day 16"],["AA",null],["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC","Solve day 1 for 2020"]],"deps":["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"day16.hs","metadata":0},"context":[{"change":2,"pos":17}],"contents":[{"Add":"{-# LANGUAGE MultiWayIf #-}"},{"Add":"import Codec.Phaser"},{"Add":"import Codec.Phaser.Common"},{"Add":"import Codec.Phaser.Core (eof)"},{"Add":"import Codec.Phaser.UTF8"},{"Add":"import Control.Applicative"},{"Add":"import Data.Char"},{"Add":"import Data.Functor.Compose"},{"Add":"import Data.Foldable"},{"Add":"import Data.List"},{"Add":"import qualified Data.Map as M"},{"Add":"import qualified Data.Sequence as S"},{"Add":"import System.Environment"},{"Add":""},{"Add":"newtype Predicate a = Predicate { getPredicate :: a -> Bool }"},{"Add":""},{"Add":"instance Semigroup (Predicate a) where"},{"Add":" Predicate a <> Predicate b = Predicate (\\x -> a x || b x)"},{"Add":""},{"Add":"instance Monoid (Predicate a) where"},{"Add":" mempty = Predicate (const False)"},{"Add":""},{"Add":"validity :: Monoid p => Phase p Char o (M.Map String (Integer -> Bool))"},{"Add":"validity = mconcat <$> sepBy (M.singleton <$>"},{"Add":" munch (/= ':') <*>"},{"Add":" (char ':' *> munch isSpace *> (getPredicate . foldMap Predicate <$> sepBy"},{"Add":" ((\\a b t -> t >= a && t <= b) <$> positiveIntegerDecimal <*>"},{"Add":" (char '-' *> positiveIntegerDecimal)"},{"Add":" )"},{"Add":" (munch isSpace *> string \"or\" *> munch isSpace)"},{"Add":" ))"},{"Add":" ) (char '\\n')"},{"Add":""},{"Add":"ticket :: Monoid p => Phase p Char o (S.Seq Integer)"},{"Add":"ticket = S.fromList <$> sepBy positiveIntegerDecimal (char ',')"},{"Add":""},{"Add":"data Input = Input {"},{"Add":" ranges :: M.Map String (Integer -> Bool),"},{"Add":" myTicket :: S.Seq Integer,"},{"Add":" nearbyTickets :: [S.Seq Integer]"},{"Add":" }"},{"Add":""},{"Add":"input :: Monoid p => Phase p Char o Input"},{"Add":"input = Input <$>"},{"Add":" validity <*>"},{"Add":" (munch isSpace *> string \"your ticket:\" *> munch isSpace *> ticket) <*>"},{"Add":" (munch isSpace *> string \"nearby tickets:\" *> munch isSpace *> sepBy ticket (char '\\n') <* (() <$ char '\\n' <|> eof))"},{"Add":""},{"Add":"errorRate :: Input -> Integer"},{"Add":"errorRate s = let"},{"Add":" t = not . getPredicate (foldMap Predicate $ ranges s)"},{"Add":" in sum $ Compose $ map (S.filter t) $ nearbyTickets s"},{"Add":""},{"Add":"onlyValid :: Input -> Input"},{"Add":"onlyValid s = let"},{"Add":" t = getPredicate (foldMap Predicate $ ranges s)"},{"Add":" in s {"},{"Add":" nearbyTickets = filter ((&&) <$> (not . S.null) <*> all t) $ nearbyTickets s"},{"Add":" }"},{"Add":""},{"Add":"columns :: Input -> [M.Map String Int]"},{"Add":"columns s = let"},{"Add":" unknown = M.keys (ranges s) <$ myTicket s"},{"Add":" reduced = foldl' (S.zipWith $ \\c v ->"},{"Add":" filter (\\c' -> case M.lookup c' (ranges s) of"},{"Add":" Nothing -> False"},{"Add":" Just f -> f v"},{"Add":" ) c"},{"Add":" ) unknown $ nearbyTickets s"},{"Add":" solve :: S.Seq [String] -> [S.Seq [String]]"},{"Add":" solve s = let"},{"Add":" known = do"},{"Add":" [c] <- foldMap (:[]) s "},{"Add":" return c"},{"Add":" in if"},{"Add":" | known /= nub known -> []"},{"Add":" | length known == S.length s -> [s]"},{"Add":" | otherwise -> let"},{"Add":" s1 :: S.Seq [String]"},{"Add":" s1 = fmap (\\c -> case c of"},{"Add":" [_] -> c"},{"Add":" _ -> filter (not . flip elem known) c"},{"Add":" ) s"},{"Add":" in if s1 == s"},{"Add":" then let"},{"Add":" narrowest = foldr (\\c r n -> case c of"},{"Add":" [_] -> r (n + 1)"},{"Add":" _ -> case r (n + 1) of"},{"Add":" Just (n', c')"},{"Add":" | length c' < length c -> Just (n', c')"},{"Add":" _ -> Just (n, c)"},{"Add":" ) (const Nothing) s1 0"},{"Add":" in case narrowest of"},{"Add":" Nothing -> solve s1"},{"Add":" Just (i, c) -> c >>= \\c' -> solve $ S.update i [c'] s1"},{"Add":" else solve s1"},{"Add":" in map (fold . S.mapWithIndex (\\i [c] -> M.singleton c i)) $ solve reduced"},{"Add":""},{"Add":"departureFields :: M.Map String Int -> S.Seq Integer -> M.Map String Integer"},{"Add":"departureFields cols tk = M.fromList $ do"},{"Add":" (k,i) <- M.toList cols"},{"Add":" if \"departure\" `isPrefixOf` k"},{"Add":" then [()]"},{"Add":" else []"},{"Add":" Just v <- [S.lookup i tk]"},{"Add":" return (k,v)"},{"Add":""},{"Add":"main = do"},{"Add":" [fn] <- getArgs"},{"Add":" parseResult <- parseFile (utf8_stream >># trackPosition >># input) fn"},{"Add":" case parseResult of"},{"Add":" Right (s:_) -> do"},{"Add":" putStrLn $ \"Part 1: \" ++ show (errorRate s)"},{"Add":" let"},{"Add":" s1 = onlyValid s"},{"Add":" cols = head $ columns s1"},{"Add":" putStrLn $ \"Part 2: \" ++ show (product $ departureFields cols $ myTicket s1)"},{"Add":" Left e -> print e"},{"Add":""}]}}],"owner":"quickdudley","repo":"adventofcode","token":"uFKHBEUMJQtUfxHTVpXshw4KTGAuSV2vD3+lVI6SVXk=","login":null}

…

Dependencies

Change contents