а ну или modify, да

он кажется тоже должен unsafeThaw делать

Не, там не вернёшь данные

там же ST s ()

а блин, да

тогда unsafeThaw

надо поизучать векторную машинерию видимо, с наскоку не въедешь

там есть тайпкласс MVector, который абстрагирует с одной стороны разные типы векторов, с другой — разные монады

вот собственно и всё

алгоритмы написаны через него, чтобы во всех случаях можно было использовать

но они не специализируются конечно :)

точнее, там везде INLINE прагмы распиханы

но у меня что-то своё и с ними не специализировалось, только с SPECIALISE

это значит будет медленно?

это значит как повезёт

такая маленькая штука наверное заинлайнится

у меня вектор вылез вот откуда — есть задача проверить несколько десятков тысяч Integerов на вхождение в списки (это x509/CRL).  Списки могут быть длинными, сотни и тысячи элементов. В конечном счете оказалось, что этих сравнений набежало  порядка 300 миллионов, и это реально тормозит.

Поэтому если есть другие компактные (Set Integer не очень) структуры с быстрым лукапом, то я поменяю реализацию, просто первое что пришло в голову — вектор и бинарный поиск — самое разумное.

интегеров десятки тысяч, а в списках только тысячи?

может местами поменять лукап?

интеджеры хранить в массиве бестолковая идея, надо то что анбоксится