Agda.Utils.IArray

Array utilities.

Documentation

(!?) :: (IArray a e, Ix i) => a i e -> i -> Maybe e

Returns Just the element of an immutable array at the specified index, or Nothing if the index is out of bounds.

module Data.Array.IArray