Idris2Doc : Data.IOArray.Prims

Data.IOArray.Prims

data ArrayData : Type -> Type
  Totality: total
prim__arrayGet : ArrayData a -> Int -> PrimIO a
prim__arraySet : ArrayData a -> Int -> a -> PrimIO ()
prim__newArray : Int -> a -> PrimIO (ArrayData a)