Data.IOArray.Prims

Definitions

data ArrayData : Type -> Type

Totality: total
Visibility: export

prim__newArray : Int -> a -> PrimIO (ArrayData a)

prim__arrayGet : ArrayData a -> Int -> PrimIO a

prim__arraySet : ArrayData a -> Int -> a -> PrimIO ()