Data.PrimitiveArray.Checked

This module exports everything that Data.PrimitiveArray exports, but it will do some bounds-checking on certain operations.

Checked are: (!)

Documentation

module Data.PrimitiveArray

(!) :: (Show sh, Unbox t, Index sh) => Unboxed sh t -> sh -> t

Bounds-checked version of indexing.

First, we check via inBounds, second we check if the linear index is outside of the allocated area.