Utils: Add ordNub
authorNiklas Hambuechen <niklash@google.com>
Fri, 1 Aug 2014 15:27:11 +0000 (17:27 +0200)
committerKlaus Aehlig <aehlig@google.com>
Tue, 4 Aug 2015 14:56:01 +0000 (16:56 +0200)
commitb848b30a394a5528af0abe4e3d006c6dcca74d70
treef590172b496501a184116124c5ff00909cf4cf47
parentbeb45ec6ce80ac5e77ecae469e67b29f488724fd
Utils: Add ordNub

For n*log(n) duplicate removal (as opposed to nub's n^2).

Signed-off-by: Niklas Hambuechen <niklash@google.com>
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>

Cherry-picked-from: 5dd8067d
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
src/Ganeti/Utils.hs