{"header":{"message":"Fix a few issues","description":"These changes are experimental and for learning purpose so they are a bit hard to explain.\nBut in hindsight the old algorithm didn't deal with cards moving between categories correctly.\nThis algorithm works according to ghci testing between two decklists.\n","timestamp":"2024-04-06T06:32:30.353550673Z","authors":[{}]},"hash":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC","authors":[{"login":"wgaffa","key":"Fh9V5Mu9d5zHhjimi3PXt2ZewZ6oA7hqNnt9bvGydN7N"}],"deps":{"hashes":[["M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC","Fix a few issues"],["AA",null],["2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC","HunkSYM move now takes the number of copies to move"],["3FF6XAALNQZ7AFOEBJ2WJ3ZYZTG73GWAGJPMZPJGXNUBYUK5XIPAC","Use Compose to generalize the totalFulfilled"],["XQBYALGEDBGQIHMEI4FFDGMQCMOPE4SJLBDROYF5YVMU7H5IKV6AC","Implement move for type R"],["NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC","Start the refactor to use ResourceQueue"],["2Z6NDCF6FFB7GMSSSNBDRBADERI4AQSANOVA76EECCRLUKUEECKQC","Implemented diff with new algorithm"],["SV5ID4TDECS35D2F4XYBVEFIIVOZYCHV6BTZBS7QYTOTJRDBGCIAC","Add implementation for the new api"],["DOPKLXQZP3TDISHODQNI6GZ57EYE42NG225WHSZMQ3L355YVYPNAC","Add missing files"]],"deps":["2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC","3FF6XAALNQZ7AFOEBJ2WJ3ZYZTG73GWAGJPMZPJGXNUBYUK5XIPAC"],"known":["DOPKLXQZP3TDISHODQNI6GZ57EYE42NG225WHSZMQ3L355YVYPNAC","SV5ID4TDECS35D2F4XYBVEFIIVOZYCHV6BTZBS7QYTOTJRDBGCIAC","XQBYALGEDBGQIHMEI4FFDGMQCMOPE4SJLBDROYF5YVMU7H5IKV6AC","2Z6NDCF6FFB7GMSSSNBDRBADERI4AQSANOVA76EECCRLUKUEECKQC","NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC"]},"hunks":[{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":101,"ins":{"up_context":[{"change":4,"pos":3164}],"down_context":[{"change":4,"pos":3370}],"flag":"BLOCK","start":0,"end":71,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3164},"to":{"change":4,"start":3164,"end":3370},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" go acc [] [] = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:21"}},{"Add":{"text":" requested <- ResourceQueue.takeRequested","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:70"}}],"del_contents":[{"Del":{"text":" go acc [] [] = pure acc -- TODO: The resourcequeue needs to be emptied and converted to card changes","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3268"}},{"Del":{"text":" go acc xs [] = do","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3290"}},{"Del":{"text":" changes <- forM xs $ \\x -> do","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3328"}},{"Del":{"text":" res <- fulfill (x ^. copies)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3369"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":104,"ins":{"up_context":[{"change":4,"pos":3371}],"down_context":[{"change":4,"pos":3734}],"flag":"BLOCK","start":72,"end":165,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3371},"to":{"change":3,"start":29,"end":103},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":103},"to":{"change":4,"start":3442,"end":3734},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3442},"to":{"change":4,"start":3442,"end":3734},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" changes <- forM requested $ \\x -> do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:116"}},{"Add":{"text":" res <- ResourceQueue.take (x ^. _2)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:164"}}],"del_contents":[{"Del":{"text":" let totalFulfilled = sum . fmap (toNumber @Int) $ Compose res","pos":"3FF6XAALNQZ7AFOEBJ2WJ3ZYZTG73GWAGJPMZPJGXNUBYUK5XIPAC:102"}},{"Del":{"text":" when (totalFulfilled < toNumber @Int (x ^. copies)) $","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3507"}},{"Del":{"text":" resource","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3532"}},{"Del":{"text":" (x ^. Category.name)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3573"}},{"Del":{"text":" ( PositiveNumber . unsafeRefine . fromIntegral $","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3642"}},{"Del":{"text":" toNumber @Int (x ^. copies) - totalFulfilled","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3711"}},{"Del":{"text":" )","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3733"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":107,"ins":{"up_context":[{"change":4,"pos":3735}],"down_context":[{"change":4,"pos":3805}],"flag":"BLOCK","start":166,"end":616,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3735},"to":{"change":4,"start":3735,"end":3805},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" let totalTaken = sum . fmap (toNumber @Int) $ Compose res","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:235"}},{"Add":{"text":" moves = map (uncurry (`Diff.move` (x ^. _1))) res","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:301"}},{"Add":{"text":" deltas =","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:326"}},{"Add":{"text":" if totalTaken < toNumber @Int (x ^. _2)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:386"}},{"Add":{"text":" then","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:415"}},{"Add":{"text":" let difference = toNumber @Int (x ^. _2) - totalTaken","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:497"}},{"Add":{"text":" in singleton $ Diff.deltaCopies difference (x ^. _1)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:579"}},{"Add":{"text":" else mempty","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:615"}}],"del_contents":[{"Del":{"text":" pure $ map (uncurry (Diff.move (x ^. Category.name))) res","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3804"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":116,"ins":{"up_context":[{"change":4,"pos":3806}],"down_context":[{"change":4,"pos":3856}],"flag":"BLOCK","start":617,"end":1113,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3806},"to":{"change":4,"start":3806,"end":3856},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" pure $ moves ++ deltas","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:651"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:652"}},{"Add":{"text":" available <- gets fst","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:682"}},{"Add":{"text":" let deltas = ","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:704"}},{"Add":{"text":" Map.foldrWithKey'","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:738"}},{"Add":{"text":" (\\k a xs -> Diff.deltaCopies (negate (toNumber @Int a)) k : xs)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:822"}},{"Add":{"text":" []","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:845"}},{"Add":{"text":" available","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:875"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:876"}},{"Add":{"text":" put (mempty, mempty)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:905"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:906"}},{"Add":{"text":" pure (acc ++ mconcat changes ++ deltas)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:954"}},{"Add":{"text":" go acc xs [] = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:976"}},{"Add":{"text":" changes <- forM xs $ \\x -> fulfillRequest (x ^. copies) (x ^. Category.name)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1061"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1062"}},{"Add":{"text":" go (acc ++ mconcat changes) mempty mempty","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1112"}}],"del_contents":[{"Del":{"text":" go (mconcat changes ++ acc) mempty mempty","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3855"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":133,"ins":{"up_context":[{"change":4,"pos":3878}],"down_context":[{"change":4,"pos":3946}],"flag":"BLOCK","start":1114,"end":1198,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3878},"to":{"change":4,"start":3878,"end":3946},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" changes <- forM ys $ \\y -> takeAvailable (y ^. copies) (y ^. Category.name)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1197"}}],"del_contents":[{"Del":{"text":" forM_ ys $ \\x -> do","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3905"}},{"Del":{"text":" uncurry request $ mkTuple x","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3945"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":135,"ins":{"up_context":[{"change":4,"pos":3947}],"down_context":[{"change":4,"pos":1029}],"flag":"BLOCK","start":1199,"end":1289,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":3947},"to":{"change":4,"start":3947,"end":3976},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3976},"to":{"change":4,"start":992,"end":1029},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":992},"to":{"change":4,"start":992,"end":1029},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" go (acc ++ mconcat changes) mempty mempty","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1248"}},{"Add":{"text":" go acc lx@(x : xs) ly@(y : ys) = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1288"}}],"del_contents":[{"Del":{"text":" go acc mempty mempty","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:3975"}},{"Del":{"text":" go acc lx@(x : xs) ly@(y : ys) =","pos":"2Z6NDCF6FFB7GMSSSNBDRBADERI4AQSANOVA76EECCRLUKUEECKQC:1028"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":138,"ins":{"up_context":[{"change":4,"pos":1083}],"down_context":[{"change":4,"pos":4153}],"flag":"BLOCK","start":1290,"end":1353,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1083},"to":{"change":4,"start":3977,"end":4153},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" LT -> uncurry resource (mkTuple x) >> go acc xs ly","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1352"}}],"del_contents":[{"Del":{"text":" LT -> uncurry resource (mkTuple x) >> go acc xs ly -- We need to add these to the available resources -- go (Diff.remove cardname (x ^. Category.name) : acc) xs ly","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4152"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":141,"ins":{"up_context":[{"change":4,"pos":4217}],"down_context":[{"change":4,"pos":4820}],"flag":"BLOCK","start":1354,"end":1679,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4217},"to":{"change":4,"start":4217,"end":4820},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" changes <- case compare delta 0 of","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1404"}},{"Add":{"text":" LT -> takeAvailable (PositiveNumber . unsafeRefine . fromIntegral . abs $ delta) (x ^. Category.name)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1526"}},{"Add":{"text":" EQ -> pure acc","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1561"}},{"Add":{"text":" GT -> fulfillRequest (PositiveNumber . unsafeRefine . fromIntegral $ delta) (x ^. Category.name)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1678"}}],"del_contents":[{"Del":{"text":" change 0 = acc","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4251"}},{"Del":{"text":" change n = Diff.deltaCopies n (x ^. Category.name) : acc","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4328"}},{"Del":{"text":" unless (delta == 0) $ do","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4369"}},{"Del":{"text":" if delta > 0","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4402"}},{"Del":{"text":" then","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4431"}},{"Del":{"text":" resource","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4468"}},{"Del":{"text":" (x ^. Category.name)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4521"}},{"Del":{"text":" (PositiveNumber . unsafeRefine . fromIntegral $ delta)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4608"}},{"Del":{"text":" else","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4637"}},{"Del":{"text":" request","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4673"}},{"Del":{"text":" (x ^. Category.name)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4726"}},{"Del":{"text":" (PositiveNumber . unsafeRefine . abs . fromIntegral $ delta)","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4819"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":146,"ins":{"up_context":[{"change":4,"pos":4821}],"down_context":[{"change":4,"pos":4924}],"flag":"BLOCK","start":1680,"end":1775,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4821},"to":{"change":4,"start":4821,"end":4924},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" go changes xs ys","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1712"}},{"Add":{"text":" GT -> uncurry request (mkTuple y) >> go acc lx ys","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1774"}}],"del_contents":[{"Del":{"text":" go (change delta) xs ys","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4860"}},{"Del":{"text":" GT -> uncurry resource (mkTuple x) >> go acc lx ys","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:4923"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":150,"ins":{"up_context":[{"change":4,"pos":1532}],"down_context":[{"change":4,"pos":1613}],"flag":"BLOCK","start":1776,"end":1862,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1532},"to":{"change":4,"start":4926,"end":5012},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" diffCopies x y = uncurry (-) $ (x ^. copies, y ^. copies) & both %~ toNumber @Int","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1861"}}],"del_contents":[{"Del":{"text":" diffCopies x y = uncurry (-) $ (y ^. copies, x ^. copies) & both %~ toNumber @Int","pos":"NOKOPRVXR4V57S3FQGD4JZEZWN4APFH2BNPKNX7B364I23NYD36AC:5011"}}]}},{"Edit":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":152,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":1646}],"down_context":[{"change":4,"pos":1646}],"flag":"BLOCK","start":1863,"end":2414,"inode":{"change":4,"pos":3955}}},"contents":[{"Add":{"text":" fulfillRequest count categoryname = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1905"}},{"Add":{"text":" requests <- ResourceQueue.fulfill count","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1953"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:1954"}},{"Add":{"text":" let totalTaken = sum . fmap (toNumber @Int) $ Compose requests","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2025"}},{"Add":{"text":" when (totalTaken < toNumber @Int count) $","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2075"}},{"Add":{"text":" resource","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2096"}},{"Add":{"text":" categoryname","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2125"}},{"Add":{"text":" ( PositiveNumber . unsafeRefine . fromIntegral $","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2190"}},{"Add":{"text":" toNumber @Int count - totalTaken","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2243"}},{"Add":{"text":" )","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2261"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2262"}},{"Add":{"text":" pure $ map (uncurry (Diff.move categoryname)) requests","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2325"}},{"Add":{"text":" takeAvailable count categoryname = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2367"}},{"Add":{"text":" available <- ResourceQueue.take count","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2413"}}]}},{"Edit":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":167,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":1647}],"down_context":[{"change":4,"pos":1647}],"flag":"BLOCK","start":2415,"end":2790,"inode":{"change":4,"pos":3955}}},"contents":[{"Add":{"text":" let totalTaken = sum . fmap (toNumber @Int) $ Compose available","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2486"}},{"Add":{"text":" when (totalTaken < toNumber @Int count) $","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2536"}},{"Add":{"text":" request","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2556"}},{"Add":{"text":" categoryname","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2585"}},{"Add":{"text":" ( PositiveNumber . unsafeRefine . fromIntegral $","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2650"}},{"Add":{"text":" toNumber @Int count - totalTaken","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2703"}},{"Add":{"text":" )","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2721"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2722"}},{"Add":{"text":" pure $ map (uncurry (`Diff.move` categoryname)) available","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2788"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2789"}}]}},{"Replacement":{"inode":{"change":4,"pos":3955},"path":"src/Diff.hs","line":192,"ins":{"up_context":[{"change":4,"pos":2043}],"down_context":[{"change":4,"pos":2087}],"flag":"BLOCK","start":2791,"end":2845,"inode":{"change":4,"pos":3955}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2043},"to":{"change":4,"start":2043,"end":2087},"introduced_by":4}],"inode":{"change":4,"pos":3955}},"ins_contents":[{"Add":{"text":" go (acc ++ singleton categoryDiffs) xs ys","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2844"}}],"del_contents":[{"Del":{"text":" go (acc ++ categoryDiffs) xs ys","pos":"2Z6NDCF6FFB7GMSSSNBDRBADERI4AQSANOVA76EECCRLUKUEECKQC:2086"}}]}},{"Replacement":{"inode":{"change":4,"pos":36},"path":"src/StateRep.hs","line":93,"ins":{"up_context":[{"change":2,"pos":232}],"down_context":[{"change":4,"pos":694}],"flag":"BLOCK","start":2846,"end":2901,"inode":{"change":4,"pos":36}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":232},"to":{"change":2,"start":232,"end":287},"introduced_by":2}],"inode":{"change":4,"pos":36}},"ins_contents":[{"Add":{"text":" copiesToMove = oldCopies <&> min numCopies","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2900"}}],"del_contents":[{"Del":{"text":" copiesToMove = oldCopies <&> max numCopies","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:286"}}]}},{"Replacement":{"inode":{"change":4,"pos":36},"path":"src/StateRep.hs","line":106,"ins":{"up_context":[{"change":2,"pos":459}],"down_context":[{"change":2,"pos":669}],"flag":"BLOCK","start":2902,"end":3136,"inode":{"change":4,"pos":36}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":459},"to":{"change":2,"start":459,"end":669},"introduced_by":2}],"inode":{"change":4,"pos":36}},"ins_contents":[{"Add":{"text":" in if l <= r","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2939"}},{"Add":{"text":" then Nothing","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:2984"}},{"Add":{"text":" else","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3021"}},{"Add":{"text":" Just $ y & copies .~ (PositiveNumber . unsafeRefine . fromIntegral $ (l - r))","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3135"}}],"del_contents":[{"Del":{"text":" in if (y ^. copies) <= numCopies","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:516"}},{"Del":{"text":" then Nothing","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:557"}},{"Del":{"text":" else Just $ y & copies .~ (PositiveNumber . unsafeRefine . fromIntegral $ (r - l))","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:668"}}]}},{"Replacement":{"inode":{"change":4,"pos":36},"path":"src/StateRep.hs","line":112,"ins":{"up_context":[{"change":2,"pos":724}],"down_context":[{"change":4,"pos":207}],"flag":"BLOCK","start":3137,"end":3284,"inode":{"change":4,"pos":36}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":724},"to":{"change":2,"start":724,"end":876},"introduced_by":2}],"inode":{"change":4,"pos":36}},"ins_contents":[{"Add":{"text":" in copiesToMove","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3161"}},{"Add":{"text":" <&> (\\x -> x & categories %~ updateOld)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3217"}},{"Add":{"text":" . (\\x -> card & categories .~ updateCopies x)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3283"}}],"del_contents":[{"Del":{"text":" (card ^. categories)","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:764"}},{"Del":{"text":" in copiesToMove <&> (\\x -> x & categories .~ updateOld) . (\\x -> card & categories .~ updateCopies x)","pos":"2P34LOESTKTXTUTLVASZEKZ3VEFVHBJDZJ3LLAOGKH3GECC76LCQC:875"}}]}},{"Edit":{"inode":{"change":4,"pos":41},"path":"src/ResourceQueue.hs","line":10,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":207}],"down_context":[{"change":4,"pos":207}],"flag":"BLOCK","start":3285,"end":3315,"inode":{"change":4,"pos":41}}},"contents":[{"Add":{"text":" flush,","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3295"}},{"Add":{"text":" takeRequested,","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3314"}}]}},{"Edit":{"inode":{"change":4,"pos":41},"path":"src/ResourceQueue.hs","line":29,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":500}],"down_context":[{"change":4,"pos":500}],"flag":"BLOCK","start":3316,"end":3466,"inode":{"change":4,"pos":41}}},"contents":[{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3316"}},{"Add":{"text":"flush ::","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3325"}},{"Add":{"text":" ResourceQueue","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3343"}},{"Add":{"text":" ([(CategoryName, PositiveNumber)], [(CategoryName, PositiveNumber)])","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3420"}},{"Add":{"text":"flush = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3431"}},{"Add":{"text":" (available, requested) <- get","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3465"}}]}},{"Edit":{"inode":{"change":4,"pos":41},"path":"src/ResourceQueue.hs","line":36,"atom":{"NewVertex":{"up_context":[{"change":4,"pos":501}],"down_context":[{"change":4,"pos":501}],"flag":"BLOCK","start":3467,"end":3744,"inode":{"change":4,"pos":41}}},"contents":[{"Add":{"text":" put (Map.empty, Map.empty)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3497"}},{"Add":{"text":" pure (Map.toAscList available, Map.toAscList requested)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3557"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3558"}},{"Add":{"text":"takeRequested :: ResourceQueue [(CategoryName, PositiveNumber)]","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3622"}},{"Add":{"text":"takeRequested = do","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3641"}},{"Add":{"text":" (available, requested) <- get","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3675"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3676"}},{"Add":{"text":" put (available, Map.empty)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3707"}},{"Add":{"text":" pure (Map.toAscList requested)","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3742"}},{"Add":{"text":"","pos":"M54PYKIOETT3UT4N6HHTAENU4D5HB7MNEFEXM5CX6PJ4FTQIRAAAC:3743"}}]}}],"owner":"wgaffa","repo":"deck-delta","token":"Ps1x2vZ3WsVyo1hOVgquxeUd4rxWBD/V/CajYbFMyuA=","login":null}

…

Dependencies

Change contents

Review