{"header":{"message":"Add day 2 solution","description":null,"timestamp":"2020-12-14T22:52:55Z","authors":[{"email":"jeremy.list@youdo.co.nz","name":"Jeremy List"}]},"hash":"EF5QJNSQEJWTSTVHBZRDIAXHN5IK2RXV2OEUWYORDJXMI7RSLXOAC","authors":[],"deps":{"hashes":[["EF5QJNSQEJWTSTVHBZRDIAXHN5IK2RXV2OEUWYORDJXMI7RSLXOAC","Add day 2 solution"],["AA",null],["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC","Solve day 1 for 2020"]],"deps":["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"day2.hs","metadata":0},"context":[{"change":2,"pos":17}],"contents":[{"Add":"{-# LANGUAGE RankNTypes #-}"},{"Add":"import Control.Applicative"},{"Add":"import Control.Monad"},{"Add":"import Control.Monad.Fail"},{"Add":"import Data.Char"},{"Add":"import System.Environment"},{"Add":"import System.IO"},{"Add":""},{"Add":"data C a = R a | F | C (Char -> C a) | B (C a) (C a)"},{"Add":"newtype P a = P { getP :: forall b . (a -> C b) -> C b }"},{"Add":""},{"Add":"instance Functor P where"},{"Add":" fmap f (P c) = P (c . (. f))"},{"Add":""},{"Add":"instance Applicative P where"},{"Add":" pure a = P ($ a)"},{"Add":" P f <*> P a = P (f . (a . ) . (.))"},{"Add":" P a *> P b = P (a . const . b)"},{"Add":" P a <* P b = P (a . ((b . const) .))"},{"Add":""},{"Add":"instance Monad P where"},{"Add":" P a >>= f = P (a . flip (getP . f))"},{"Add":""},{"Add":"instance MonadFail P where"},{"Add":" fail _ = empty"},{"Add":""},{"Add":"instance Alternative P where"},{"Add":" empty = P (const F)"},{"Add":" P a <|> P b = P (\\c -> reduce $ B (a c) (b c))"},{"Add":""},{"Add":"instance MonadPlus P where"},{"Add":" mzero = empty"},{"Add":" mplus = (<|>)"},{"Add":""},{"Add":"reduce (B F b) = b"},{"Add":"reduce (B a F) = a"},{"Add":"reduce (B (C a) (C b)) = C (\\i -> reduce $ B (a i) (b i))"},{"Add":"reduce c = c"},{"Add":""},{"Add":"runP :: P a -> String -> [a]"},{"Add":"runP p i = extract $ go (getP p R) i where"},{"Add":" extract (R r) = [r]"},{"Add":" extract (B a b) = extract a ++ extract b"},{"Add":" extract _ = []"},{"Add":" go p [] = p"},{"Add":" go F _ = F"},{"Add":" go p (a:r) = go (step p a) r"},{"Add":""},{"Add":"step :: C a -> Char -> C a"},{"Add":"step (C p) a = p a"},{"Add":"step (B a b) i = reduce (B (step a i) (step b i))"},{"Add":"step _ _ = F"},{"Add":""},{"Add":"getC :: P Char"},{"Add":"getC = P C"},{"Add":""},{"Add":"peek :: P Char"},{"Add":"peek = P (\\c -> C (\\i -> step (c i) i))"},{"Add":""},{"Add":"replace :: Char -> P ()"},{"Add":"replace i = P (\\c -> step (c ()) i)"},{"Add":""},{"Add":"eos :: P ()"},{"Add":"eos = P (\\c -> strip (c ())) where"},{"Add":" strip r@(R _) = r"},{"Add":" strip F = F"},{"Add":" strip (C p) = F"},{"Add":" strip (B a b) = reduce (B (strip a) (strip b))"},{"Add":""},{"Add":"satisfy :: (Char -> Bool) -> P Char"},{"Add":"satisfy p = getC >>= \\c -> if p c"},{"Add":" then return c"},{"Add":" else empty"},{"Add":""},{"Add":"munch :: (Char -> Bool) -> P String"},{"Add":"munch p = go id where"},{"Add":" go acc = let"},{"Add":" r = acc []"},{"Add":" in (getC >>= \\c -> if p c"},{"Add":" then go (acc . (c:))"},{"Add":" else r <$ replace c"},{"Add":" ) <|> (r <$ eos)"},{"Add":""},{"Add":"char :: Char -> P Char"},{"Add":"char c = satisfy (== c)"},{"Add":""},{"Add":"number :: (Num n) => P n"},{"Add":"number = go 0 where"},{"Add":" go t = do"},{"Add":" d <- (fromIntegral . digitToInt) <$> satisfy isDigit"},{"Add":" let t' = t * 10 + d"},{"Add":" go t' <|> return (fromInteger t')"},{"Add":""},{"Add":"countWithSep :: P Bool -> P s -> P Integer"},{"Add":"countWithSep i s = let"},{"Add":" go n = n `seq` i >>= \\i' -> let"},{"Add":" n' = if i' then n + 1 else n"},{"Add":" in (s *> go n') <|> return n'"},{"Add":" in go 0 <|> return 0"},{"Add":""},{"Add":"range :: P (Integer,Integer)"},{"Add":"range = (,) <$> number <*> (char '-' *> number)"},{"Add":""},{"Add":"line :: Int -> P Bool"},{"Add":"line v = do"},{"Add":" ~(lo,hi) <- range"},{"Add":" munch isSpace"},{"Add":" c <- getC"},{"Add":" char ':'"},{"Add":" munch isSpace"},{"Add":" case v of"},{"Add":" 1 -> fmap ((&&) <$> (>= lo) <*> (<= hi)) $"},{"Add":" countWithSep (fmap (==c) $ satisfy (not . isSpace)) (return ())"},{"Add":" 2 -> (==1) <$> cpp c 0 [lo,hi] 1"},{"Add":" where"},{"Add":" cpp _ n [] _ = n <$ munch (not . isSpace)"},{"Add":" cpp x n l@(c:r) p"},{"Add":" | c == p = getC >>= \\x' -> let"},{"Add":" n' = if x' == x"},{"Add":" then n + 1"},{"Add":" else n"},{"Add":" in cpp x n' r (p + 1)"},{"Add":" | otherwise = getC *> cpp x n l (p + 1)"},{"Add":""},{"Add":"problemFile :: Int -> P Integer"},{"Add":"problemFile v = countWithSep (line v) (char '\\n') <* (return () <|> (() <$ char '\\n'))"},{"Add":""},{"Add":"example :: String"},{"Add":"example = \"1-3 a: abcde\\n1-3 b: cdefg\\n2-9 c: ccccccccc\""},{"Add":""},{"Add":"main = do"},{"Add":" ~[fn,v] <- getArgs"},{"Add":" f <- readFile fn"},{"Add":" let (r:_) = runP (problemFile $ read v) f"},{"Add":" print r"},{"Add":""}]}}],"owner":"quickdudley","repo":"adventofcode","token":"LwuO1g/40GNTXVOKXnj152Ay6TqNtLX4oM5wgt/zqnE=","login":null}

…

Dependencies

Change contents