Rewrite Data.IntMap to be faster and use less memory - #340

Open

gereeter wants to merge 147 commits into

haskell:masterfrom

gereeter:direct-bounded-intmap

Commits on Jan 11, 2020

Commits on Jan 12, 2020

Handle zeros a bit more cleanly in bench-cmp.sh
gereeter
committed
814eb67
Slightly simplify IntMap.Internal.compareMSB to not bother checking for equality. Benchmark changes are within measurement error bounds and probably meaningless.
gereeter
committed
7ba86c8
Manually worker-wrapper transform IntMap.{union,difference,intersection}WithKey to force them to leave integers unboxed
gereeter
committed
dc0ee84

Commits on Jan 13, 2020

Be explicitly strict in `IntMap.difference*`
gereeter
committed
a1827a8
Fix IntMap.Strict.differenceWith typo
gereeter
committed
ba74413
Undo unintended change
gereeter
committed
01dd1c5

Commits on Jan 16, 2020

Commits on Jan 18, 2020

Commits on Jan 19, 2020

Remove unnecessary special case in IntMap.union, regularizing which argument gets matched on first
gereeter
committed
a9655f9

Commits on Jan 21, 2020

Force inlining of some trivial IntMap functions.
gereeter
committed
6a81914

Commits on Jan 23, 2020

Add long-form merge documentation for IntMap
gereeter
committed
dd904e2
Consistently use capitalized XOR in IntMap documentation
gereeter
committed
4fe194f
Move the bin{NodeMapL,MapNodeR} helpers into Data.IntMap.Internal and use them where possible.
gereeter
committed
cf63d2f
Small modifications (@since in docs, a missing doc example, and more generic unions{,With}) to better match the existing Data.IntMap
gereeter
committed
4058ee8
Implement the appropriate type classes for IntMap merge tactics
gereeter
committed
76d9947
Use the explicitly imported reference to Foldable
gereeter
committed
57badfe
Implement mapping functions over IntMap tactics
gereeter
committed
4e3987e
Import <$ where necessary
gereeter
committed
db80555
Fix isProperSubmapOfBy documentation to refer to the keys of the two maps matching, not the maps themselves
gereeter
committed
c00a1c8
Test IntMap merge tactics
gereeter
committed
ffefb3e
Implement sum and product in terms of strict folds on IntMap
gereeter
committed
afab90f
Unify implementations of merge tactics and top-level functions for IntMap
gereeter
committed
2e63882
Use runIdentity in tests when comparing the results of Applicative functions
gereeter
committed
d0b04c9
Fix capitalization typo
gereeter
committed
9644321
Compare IntMaps instead of lists where possible in tests.
gereeter
committed
6e9668c
Test splitLookup with QuickCheck
gereeter
committed
49caed0
Test IntMap.insertLookupWithKey with QuickCheck
gereeter
committed
beb38f7
Slight improvement to unionSum test
gereeter
committed
cdf0368
Test deletion/update functions on IntMap with QuickCheck
gereeter
committed
9ed6256
Remove unused arguments from helpers in IntMap.{adjust,update,updateLookupWithKey}.
gereeter
committed
bc33c32
Test map{Maybe,Either}{,WithKey} for IntMap using QuickCheck
gereeter
committed
fedcd58
Don't optimize the IntMap tests.
gereeter
committed
b488004

Commits on Jan 24, 2020

Re-enable optimization for IntMap tests to ensure testing of rewrite rules
gereeter
committed
49b6997