Portability | type families, MPTCs |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
A higher-order MArray class.
Documentation
class Monad m => MArray1 a f m whereSource
getBounds1 :: Ix i => a i (f e) -> m (i, i)Source
getNumElements1 :: Ix i => a i (f e) -> m IntSource
newArray1 :: Ix i => (i, i) -> f e -> m (a i (f e))Source
newArray1_ :: Ix i => (i, i) -> m (a i (f e))Source
unsafeNewArray1_ :: Ix i => (i, i) -> m (a i (f e))Source
unsafeRead1 :: Ix i => a i (f e) -> Int -> m (f e)Source
unsafeWrite1 :: Ix i => a i (f e) -> Int -> f e -> m ()Source
MArray1 IOUArray StablePtr IO | |
MArray1 IOUArray Ptr IO | |
MArray1 IOUArray FunPtr IO | |
MArray1 IOUArray e IO => MArray1 (UArr IO) e IO | |
MArray1 (STUArray s) FunPtr (ST s) | |
MArray1 (STUArray s) StablePtr (ST s) | |
MArray1 (STUArray s) Ptr (ST s) | |
(MonadTrans t, Monad (t m), MonadUArray m, MArray1 (UArr m) f m) => MArray1 (UArr (t m)) f (t m) | |
MArray1 (STUArray s) e (ST s) => MArray1 (UArr (ST s)) e (ST s) |