monadic-arrays-0.2.1.3: Boxed and unboxed arrays for monad transformers

Portabilitytype families, MPTCs
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Data.Array.MArray.Extras

Description

A higher-order MArray class.

Documentation

class Monad m => MArray1 a f m whereSource

Methods

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

Instances

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)