{"header":{"message":"Add property test for auction algorithm.","description":null,"timestamp":"2016-03-05T20:20:58Z","authors":[{"email":"kris.nuttycombe@gmail.com","name":"Kris Nuttycombe"}]},"hash":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC","authors":[],"deps":{"hashes":[["LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC","Add property test for auction algorithm."],["AA",null],["HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC","Add tests for auction winner determination algorithm."],["2XQD6KKKD6QVHFHAEMVE3XXY7X2T7BLTLL7XIILZAXNJJH2YONUQC","Add invitation logic and clean up DBProg error handling."],["IZEVQF627FA7VV25KJAWYWGGC35LZUUBBQRPN5ZAINTQLPEDRTEAC","Work in progress replacing sqlite with postgres."],["7HPY3QPFPN35PSPUBVNW2GTFB3CBQZBST4J2BAVJ7QMXLIUN52JAC","Fix linting errors. (yay hlint!)"],["TLQ72DSJD7GGPWN6HGBHAVPBRQFKEQ6KSK43U7JWWID4ZWAF47JAC","Lenses, sqlite-simple"],["QMRKFEPGFBCEWAIXPEIG5ILKAJ2JH5L3TOITHR4HNJXK5FN3KXBQC","Refactor QDB to use a free monad algebra instead."],["KEP5WUFJXTMKRRNZLYTGYYWA4VLFCMHTKTJYF5EA5IWBYFMU6WYQC","Convert project to stack-based build."],["NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC","Reformat via stylish-haskell"],["NMWWP4ZNOKHZKSJ6F5KYEREWXXR5F4UD35WOKI3EH42AZWVCTCJAC","Trying out Hspec"],["GLFF5ZDKWI7WKPZSAEE3IUM27LL6DFOPIL4VPODXYXV3BCSCJ6GQC","Factor winningBids for easier testing."],["LAROLAYUGJ4Q5AEFV5EJMIA2ZKBNCBWHHHPCJ3CKCNIUIYUKRFVQC","WIP"],["WJO37T74RYR5DRMSVNCXAQBOV42FQB63EG43XDZUU5TA354AIJRAC","Restored the single test to functionality."],["UUR6SMCAJMA7O3ZFUCQMPZFDDIPUVQ5IHUAC5F252YVD6H3JIKPQC","Add start of specs for auctions."],["5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC","Improving TimeLog specs"],["WO2MINIF4TXOHWSE7JWXRZYN64XRVLYIRFMF4SMPSOXKA2V77KMQC","Auctions now compile!"],["4SCFOJGNDAN4XZEAPWQQCBJ3CGZCJP3HUADRQLYZ2ITAKA7EJJTQC","Specs for recovering intervals from the log now pass."],["F2XLL7XWGUV4TJD4X2MJADYAQHCSB4HD2TPPEYVHEKHOQIOOFISAC","Remove Ord Bid & sort in favor of sortBy"],["75N3UJ4JK56KXF56GASGPAWLFYGJDETVJNYTF4KXFCQM767JUU5AC","More progression toward lenses."],["2KZPOGRBY6KBMO76F55ZKIVOLSG3O63VP3RHRZVANXYT3OLZ3OWQC","Once you get Haskell to compile, the tests pass!"],["ZP62WC472OTQETO2HTHIQIPO57XZIWVKPA4KL62GYU4OZDMB6NSAC","Begin conversion to build with stack."],["KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC","Cleanup of EventLog types."],["Y35QCWYW2OTZ27ZVTH2BA3XJTUCJ2WMLKU32ZCOCDY3AW7TIZXRAC","Minor improvement in WorkIndex type to eliminate duplicated information."],["7KZP4RHZ3QSYTPPQ257A65Z5UPX44TF2LAI2U5EMULQCLDCEUK2AC","Switch from Data.Time to Data.Thyme"],["EQXRXRZDYCM7BDAVBOXQYPG6C7IJT3OFGNIXCDAHJJBRKAXNGL7AC","Changed to use tasty instead of test-framework"],["SCXG6TJWYIPRUMT27KGKIIF6FYKTUTY74UNZ2FQTT63XZ6HIF3AAC","Make log reduction safer in presence of overlapping events."],["M4KM76DGO77VC4O6N5FFA5MTZH5GI5AJ3OUJU7INLAOY2M3LRLLAC","Merge branch 'stackify'"],["64C6AWH66FDKU6UE6Z6JPX2J2GBM2JOPTH2GL6LHKAIUBGNGDZ5AC","Rename Ananke -> Quixotic, project reboot."],["NVOCQVASZWTKQJG7GPH7KHKZZR7NUG4WLV5YY4KAIRPCJRWCZPIAC","Initial failing tests."]],"deps":["HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC"],"known":["EQXRXRZDYCM7BDAVBOXQYPG6C7IJT3OFGNIXCDAHJJBRKAXNGL7AC","2KZPOGRBY6KBMO76F55ZKIVOLSG3O63VP3RHRZVANXYT3OLZ3OWQC","Y35QCWYW2OTZ27ZVTH2BA3XJTUCJ2WMLKU32ZCOCDY3AW7TIZXRAC","NMWWP4ZNOKHZKSJ6F5KYEREWXXR5F4UD35WOKI3EH42AZWVCTCJAC","LAROLAYUGJ4Q5AEFV5EJMIA2ZKBNCBWHHHPCJ3CKCNIUIYUKRFVQC","WO2MINIF4TXOHWSE7JWXRZYN64XRVLYIRFMF4SMPSOXKA2V77KMQC","75N3UJ4JK56KXF56GASGPAWLFYGJDETVJNYTF4KXFCQM767JUU5AC","TLQ72DSJD7GGPWN6HGBHAVPBRQFKEQ6KSK43U7JWWID4ZWAF47JAC","IZEVQF627FA7VV25KJAWYWGGC35LZUUBBQRPN5ZAINTQLPEDRTEAC","WJO37T74RYR5DRMSVNCXAQBOV42FQB63EG43XDZUU5TA354AIJRAC","7KZP4RHZ3QSYTPPQ257A65Z5UPX44TF2LAI2U5EMULQCLDCEUK2AC","5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC","SCXG6TJWYIPRUMT27KGKIIF6FYKTUTY74UNZ2FQTT63XZ6HIF3AAC","KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC","4SCFOJGNDAN4XZEAPWQQCBJ3CGZCJP3HUADRQLYZ2ITAKA7EJJTQC","QMRKFEPGFBCEWAIXPEIG5ILKAJ2JH5L3TOITHR4HNJXK5FN3KXBQC","2XQD6KKKD6QVHFHAEMVE3XXY7X2T7BLTLL7XIILZAXNJJH2YONUQC","7HPY3QPFPN35PSPUBVNW2GTFB3CBQZBST4J2BAVJ7QMXLIUN52JAC","KEP5WUFJXTMKRRNZLYTGYYWA4VLFCMHTKTJYF5EA5IWBYFMU6WYQC","ZP62WC472OTQETO2HTHIQIPO57XZIWVKPA4KL62GYU4OZDMB6NSAC","M4KM76DGO77VC4O6N5FFA5MTZH5GI5AJ3OUJU7INLAOY2M3LRLLAC","NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC","F2XLL7XWGUV4TJD4X2MJADYAQHCSB4HD2TPPEYVHEKHOQIOOFISAC","UUR6SMCAJMA7O3ZFUCQMPZFDDIPUVQ5IHUAC5F252YVD6H3JIKPQC","GLFF5ZDKWI7WKPZSAEE3IUM27LL6DFOPIL4VPODXYXV3BCSCJ6GQC"]},"hunks":[{"Edit":{"inode":{"change":29,"pos":1},"path":"aftok.cabal","line":53,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":157},"to":{"change":3,"start":157,"end":206},"introduced_by":3}],"inode":{"change":29,"pos":1}}},"contents":[{"Del":{"text":" --, network-bitcoin >= 1.8 && < 1.9","pos":"KEP5WUFJXTMKRRNZLYTGYYWA4VLFCMHTKTJYF5EA5IWBYFMU6WYQC:205"}}]}},{"Edit":{"inode":{"change":29,"pos":1},"path":"aftok.cabal","line":84,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1115}],"down_context":[{"change":3,"pos":36}],"flag":"BLOCK","start":1,"end":13,"inode":{"change":29,"pos":1}}},"contents":[{"Add":{"text":" , HUnit","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:12"}}]}},{"Edit":{"inode":{"change":29,"pos":1},"path":"aftok.cabal","line":88,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1651},"to":{"change":3,"start":53,"end":75},"introduced_by":3}],"inode":{"change":29,"pos":1}}},"contents":[{"Del":{"text":" , network-bitcoin","pos":"UUR6SMCAJMA7O3ZFUCQMPZFDDIPUVQ5IHUAC5F252YVD6H3JIKPQC:74"}}]}},{"Replacement":{"inode":{"change":3,"pos":5084},"path":"lib/Aftok/Auction.hs","line":8,"ins":{"up_context":[{"change":3,"pos":96}],"down_context":[{"change":2,"pos":3}],"flag":"BLOCK","start":17,"end":57,"inode":{"change":3,"pos":5084}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":96},"to":{"change":3,"start":96,"end":135},"introduced_by":3}],"inode":{"change":3,"pos":5084}},"ins_contents":[{"Add":{"text":"import Data.Thyme.Clock as C","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:56"}}],"del_contents":[{"Del":{"text":"import Data.Thyme.Clock as C","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:134"}}]}},{"Edit":{"inode":{"change":3,"pos":5084},"path":"lib/Aftok/Auction.hs","line":35,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":276}],"down_context":[{"change":3,"pos":3}],"flag":"BLOCK","start":58,"end":254,"inode":{"change":3,"pos":5084}}},"contents":[{"Add":{"text":"data AuctionResult","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:76"}},{"Add":{"text":" = WinningBids [Bid]","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:98"}},{"Add":{"text":" | InsufficientBids Satoshi","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:127"}},{"Add":{"text":" deriving (Show, Eq)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:149"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:150"}},{"Add":{"text":"bidsTotal :: [Bid] -> Satoshi","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:180"}},{"Add":{"text":"bidsTotal bids =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:197"}},{"Add":{"text":" foldl' (\\s b -> s + (b^.bidAmount)) (Satoshi 0) bids","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:252"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:253"}}]}},{"Replacement":{"inode":{"change":3,"pos":5084},"path":"lib/Aftok/Auction.hs","line":53,"ins":{"up_context":[{"change":3,"pos":328}],"down_context":[{"change":3,"pos":64}],"flag":"BLOCK","start":255,"end":361,"inode":{"change":3,"pos":5084}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":328},"to":{"change":3,"start":328,"end":369},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":369},"to":{"change":3,"start":3,"end":64},"introduced_by":3}],"inode":{"change":3,"pos":5084}},"ins_contents":[{"Add":{"text":"runAuction :: Auction -> [Bid] -> AuctionResult","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:302"}},{"Add":{"text":"runAuction auction = runAuction' (auction ^. raiseAmount)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:360"}}],"del_contents":[{"Del":{"text":"winningBids :: Auction -> [Bid] -> [Bid]","pos":"WO2MINIF4TXOHWSE7JWXRZYN64XRVLYIRFMF4SMPSOXKA2V77KMQC:368"}},{"Del":{"text":"winningBids auction = winningBids' (auction ^. raiseAmount) ","pos":"GLFF5ZDKWI7WKPZSAEE3IUM27LL6DFOPIL4VPODXYXV3BCSCJ6GQC:63"}}]}},{"Replacement":{"inode":{"change":3,"pos":5084},"path":"lib/Aftok/Auction.hs","line":56,"ins":{"up_context":[{"change":3,"pos":65}],"down_context":[{"change":3,"pos":323}],"flag":"BLOCK","start":362,"end":443,"inode":{"change":3,"pos":5084}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":65},"to":{"change":3,"start":65,"end":141},"introduced_by":3}],"inode":{"change":3,"pos":5084}},"ins_contents":[{"Add":{"text":"runAuction' :: Satoshi -> [Bid] -> AuctionResult","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:410"}},{"Add":{"text":"runAuction' raiseAmount' bids =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:442"}}],"del_contents":[{"Del":{"text":"winningBids' :: Satoshi -> [Bid] -> [Bid]","pos":"GLFF5ZDKWI7WKPZSAEE3IUM27LL6DFOPIL4VPODXYXV3BCSCJ6GQC:106"}},{"Del":{"text":"winningBids' raiseAmount' bids = ","pos":"GLFF5ZDKWI7WKPZSAEE3IUM27LL6DFOPIL4VPODXYXV3BCSCJ6GQC:140"}}]}},{"Replacement":{"inode":{"change":3,"pos":5084},"path":"lib/Aftok/Auction.hs","line":75,"ins":{"up_context":[{"change":3,"pos":1147}],"down_context":[],"flag":"BLOCK","start":444,"end":654,"inode":{"change":3,"pos":5084}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1147},"to":{"change":3,"start":210,"end":257},"introduced_by":3}],"inode":{"change":3,"pos":5084}},"ins_contents":[{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:444"}},{"Add":{"text":" submittedTotal = bidsTotal bids","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:482"}},{"Add":{"text":" in if submittedTotal >= raiseAmount'","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:522"}},{"Add":{"text":" then WinningBids $ takeWinningBids 0 $ sortBy bidOrder bids","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:590"}},{"Add":{"text":" else InsufficientBids (raiseAmount' - submittedTotal)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:652"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:653"}}],"del_contents":[{"Del":{"text":" in takeWinningBids 0 $ sortBy bidOrder bids","pos":"F2XLL7XWGUV4TJD4X2MJADYAQHCSB4HD2TPPEYVHEKHOQIOOFISAC:256"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":1,"ins":{"up_context":[{"change":3,"pos":89}],"down_context":[{"change":3,"pos":117}],"flag":"BLOCK","start":658,"end":704,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":89},"to":{"change":3,"start":90,"end":117},"introduced_by":3}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":"{-# OPTIONS_GHC -Wwarn -fno-warn-orphans #-}","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:702"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:703"}}],"del_contents":[{"Del":{"text":"{-# OPTIONS_GHC -Wwarn #-}","pos":"UUR6SMCAJMA7O3ZFUCQMPZFDDIPUVQ5IHUAC5F252YVD6H3JIKPQC:116"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":13,"ins":{"up_context":[{"change":3,"pos":309}],"down_context":[{"change":3,"pos":309}],"flag":"BLOCK","start":705,"end":742,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":309},"to":{"change":2,"start":574,"end":615},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":"import Data.Thyme.Clock ()","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:741"}}],"del_contents":[{"Del":{"text":"--import Data.Thyme.Clock as C","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:614"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":15,"ins":{"up_context":[{"change":3,"pos":336}],"down_context":[{"change":3,"pos":336}],"flag":"BLOCK","start":743,"end":784,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":336},"to":{"change":2,"start":616,"end":650},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":"import Text.Read (read)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:783"}}],"del_contents":[{"Del":{"text":"import Text.Read (read)","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:649"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":18,"ins":{"up_context":[{"change":3,"pos":365}],"down_context":[{"change":3,"pos":398}],"flag":"BLOCK","start":785,"end":1223,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":365},"to":{"change":2,"start":651,"end":686},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":"import Test.HUnit.Base (assertFailure)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:834"}},{"Add":{"text":"import Test.QuickCheck","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:867"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:868"}},{"Add":{"text":"uuidGen :: Gen UUID","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:888"}},{"Add":{"text":"uuidGen = fromWords <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:964"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:965"}},{"Add":{"text":"genSatoshi :: Gen Satoshi","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:991"}},{"Add":{"text":"genSatoshi = Satoshi <$> arbitrary","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1026"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1027"}},{"Add":{"text":"genBid :: Gen Bid","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1045"}},{"Add":{"text":"genBid = Bid <$> (UserId <$> uuidGen)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1083"}},{"Add":{"text":" <*> (Seconds <$> arbitrary `suchThat` (>= 0))","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1142"}},{"Add":{"text":" <*> genSatoshi `suchThat` (> Satoshi 0)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1195"}},{"Add":{"text":" <*> arbitrary","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1222"}}],"del_contents":[{"Del":{"text":"--import Test.QuickCheck","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:685"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":34,"ins":{"up_context":[{"change":3,"pos":412}],"down_context":[{"change":2,"pos":695}],"flag":"BLOCK","start":1224,"end":1231,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":412},"to":{"change":2,"start":687,"end":695},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":"spec =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1230"}}],"del_contents":[{"Del":{"text":"spec = ","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:694"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":40,"ins":{"up_context":[{"change":2,"pos":1190}],"down_context":[{"change":2,"pos":1199}],"flag":"BLOCK","start":1232,"end":1240,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1190},"to":{"change":2,"start":1190,"end":1199},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":" in do","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1239"}}],"del_contents":[{"Del":{"text":" in do ","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:1198"}}]}},{"Replacement":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":52,"ins":{"up_context":[{"change":2,"pos":1580}],"down_context":[{"change":3,"pos":839}],"flag":"BLOCK","start":1241,"end":1742,"inode":{"change":3,"pos":89}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1580},"to":{"change":2,"start":1580,"end":1852},"introduced_by":2}],"inode":{"change":3,"pos":89}},"ins_contents":[{"Add":{"text":" let result = runAuction' (Satoshi 1250) [testB0, testB1, testB2, testB3, testB4]","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1331"}},{"Add":{"text":" split = Bid (UserId nil) (Seconds 30) (Satoshi 50) (testB4 ^. bidTime)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1417"}},{"Add":{"text":" expected = sortBy bidOrder [testB0, testB1, testB2, split]","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1488"}},{"Add":{"text":" in case result of","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1515"}},{"Add":{"text":" WinningBids winners ->","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1548"}},{"Add":{"text":" sortBy bidOrder winners `shouldBe` expected","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1604"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1605"}},{"Add":{"text":" InsufficientBids t ->","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1638"}},{"Add":{"text":" assertFailure \"Sufficinent bids were presented, but auction algorithm asserted otherwise.\"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1741"}}],"del_contents":[{"Del":{"text":" let winners = winningBids' (Satoshi 1250) [testB0, testB1, testB2, testB3, testB4] ","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:1671"}},{"Del":{"text":" split = Bid (UserId nil) (Seconds 30) (Satoshi 50) (testB4 ^. bidTime)","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:1756"}},{"Del":{"text":" in sortBy bidOrder winners `shouldBe` sortBy bidOrder [testB0, testB1, testB2, split]","pos":"HBULCDN6E75FAPILFVLTQIKABDEWL3HZTBLICLCWOIKDRYM6UIBQC:1851"}}]}},{"Edit":{"inode":{"change":3,"pos":89},"path":"test/Aftok/AuctionSpec.hs","line":62,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":840}],"down_context":[{"change":3,"pos":840}],"flag":"BLOCK","start":1743,"end":2104,"inode":{"change":3,"pos":89}}},"contents":[{"Add":{"text":" it \"ensures that the raise amount is fully consumed by the winning bids\" $","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1823"}},{"Add":{"text":" forAll ((,) <$> genSatoshi <*> listOf genBid) $","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1879"}},{"Add":{"text":" \\(raiseAmount', bids) ->","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1914"}},{"Add":{"text":" case runAuction' raiseAmount' bids of","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:1964"}},{"Add":{"text":" WinningBids xs -> bidsTotal xs == raiseAmount'","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2029"}},{"Add":{"text":" InsufficientBids t -> t == (raiseAmount' - bidsTotal bids)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2102"}},{"Add":{"text":"","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2103"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":24,"ins":{"up_context":[{"change":3,"pos":3280}],"down_context":[{"change":3,"pos":2088}],"flag":"BLOCK","start":2106,"end":2188,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3401},"to":{"change":3,"start":3401,"end":3434},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3434},"to":{"change":3,"start":1907,"end":1962},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":"genBtcAddr :: Gen BtcAddr","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2131"}},{"Add":{"text":"genBtcAddr =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2144"}},{"Add":{"text":" BtcAddr . pack <$> vectorOf 34 arbitrary","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2187"}}],"del_contents":[{"Del":{"text":"instance Arbitrary BtcAddr where","pos":"7KZP4RHZ3QSYTPPQ257A65Z5UPX44TF2LAI2U5EMULQCLDCEUK2AC:3433"}},{"Del":{"text":" arbitrary = BtcAddr . pack <$> vectorOf 34 arbitrary","pos":"5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC:1961"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":28,"ins":{"up_context":[{"change":3,"pos":2089}],"down_context":[{"change":3,"pos":3479}],"flag":"BLOCK","start":2189,"end":2382,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2089},"to":{"change":3,"start":3492,"end":3543},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3543},"to":{"change":3,"start":1963,"end":1990},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1990},"to":{"change":3,"start":1190,"end":1315},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":"genInterval :: Gen I.Interval","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2218"}},{"Add":{"text":"genInterval = do","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2235"}},{"Add":{"text":" startTime <- arbitrary","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2260"}},{"Add":{"text":" delta <- arbitrary :: Gen (Positive T.NominalDiffTime)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2317"}},{"Add":{"text":" pure $ I.interval startTime (startTime .+^ getPositive delta)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2381"}}],"del_contents":[{"Del":{"text":"instance Arbitrary Interval where","pos":"7KZP4RHZ3QSYTPPQ257A65Z5UPX44TF2LAI2U5EMULQCLDCEUK2AC:3525"}},{"Del":{"text":" arbitrary = do","pos":"7KZP4RHZ3QSYTPPQ257A65Z5UPX44TF2LAI2U5EMULQCLDCEUK2AC:3542"}},{"Del":{"text":" startTime <- arbitrary","pos":"5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC:1989"}},{"Del":{"text":" delta <- arbitrary :: Gen (Positive T.NominalDiffTime)","pos":"SCXG6TJWYIPRUMT27KGKIIF6FYKTUTY74UNZ2FQTT63XZ6HIF3AAC:1248"}},{"Del":{"text":" pure $ I.interval startTime (startTime .+^ getPositive delta)","pos":"SCXG6TJWYIPRUMT27KGKIIF6FYKTUTY74UNZ2FQTT63XZ6HIF3AAC:1314"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":34,"ins":{"up_context":[{"change":3,"pos":3480}],"down_context":[{"change":3,"pos":3532}],"flag":"BLOCK","start":2383,"end":2530,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3480},"to":{"change":3,"start":3480,"end":3532},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":"genIntervals :: Gen (L.NonEmpty I.Interval)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2426"}},{"Add":{"text":"genIntervals =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2441"}},{"Add":{"text":" let deltas = fmap T.fromSeconds <$> ((listOf $ choose (0, 72 * 60 * 60)) :: Gen[Int])","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2529"}}],"del_contents":[{"Del":{"text":"newtype Intervals = Intervals (L.NonEmpty Interval)","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3531"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":38,"ins":{"up_context":[{"change":3,"pos":3533}],"down_context":[{"change":3,"pos":12638}],"flag":"BLOCK","start":2531,"end":2788,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3533},"to":{"change":3,"start":3533,"end":3596},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3596},"to":{"change":3,"start":12561,"end":12637},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":12637},"to":{"change":3,"start":94,"end":145},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3666},"to":{"change":3,"start":94,"end":145},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":145},"to":{"change":3,"start":3723,"end":3800},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3723},"to":{"change":3,"start":3723,"end":3800},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":" buildIntervals :: T.UTCTime -> [NominalDiffTime] -> [I.Interval]","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2601"}},{"Add":{"text":" buildIntervals t (d : s : dx) | d > 0 =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2647"}},{"Add":{"text":" let ival = I.interval t (t .+^ d)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2689"}},{"Add":{"text":" in ival : buildIntervals (ival ^. I.end .+^ s) dx","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2748"}},{"Add":{"text":" buildIntervals _ _ = []","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2778"}},{"Add":{"text":" in do","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2787"}}],"del_contents":[{"Del":{"text":"buildIntervals :: T.UTCTime -> [NominalDiffTime] -> [Interval]","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3595"}},{"Del":{"text":"buildIntervals t (d : s : dx) | d > 0 =","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:12600"}},{"Del":{"text":" let ival = I.interval t (t .+^ d)","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:12636"}},{"Del":{"text":" in ival : buildIntervals (ival ^. end .+^ s) dx","pos":"4SCFOJGNDAN4XZEAPWQQCBJ3CGZCJP3HUADRQLYZ2ITAKA7EJJTQC:144"}},{"Del":{"text":"buildIntervals _ _ = []","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3746"}},{"Del":{"text":"","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3747"}},{"Del":{"text":"instance Arbitrary Intervals where","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3782"}},{"Del":{"text":" arbitrary = do","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3799"}}]}},{"Edit":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":45,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":12665},"to":{"change":3,"start":146,"end":236},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3828},"to":{"change":3,"start":146,"end":236},"introduced_by":3}],"inode":{"change":30,"pos":3665}}},"contents":[{"Del":{"text":" let deltas = fmap T.fromSeconds <$> ((listOf $ choose (0, 72 * 60 * 60)) :: Gen[Int])","pos":"4SCFOJGNDAN4XZEAPWQQCBJ3CGZCJP3HUADRQLYZ2ITAKA7EJJTQC:235"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":46,"ins":{"up_context":[{"change":3,"pos":3954}],"down_context":[{"change":3,"pos":2045}],"flag":"BLOCK","start":2789,"end":2821,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3954},"to":{"change":3,"start":3954,"end":3998},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":" pure $ L.fromList intervals","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2820"}}],"del_contents":[{"Del":{"text":" pure . Intervals $ L.fromList intervals","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:3997"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":48,"ins":{"up_context":[{"change":3,"pos":2046}],"down_context":[{"change":3,"pos":2219}],"flag":"BLOCK","start":2822,"end":3028,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2046},"to":{"change":3,"start":2046,"end":2081},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2081},"to":{"change":3,"start":12666,"end":12718},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":12718},"to":{"change":3,"start":4038,"end":4126},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4038},"to":{"change":3,"start":4038,"end":4126},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":4126},"to":{"change":3,"start":2170,"end":2219},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":2170},"to":{"change":3,"start":2170,"end":2219},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":"genWorkIndex :: Gen WorkIndex","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2851"}},{"Add":{"text":"genWorkIndex =","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2866"}},{"Add":{"text":" let record = do addr <- genBtcAddr","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2903"}},{"Add":{"text":" ivals <- genIntervals","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2943"}},{"Add":{"text":" pure (addr, ivals)","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:2980"}},{"Add":{"text":" in WorkIndex . M.fromList <$> listOf record","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:3027"}}],"del_contents":[{"Del":{"text":"instance Arbitrary WorkIndex where","pos":"5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC:2080"}},{"Del":{"text":" arbitrary =","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:12679"}},{"Del":{"text":" let record = do addr <- arbitrary","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:12717"}},{"Del":{"text":" Intervals ivals <- arbitrary","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:4086"}},{"Del":{"text":" pure (addr, ivals)","pos":"KNSI575VAW6HRCZYXOEPQ4DTSML4EORML5MV4DJBRKE7TXCPS4EAC:4125"}},{"Del":{"text":" in WorkIndex . M.fromList <$> listOf record","pos":"5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC:2218"}}]}},{"Replacement":{"inode":{"change":30,"pos":3665},"path":"test/Aftok/TimeLogSpec.hs","line":88,"ins":{"up_context":[{"change":3,"pos":494}],"down_context":[{"change":3,"pos":351}],"flag":"BLOCK","start":3029,"end":3243,"inode":{"change":30,"pos":3665}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":494},"to":{"change":3,"start":3388,"end":3444},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":3444},"to":{"change":3,"start":12877,"end":12904},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":12904},"to":{"change":3,"start":237,"end":351},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1964},"to":{"change":3,"start":237,"end":351},"introduced_by":3}],"inode":{"change":30,"pos":3665}},"ins_contents":[{"Add":{"text":" it \"recovers a work index from events\" $","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:3073"}},{"Add":{"text":" forAll genWorkIndex $ \\(WorkIndex widx) ->","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:3122"}},{"Add":{"text":" let mergeAdjacent ((I.Interval s e) : (I.Interval s' e') : xs) | e == s' = mergeAdjacent $ I.Interval s e' : xs","pos":"LHJ2HFXVUQ4VG25I7DADWU73G5K5WNZBDQ3SVNKFYLZ5BEYM4XCQC:3242"}}],"del_contents":[{"Del":{"text":" it \"recovers a work index from events\" $ property $","pos":"5DRIWGLUKMQZU2ZPBXSTLAWJKAMOD5YXAHM5LEDQHDFGYYLHWCDQC:3443"}},{"Del":{"text":" \\(WorkIndex widx) ->","pos":"NEDDHXUK3GNFMOFO3KLU7NRIHCTYNWBT3D6HTKZAOXFDE6HMDZ6AC:12903"}},{"Del":{"text":" let mergeAdjacent ((Interval s e) : (Interval s' e') : xs) | e == s' = mergeAdjacent $ Interval s e' : xs","pos":"4SCFOJGNDAN4XZEAPWQQCBJ3CGZCJP3HUADRQLYZ2ITAKA7EJJTQC:350"}}]}}],"owner":"nuttycom","repo":"aftok","token":"B9BzZD31gtuYneeBtcNuNMTq7KBurUjfo+6XjdQPPLk=","login":null}

…

Dependencies

Change contents

Review