IdrisDoc: Data.IOArray

Data.IOArray

unsafeWriteArray : IOArray elem -> Int -> elem -> IO ()

Write an element at a location in an array.
There is no bounds checking, hence this is unsafe. Safe interfaces can
be implemented on top of this, either with a run time or compile time
check.

unsafeReadArray : IOArray elem -> Int -> IO elem

Read the element at a location in an array.
There is no bounds checking, hence this is unsafe. Safe interfaces can
be implemented on top of this, either with a run time or compile time
check.

newArray : Int -> elem -> IO (IOArray elem)

Create a new array of the given size, with all entries set to the
given default element.

data IOArray : Type -> Type
MkIOArray : ArrayData elem -> IOArray elem