{"header":{"message":"Autoformat + small optimization","description":null,"timestamp":"2026-07-22T21:31:28.092739512Z","authors":[{}]},"hash":"CDFL55IS2BYOYWLOZGTDEAGJQVPD25RADOERW2I3TL6O7GQQQPJQC","authors":[{"login":"quickdudley","key":"AAAAC3NzaC1lZDI1NTE5AAAAIDHxIfv1Jfr13Mt+hjfYo2apYn7rXI3jbZAGmAda58Lb"}],"deps":{"hashes":[["CDFL55IS2BYOYWLOZGTDEAGJQVPD25RADOERW2I3TL6O7GQQQPJQC","Autoformat + small optimization"],["AA",null],["YZP3U4U47IUCVCVOSGGXZA7KZ3VE53VJQR5KEWV7QHDE5OXSDPHQC","Rename"],["AZEW6CPY3G25M7OSLJ2CKVKLX5GY35EGWY36NULFHBBHYWFLGPHQC","untested"],["2ETAVQ2DZ7ZC6WTKJ523DVJDS5KKGGALUJPKEEJ46NGUXKL655WQC","Tuple instances"],["2BUBV6QXELYZZH5LDQ2LTR5BDQCLP2L5WJ2OPAZKXA2ZGZKUGZMQC","Type and functions for multiple pareto fronts"],["ZTIPFONRTUAADKBLS55ZRQ45MBZC3X36O2H4L7SD55R7ZMJ46DVAC","Use Max and Min rather than our own newtype"],["2WWXQOBT5JS4WJ65EPWP4TY6A7QBEBOGQNEC3CKOQLFM5OYDAH5AC","Haddocks"],["XC2IMMSVT6OLWXL65BF4RRE2WUB74ETSTGGYQ6ZUZ5RO5YCJGUBAC","Some more functions and instances"]],"deps":["YZP3U4U47IUCVCVOSGGXZA7KZ3VE53VJQR5KEWV7QHDE5OXSDPHQC","AZEW6CPY3G25M7OSLJ2CKVKLX5GY35EGWY36NULFHBBHYWFLGPHQC","2ETAVQ2DZ7ZC6WTKJ523DVJDS5KKGGALUJPKEEJ46NGUXKL655WQC","2BUBV6QXELYZZH5LDQ2LTR5BDQCLP2L5WJ2OPAZKXA2ZGZKUGZMQC","ZTIPFONRTUAADKBLS55ZRQ45MBZC3X36O2H4L7SD55R7ZMJ46DVAC","2WWXQOBT5JS4WJ65EPWP4TY6A7QBEBOGQNEC3CKOQLFM5OYDAH5AC","XC2IMMSVT6OLWXL65BF4RRE2WUB74ETSTGGYQ6ZUZ5RO5YCJGUBAC"],"known":[]},"hunks":[{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":1,"ins":{"up_context":[{"change":2,"pos":39}],"down_context":[{"change":3,"pos":119}],"flag":"BLOCK","start":0,"end":292,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":39},"to":{"change":8,"start":0,"end":77},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":3,"pos":49},"to":{"change":2,"start":40,"end":66},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":8,"pos":77},"to":{"change":2,"start":40,"end":66},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":39},"to":{"change":2,"start":40,"end":66},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":66},"to":{"change":3,"start":50,"end":94},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":94},"to":{"change":5,"start":0,"end":10},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":10},"to":{"change":3,"start":94,"end":107},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":94},"to":{"change":3,"start":94,"end":107},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":107},"to":{"change":5,"start":11,"end":35},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":35},"to":{"change":8,"start":78,"end":112},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":112},"to":{"change":2,"start":66,"end":75},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":3,"pos":118},"to":{"change":2,"start":66,"end":75},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":66},"to":{"change":2,"start":66,"end":75},"introduced_by":2}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"{-# LANGUAGE DerivingVia #-}"},{"Add":"{-# LANGUAGE GeneralizedNewtypeDeriving #-}"},{"Add":"{-# LANGUAGE StandaloneDeriving #-}"},{"Add":""},{"Add":"module Math.ParetoFront"},{"Add":" ( Comparison (..),"},{"Add":" Debatable (..),"},{"Add":" Front,"},{"Add":" Strata,"},{"Add":" singleton,"},{"Add":" stratum,"},{"Add":" getStrata,"},{"Add":" getFront,"},{"Add":" quota,"},{"Add":" nestedFold,"},{"Add":" )"},{"Add":"where"}],"del_contents":[{"Del":"{-# LANGUAGE DerivingVia, GeneralizedNewtypeDeriving, StandaloneDeriving #-}\n"},{"Del":"module Math.ParetoFront (\n"},{"Del":" Comparison(..),\n Debatable(..),\n Front,\n"},{"Del":" Strata,\n"},{"Del":" singleton,\n"},{"Del":" stratum,\n getStrata,\n"},{"Del":" getFront,\n quota,\n nestedFold\n"},{"Del":" ) where\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":21,"ins":{"up_context":[{"change":5,"pos":76}],"down_context":[{"change":2,"pos":75}],"flag":"BLOCK","start":293,"end":374,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":76},"to":{"change":3,"start":170,"end":197},"introduced_by":5},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":170},"to":{"change":3,"start":170,"end":197},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":197},"to":{"change":8,"start":113,"end":162},"introduced_by":8}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"import Data.Ord (Down (..))"},{"Add":"import Data.Semigroup (Arg (..), Max (..), Min (..))"}],"del_contents":[{"Del":"import Data.Ord (Down(..))\n"},{"Del":"import Data.Semigroup(Arg(..), Max(..), Min(..))\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":26,"ins":{"up_context":[{"change":7,"pos":88}],"down_context":[{"change":2,"pos":174}],"flag":"BLOCK","start":375,"end":728,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":7,"pos":88},"to":{"change":2,"start":76,"end":94},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":76},"to":{"change":2,"start":76,"end":94},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":94},"to":{"change":7,"start":89,"end":152},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":7,"pos":152},"to":{"change":2,"start":108,"end":122},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":108},"to":{"change":2,"start":108,"end":122},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":122},"to":{"change":8,"start":163,"end":219},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":7,"pos":207},"to":{"change":2,"start":122,"end":134},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":8,"pos":219},"to":{"change":2,"start":122,"end":134},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":122},"to":{"change":2,"start":122,"end":134},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":134},"to":{"change":7,"start":208,"end":357},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":7,"pos":357},"to":{"change":2,"start":146,"end":174},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":146},"to":{"change":2,"start":146,"end":174},"introduced_by":2}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"data Comparison"},{"Add":" = -- | Where the second item is preferred by all used criteria"},{"Add":" Dominated"},{"Add":" | -- | Where no item is preferred by any used criterion"},{"Add":" WeakTie"},{"Add":" | -- | Where each item is preferred by at least one criterion"},{"Add":" StrongTie"},{"Add":" | -- | Where the first item is preferred by all used critera"},{"Add":" Dominates"},{"Add":" deriving (Ord, Eq, Show, Read)"}],"del_contents":[{"Del":"data Comparison =\n"},{"Del":" -- | Where the second item is preferred by all used criteria\n"},{"Del":" Dominated |\n"},{"Del":" -- | Where no item is preferred by any used criterion\n"},{"Del":" WeakTie |\n"},{"Del":" -- | Where each item is preferred by at least one criterion\n StrongTie |\n -- | Where the first item is preferred by all used critera\n Dominates\n"},{"Del":" deriving(Ord,Eq,Show,Read)\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":52,"ins":{"up_context":[{"change":3,"pos":315}],"down_context":[{"change":6,"pos":83}],"flag":"BLOCK","start":729,"end":773,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":315},"to":{"change":6,"start":41,"end":83},"introduced_by":6}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Ord a) => Debatable (Min a) where"}],"del_contents":[{"Del":"instance Ord a => Debatable (Min a) where\n"}]}},{"Edit":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":59,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":174}],"down_context":[{"change":6,"pos":174}],"flag":"BLOCK","start":774,"end":775,"inode":{"change":2,"pos":39}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":61,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":226}],"down_context":[{"change":6,"pos":226}],"flag":"BLOCK","start":776,"end":777,"inode":{"change":2,"pos":39}}},"contents":[{"Add":""}]}},{"Edit":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":63,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":276}],"down_context":[{"change":6,"pos":276}],"flag":"BLOCK","start":778,"end":779,"inode":{"change":2,"pos":39}}},"contents":[{"Add":""}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":65,"ins":{"up_context":[{"change":6,"pos":324}],"down_context":[{"change":3,"pos":719}],"flag":"BLOCK","start":780,"end":845,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":324},"to":{"change":6,"start":324,"end":386},"introduced_by":6}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":""},{"Add":"deriving via Min (Down a) instance (Ord a) => Debatable (Max a)"}],"del_contents":[{"Del":"deriving via Min (Down a) instance Ord a => Debatable (Max a)\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":68,"ins":{"up_context":[{"change":3,"pos":720}],"down_context":[{"change":3,"pos":769}],"flag":"BLOCK","start":846,"end":897,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":720},"to":{"change":3,"start":720,"end":769},"introduced_by":3}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a) => Debatable (Down a) where"}],"del_contents":[{"Del":"instance Debatable a => Debatable (Down a) where\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":74,"ins":{"up_context":[{"change":8,"pos":221}],"down_context":[{"change":8,"pos":271}],"flag":"BLOCK","start":898,"end":950,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":221},"to":{"change":8,"start":221,"end":271},"introduced_by":8}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a) => Debatable (Arg a b) where"}],"del_contents":[{"Del":"instance Debatable a => Debatable (Arg a b) where\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":77,"ins":{"up_context":[{"change":3,"pos":881}],"down_context":[{"change":4,"pos":0}],"flag":"BLOCK","start":951,"end":1070,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":881},"to":{"change":3,"start":881,"end":997},"introduced_by":3}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a, Debatable b) => Debatable (a, b) where"},{"Add":" weigh ~(a1, a2) ~(b1, b2) = weigh a1 b1 <> weigh a2 b2"}],"del_contents":[{"Del":"instance (Debatable a, Debatable b) => Debatable (a,b) where\n weigh ~(a1,a2) ~(b1,b2) = weigh a1 b1 <> weigh a2 b2\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":80,"ins":{"up_context":[{"change":4,"pos":1}],"down_context":[{"change":4,"pos":153}],"flag":"BLOCK","start":1071,"end":1229,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1},"to":{"change":4,"start":1,"end":153},"introduced_by":4}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a, Debatable b, Debatable c) => Debatable (a, b, c) where"},{"Add":" weigh ~(a1, a2, a3) ~(b1, b2, b3) = weigh a1 b1 <> weigh a2 b2 <> weigh a3 b3"}],"del_contents":[{"Del":"instance (Debatable a, Debatable b, Debatable c) => Debatable (a,b,c) where\n weigh ~(a1,a2,a3) ~(b1,b2,b3) = weigh a1 b1 <> weigh a2 b2 <> weigh a3 b3\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":83,"ins":{"up_context":[{"change":4,"pos":154}],"down_context":[{"change":3,"pos":997}],"flag":"BLOCK","start":1230,"end":1455,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":154},"to":{"change":4,"start":154,"end":356},"introduced_by":4}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance"},{"Add":" (Debatable a, Debatable b, Debatable c, Debatable d) =>"},{"Add":" Debatable (a, b, c, d)"},{"Add":" where"},{"Add":" weigh ~(a1, a2, a3, a4) ~(b1, b2, b3, b4) ="},{"Add":" weigh a1 b1"},{"Add":" <> weigh a2 b2"},{"Add":" <> weigh a3 b3"},{"Add":" <> weigh a4 b4"}],"del_contents":[{"Del":"instance (Debatable a, Debatable b, Debatable c, Debatable d) =>\n Debatable (a,b,c,d) where\n weigh ~(a1,a2,a3,a4) ~(b1,b2,b3,b4) = weigh a1 b1 <>\n weigh a2 b2 <>\n weigh a3 b3 <>\n weigh a4 b4\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":99,"ins":{"up_context":[{"change":7,"pos":678}],"down_context":[{"change":8,"pos":367}],"flag":"BLOCK","start":1456,"end":1508,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":7,"pos":678},"to":{"change":5,"start":77,"end":130},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1042},"to":{"change":5,"start":77,"end":130},"introduced_by":5}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"newtype Strata a = Strata [Front a] deriving (Show)"}],"del_contents":[{"Del":"newtype Strata a = Strata [Front a] deriving (Show)\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":110,"ins":{"up_context":[{"change":5,"pos":190}],"down_context":[{"change":5,"pos":575}],"flag":"BLOCK","start":1509,"end":1917,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":190},"to":{"change":5,"start":190,"end":575},"introduced_by":5}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"fuse :: (Debatable a) => Front a -> Front a -> (Front a, Front a, Front a)"},{"Add":"fuse (Front a) (Front b) ="},{"Add":" let m = map (flip map b . weigh) a"},{"Add":" m' = transpose m"},{"Add":" s = map (not . any (== Dominated)) m"},{"Add":" s' = map (not . any (== Dominates)) m'"},{"Add":" (f1, t1) = partition snd $ zip a s"},{"Add":" (f2, t2) = partition snd $ zip b s'"},{"Add":" in (Front $ map fst (f1 ++ f2), Front $ map fst t1, Front $ map fst t2)"}],"del_contents":[{"Del":"fuse :: Debatable a => Front a -> Front a -> (Front a, Front a, Front a)\nfuse (Front a) (Front b) = let\n m = map (flip map b . weigh) a\n m' = transpose m\n s = map (not . any (== Dominated)) m\n s' = map (not . any (== Dominates)) m'\n (f1, t1) = partition snd $ zip a s\n (f2, t2) = partition snd $ zip b s'\n in (Front $ map fst (f1 ++ f2), Front $ map fst t1, Front $ map fst t2)\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":122,"ins":{"up_context":[{"change":7,"pos":820}],"down_context":[{"change":3,"pos":1369}],"flag":"BLOCK","start":1918,"end":2020,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":5,"pos":576},"to":{"change":3,"start":1094,"end":1144},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":7,"pos":820},"to":{"change":3,"start":1094,"end":1144},"introduced_by":7},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1094},"to":{"change":3,"start":1094,"end":1144},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1144},"to":{"change":5,"start":577,"end":626},"introduced_by":5}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a) => Semigroup (Front a) where"},{"Add":" a <> b ="},{"Add":" let (r, _, _) = fuse a b"},{"Add":" in r"}],"del_contents":[{"Del":"instance Debatable a => Semigroup (Front a) where\n"},{"Del":" a <> b = let\n (r, _, _) = fuse a b\n in r\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":127,"ins":{"up_context":[{"change":3,"pos":1370}],"down_context":[{"change":3,"pos":1417}],"flag":"BLOCK","start":2021,"end":2070,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1370},"to":{"change":3,"start":1370,"end":1417},"introduced_by":3}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a) => Monoid (Front a) where"}],"del_contents":[{"Del":"instance Debatable a => Monoid (Front a) where\n"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":130,"ins":{"up_context":[{"change":3,"pos":1438}],"down_context":[{"change":5,"pos":1132}],"flag":"BLOCK","start":2071,"end":2150,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1438},"to":{"change":5,"start":627,"end":1132},"introduced_by":5}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"instance (Debatable a) => Semigroup (Strata a) where"},{"Add":" a <> b = mconcat [a, b]"}],"del_contents":[{"Del":"instance Debatable a => Semigroup (Strata a) where\n a <> b = mconcat [a,b]\n \ninstance Debatable a => Monoid (Strata a) where\n mempty = Strata []\n mconcat = Strata . rebuild . transpose . map getStrata where\n rebuild [] = []\n rebuild ([] : r) = rebuild r\n rebuild ([x] : r) = x : rebuild r\n rebuild ((x : y : s) : r) = let\n (f, p, q) = fuse x y\n r' = push p $ push q r\n in rebuild ((f: s): r')\n push (Front []) r = r\n push q [] = [[q]]\n push q (s : r) = ((q:s) : r)\n"}]}},{"Edit":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":133,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":1133}],"down_context":[{"change":5,"pos":1133}],"flag":"BLOCK","start":2151,"end":2667,"inode":{"change":2,"pos":39}}},"contents":[{"Add":"instance (Debatable a) => Monoid (Strata a) where"},{"Add":" mempty = Strata []"},{"Add":" mconcat = Strata . rebuild . transpose . map getStrata"},{"Add":" where"},{"Add":" rebuild [] = []"},{"Add":" rebuild ([] : r) = rebuild r"},{"Add":" rebuild ([x] : r) = x : rebuild r"},{"Add":" rebuild ((x : y : s) : r) ="},{"Add":" let (f, p, q) = fuse x y"},{"Add":" r' = foldr (flip const) (push p $ push q r) $ [f, p, q] >>= getFront"},{"Add":" in r' `seq` rebuild ((f : s) : r')"},{"Add":" push (Front []) r = r"},{"Add":" push q [] = [[q]]"},{"Add":" push q (s : r) = ((q : s) : r)"}]}},{"Replacement":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":157,"ins":{"up_context":[{"change":8,"pos":580}],"down_context":[{"change":8,"pos":701}],"flag":"BLOCK","start":2668,"end":2796,"inode":{"change":2,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":580},"to":{"change":8,"start":580,"end":701},"introduced_by":8}],"inode":{"change":2,"pos":39}},"ins_contents":[{"Add":"quota n (Strata (a : r))"},{"Add":" | n > 0 ="},{"Add":" let Strata r' = quota (n - length (getFront a)) (Strata r)"},{"Add":" in Strata (a : r')"}],"del_contents":[{"Del":"quota n (Strata (a:r))\n | n > 0 = let\n Strata r' = quota (n - length (getFront a)) (Strata r)\n in Strata (a : r')\n"}]}},{"Edit":{"inode":{"change":2,"pos":39},"path":"src/Math/ParetoFront.hs","line":167,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":8,"pos":945},"to":{"change":5,"start":1196,"end":1197},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":1196},"to":{"change":5,"start":1196,"end":1197},"introduced_by":5}],"inode":{"change":2,"pos":39}}},"contents":[{"Del":"\n"}]}}],"owner":"quickdudley","repo":"pareto-front","token":"0m/aKVTk0Powj7XXmHNgtra/M9mrINtu3kSoFIH+5gI=","login":null}

…

Dependencies

Change contents