Я делаю много массивов, тип индекса которых Bounded
и диапазон индексов которых (minBound, maxBound)
. Для такого массива проверка границ должна быть ненужной. Как я могу убедить GHC устранить проверку границ?
В моем конкретном приложении используются как ядро, так и unboxed неизменяемые массивы, но меня интересуют все типы массивов Haskell.