Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Utils.IArray

Description

Array utilities.

Synopsis

Documentation

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

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