Copyright | (C) 2011 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | type families, MPTCs |
Safe Haskell | None |
Language | Haskell98 |
A higher-order MArray class.
Documentation
class Monad m => MArray1 a f m where Source
getBounds1 :: Ix i => a i (f e) -> m (i, i) Source
getNumElements1 :: Ix i => a i (f e) -> m Int Source
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 Source | |
MArray1 IOUArray Ptr IO Source | |
MArray1 IOUArray FunPtr IO Source | |
MArray1 IOUArray e IO => MArray1 (UArr IO) e IO Source | |
MArray1 (STUArray s) FunPtr (ST s) Source | |
MArray1 (STUArray s) StablePtr (ST s) Source | |
MArray1 (STUArray s) Ptr (ST s) Source | |
(MonadTrans t, Monad (t m), MonadUArray m, MArray1 (UArr m) f m) => MArray1 (UArr (t m)) f (t m) Source | |
MArray1 (STUArray s) e (ST s) => MArray1 (UArr (ST s)) e (ST s) Source |