Utils: Add ordNub
authorNiklas Hambuechen <niklash@google.com>
Fri, 1 Aug 2014 15:27:11 +0000 (17:27 +0200)
committerPetr Pudlak <pudlak@google.com>
Fri, 1 Aug 2014 15:42:24 +0000 (17:42 +0200)
commit5dd8067dff5971a60c09577496909024b0da1e28
tree9d952de6b746f38a56a451a184898bb04fea221b
parent1220ba1dfa65c5f6eb72aa76e768c56a72c2ab59
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>
src/Ganeti/Utils.hs