{"header":{"message":"Solution for day 17","description":null,"timestamp":"2021-01-15T00:18:01Z","authors":[{"email":"jeremy.list@youdo.co.nz","name":"Jeremy List"}]},"hash":"KLD6ACAIOYE6WNAEJHASR2MZU4MNIIKM6US56AMASLGGOSD6DEAAC","authors":[],"deps":{"hashes":[["KLD6ACAIOYE6WNAEJHASR2MZU4MNIIKM6US56AMASLGGOSD6DEAAC","Solution for day 17"],["AA",null],["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC","Solve day 1 for 2020"]],"deps":["B527MN663VOX7PY6BCLAAU62WDPTI4JTVLNUP2UR74S4KJYKT4HQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"day17.hs","metadata":0},"context":[{"change":2,"pos":17}],"contents":[{"Add":"{-# LANGUAGE LambdaCase, FlexibleInstances, GADTs, ScopedTypeVariables, TypeApplications #-}"},{"Add":"import Control.Monad"},{"Add":"import Data.Bits"},{"Add":"import Data.Monoid (Endo(..))"},{"Add":"import Data.Align"},{"Add":"import Data.These"},{"Add":"import Data.Hashable"},{"Add":"import qualified Data.HashMap.Lazy as M"},{"Add":"import qualified Data.HashSet as S"},{"Add":"import Data.Proxy"},{"Add":"import System.Environment"},{"Add":""},{"Add":"data SomeGridType where"},{"Add":" SomeGridType :: (Grid a, Neighbourhood a, Eq a, Hashable a) =>"},{"Add":" Proxy a -> SomeGridType"},{"Add":""},{"Add":"step :: (Neighbourhood p, Hashable p, Eq p) => S.HashSet p -> S.HashSet p"},{"Add":"step s0 = M.keysSet $"},{"Add":" M.filter id $"},{"Add":" alignWith (\\case"},{"Add":" This () -> False"},{"Add":" That n -> n == 3"},{"Add":" These () n -> n == 2 || n == 3"},{"Add":" ) (S.toMap s0) $"},{"Add":" M.fromListWith (+) $"},{"Add":" fmap (flip (,) 1) $"},{"Add":" S.toList s0 >>= neighbours"},{"Add":""},{"Add":"class Neighbourhood a where"},{"Add":" neighbours :: a -> [a]"},{"Add":""},{"Add":"instance Neighbourhood (Integer,Integer,Integer) where"},{"Add":" neighbours = flip map offsets . offset where"},{"Add":" offset ~(x1,y1,z1) ~(x2,y2,z2) = (x1 + x2, y1 + y2, z1 + z2)"},{"Add":" offsets = filter (/= (0,0,0)) $ (,,) <$>"},{"Add":" [-1 .. 1] <*>"},{"Add":" [-1 .. 1] <*>"},{"Add":" [-1 .. 1]"},{"Add":""},{"Add":"instance Neighbourhood (Integer,Integer,Integer,Integer) where"},{"Add":" neighbours = flip map offsets . offset where"},{"Add":" offset ~(x1,y1,z1,w1) ~(x2,y2,z2,w2) = (x1 + x2, y1 + y2, z1 + z2, w1 + w2)"},{"Add":" offsets = filter (/= (0,0,0,0)) $ (,,,) <$>"},{"Add":" [-1 .. 1] <*>"},{"Add":" [-1 .. 1] <*>"},{"Add":" [-1 .. 1] <*>"},{"Add":" [-1 .. 1]"},{"Add":""},{"Add":"class Grid a where"},{"Add":" onRootPlane :: (Integer,Integer) -> a"},{"Add":""},{"Add":"instance Grid (Integer,Integer,Integer) where"},{"Add":" onRootPlane ~(x,y) = (x,y,0)"},{"Add":""},{"Add":"instance Grid (Integer,Integer,Integer,Integer) where"},{"Add":" onRootPlane ~(x,y) = (x,y,0,0)"},{"Add":""},{"Add":"raise :: Monoid a => Int -> a -> a"},{"Add":"raise 0 _ = mempty"},{"Add":"raise 1 a = a"},{"Add":"raise n a = go1 1 a where"},{"Add":" go1 b x"},{"Add":" | b .&. n == 0 = go1 (shift b 1) (x <> x)"},{"Add":" | otherwise = go2 (shift b 1) (x <> x) x"},{"Add":" go2 b x s = let"},{"Add":" s' = if b .&. n == 0 then s else x <> s"},{"Add":" in if countLeadingZeros b == 0 || b >= n"},{"Add":" then s'"},{"Add":" else go2 (shift b 1) (x <> x) s'"},{"Add":""},{"Add":"runBoot :: (Neighbourhood p, Hashable p, Eq p) => S.HashSet p -> S.HashSet p"},{"Add":"runBoot = appEndo $ raise 6 $ Endo step"},{"Add":""},{"Add":"readConfig :: (Grid p, Hashable p, Eq p) => String -> S.HashSet p"},{"Add":"readConfig s = S.fromList $ do"},{"Add":" (l,y) <- zip (lines s) [0 ..]"},{"Add":" (c,x) <- zip l [0 ..]"},{"Add":" guard (c == '#')"},{"Add":" return $ onRootPlane (x,y)"},{"Add":""},{"Add":"main = do"},{"Add":" [d,fn] <- getArgs"},{"Add":" let"},{"Add":" gt = case d of"},{"Add":" \"3\" -> SomeGridType (Proxy @(Integer,Integer,Integer))"},{"Add":" \"4\" -> SomeGridType (Proxy @(Integer,Integer,Integer,Integer))"},{"Add":" case gt of"},{"Add":" SomeGridType (_ :: Proxy g) -> do"},{"Add":" c <- readConfig @g <$> readFile fn"},{"Add":" print $ S.size $ runBoot c"},{"Add":""}]}}],"owner":"quickdudley","repo":"adventofcode","token":"5/QBvK65PORmXbgIVCa8oX/qklmJ7l4uPEOAhjt2N3U=","login":null}

…

Dependencies

Change contents