Re: Faster `elem` "Hack" for Data.Set?
Viktor Dukhovni <[email protected]> Sun, 30 Jan 2022 11:07:37 -0500
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <[email protected]> |
T24gU2F0LCBKYW4gMjksIDIwMjIgYXQgMDc6NTk6NTFQTSAtMDUwMCwgRGF2aWQgRmV1ZXIgd3Jv dGU6Cgo+IE9uZSBpcyB0aGF0IGBjb250YWluZXJzYCBoYXMgYSBsb25nIGhpc3Rvcnkgb2YgYXR0 ZW1wdGluZyB0byByZW1haW4KPiBjb21wYXRpYmxlIHdpdGggcG90ZW50aWFsIGZ1dHVyZSBIYXNr ZWxsIDk4LWxpa2UgSGFza2VsbAo+IGltcGxlbWVudGF0aW9ucyAobGlrZWx5IHdpdGggYSBmZXcg ZGF5cyBvZiB3b3JrIHRvIHBhdGNoIHVwIG1pc3Rha2VzCj4gd2hlbiB0aGUgdGltZSBjb21lcyku ICBVc2luZyBhIEdBRFQgdG8gZGVmaW5lIFNldCB3b3VsZCBicmVhayB0aGF0Cj4gcXVpdGUgdGhv cm91Z2hseS4KClllcywgdGhhdCdzIGRlZmluaXRlbHkgYW4gaXNzdWUuCgo+IE15IHNlY29uZCBj b25jZXJuIGlzIG1vcmUgcHJhY3RpY2FsOgo+IAo+ICAgdHlwZSBTZXQgYSA9IFNldEltcGwgYSBh Cj4gCj4gaXMgYWxsIHNvcnRzIG9mIHByb2JsZW1hdGljLiBJdCBmb3JjZXMgYW55b25lIHdobyB3 YW50cyB0byB1c2Ugd2hhdCdzCj4gYWx3YXlzIGJlZW4gdGhlIGBTZXRgIHR5cGUgY29uc3RydWN0 b3IgKFNldCA6OiBUeXBlIC0+IFR5cGUpIHRvIGRpZwo+IGludG8gdGhlIGltcGxlbWVudGF0aW9u IGFuZCB1c2UgYFNldEltcGwgOjogVHlwZSAtPiBUeXBlIC0+IFR5cGVgCj4gaW5zdGVhZC4gVGhh dCdzIHF1aXRlIGEgZGlmZmVyZW50IGJlYXN0LgoKV2VsbCwgdGhleSBjb3VsZCB1c2UgdGhlIHVu c2F0dXJhdGVkIHR5cGUgYWxpYXMgaW4gc29tZSBjYXNlcywgYnV0CnRoZXJlIGFyZSBsaWtlbHkg c2l0dWF0aW9ucyB3aGVyZSB0aGF0J3Mgbm90IGFuIG9wdGlvbi4KCj4gSSBkb24ndCBrbm93IGFs bCB0aGUgdGhpbmdzIHRoYXQgd2lsbCBicmVhaywgYnV0IHRoZXknbGwgc3VyZWx5Cj4gaW5jbHVk ZQo+IDxodHRwczovL2hhY2thZ2UuaGFza2VsbC5vcmcvcGFja2FnZS9jb25zdHJhaW5lZC1tb25h ZHMtMC41LjAuMC9kb2NzL0NvbnRyb2wtTW9uYWQtQ29uc3RyYWluZWQuaHRtbD4uCgpZZXMsIHRo YXQgd291bGQgYnJlYWsgaXJyZXBlcmFibHkKCj4gSSB0aGluayB0aGUgcmVhbCBhbnN3ZXIgaXMg dG8gcmVtb3ZlIGBlbGVtYCBmcm9tIGBGb2xkYWJsZWAgYW5kIHB1dCBpdAo+IHNvbWV3aGVyZSBt b3JlIGFwcHJvcHJpYXRlLgoKUGVyaGFwcyBzbywgdGhvdWdoIG15IGd1ZXNzIGlzIHRoYXQgdGhp cyBpcyB1bmxpa2VseSB0byBoYXBwZW4uLi4KCk92ZXJhbGwsIHlvdXIgb2JqZWN0aW9ucyBhcmUg bGlrZWx5IHN1ZmZpY2llbnQuCgotLSAKICAgIFZpa3Rvci4KX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX18KTGlicmFyaWVzIG1haWxpbmcgbGlzdApMaWJyYXJp ZXNAaGFza2VsbC5vcmcKaHR0cDovL21haWwuaGFza2VsbC5vcmcvY2dpLWJpbi9tYWlsbWFuL2xp c3RpbmZvL2xpYnJhcmllcwo=