Idris2Doc : Data.IOArray.Prims

Data.IOArray.Prims

ArrayData : Type -> Type
Totality: total
Data.IOArray.Prims.prim__arrayGet : ArrayDataa -> Int -> PrimIOa
Data.IOArray.Prims.prim__arraySet : ArrayDataa -> Int -> a -> PrimIOUnit
Data.IOArray.Prims.prim__newArray : Int -> a -> PrimIO (ArrayDataa)