Control.Monad.Array.Class

Documentation

class Monad m => MonadArray e m | m -> e where

Type class abstraction for a monad with access to an underlying mutable array indexed by Ints. Minimal implementation: readAt or unsafeReadAt, writeAt or unsafeWriteAt, getSize, resize or ensureSize.

Methods

readAt :: Int -> m e

unsafeReadAt :: Int -> m e

writeAt :: Int -> e -> m ()

unsafeWriteAt :: Int -> e -> m ()

replaceAt :: Int -> e -> m e

getContents :: m [e]

getSize :: m Int

resize :: Int -> m ()

ensureSize :: Int -> m ()

Instances

MonadArray e m => MonadArray e (ListT m)

MonadArray e m => MonadArray e (MaybeT m)

MonadArray e (ArrayM e)

MonadArray e (IntMapM e)

(Monoid w, MonadArray e m) => MonadArray e (WriterT w m)

(Monoid w, MonadArray e m) => MonadArray e (WriterT w m)

MonadArray e m => MonadArray e (ReaderT r m)

MonadArray e m => MonadArray e (StateT s m)

MonadArray e m => MonadArray e (StateT s m)

Monad m => MonadArray e (ArrayT e m)

Monad m => MonadArray e (IntMapT e m)

(Monad m, MArray a e m) => MonadArray e (MArrayM a e m)