Faster stable sort (#492)
authorDonnacha Oisín Kidney <oisdk@users.noreply.github.com>
Sat, 20 Jan 2018 20:56:57 +0000 (20:56 +0000)
committerDavid Feuer <David.Feuer@gmail.com>
Sat, 20 Jan 2018 20:56:57 +0000 (15:56 -0500)
commitb43646a788f7762474d63da97d3a23da65690bb9
tree087ebd2b907321f546ed17f42c59fd46f0454f25
parent32ebc15605ca50e6521523036900324ff11ce085
Faster stable sort (#492)

Use a new, faster implementation for stable sort

The old stable sort simply called Data.List.sort: here, we construct a pairing heap, but tag each element with its original position in the sequence. Then we perform heap sort, the same sort as used in `unstableSort`.
Data/Sequence/Internal.hs
Data/Sequence/sorting.md