- class Monad m => MonadArray e m | m -> e where
Documentation
class Monad m => MonadArray e m | m -> e whereSource
Type class abstraction for a monad with access to an underlying mutable array indexed by Int
s. Minimal implementation: readAt
or unsafeReadAt
, writeAt
or unsafeWriteAt
, getSize
, resize
or ensureSize
.
unsafeReadAt :: Int -> m eSource
writeAt :: Int -> e -> m ()Source
unsafeWriteAt :: Int -> e -> m ()Source
replaceAt :: Int -> e -> m eSource
getContents :: m [e]Source
ensureSize :: Int -> m ()Source
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) |