0 | module Data.IOArray.Prims
 1 |
 2 | %default total
 3 |
 4 | export
 5 | data ArrayData : Type -> Type where [external]
 6 |
 7 | -- 'unsafe' primitive access, backend dependent
 8 | -- get and set assume that the bounds have been checked. Behaviour is undefined
 9 | -- otherwise.
10 | export %extern prim__newArray : forall a . Int -> a -> PrimIO (ArrayData a)
11 | export %extern prim__arrayGet : forall a . ArrayData a -> Int -> PrimIO a
12 | export %extern prim__arraySet : forall a . ArrayData a -> Int -> a -> PrimIO ()
13 |