Idris2Doc : Data.IOArray.Prims

Data.IOArray.Prims

dataArrayData : Type -> Type
Totality: total
prim__arrayGet : ArrayDataa -> Int -> PrimIOa
prim__arraySet : ArrayDataa -> Int -> a -> PrimIO ()
prim__newArray : Int -> a -> PrimIO (ArrayDataa)