stateful-mtl-1.0.4: Stateful monad transformers with pure evaluation semantics. Source code Contents Index

Control.Monad.Array.Class

Synopsis

class Monad m => MonadArray m where type ArrayElem m readAt :: Int -> m (ArrayElem m) unsafeReadAt :: Int -> m (ArrayElem m) writeAt :: Int -> ArrayElem m -> m () unsafeWriteAt :: Int -> ArrayElem m -> m () replaceAt :: Int -> ArrayElem m -> m (ArrayElem m) askElems :: m [ArrayElem m] askAssocs :: m [(Int, ArrayElem m)] askSize :: m Int resize :: Int -> m () ensureSize :: Int -> m ()

Documentation

class Monad m => MonadArray m where Source

Type class abstraction for a monad with access to an underlying mutable array indexed by Ints. Minimal implementation: readAt or unsafeReadAt, writeAt or unsafeWriteAt, askSize, resize or ensureSize. Associated Types type ArrayElem m Source Methods readAt :: Int -> m (ArrayElem m) Source unsafeReadAt :: Int -> m (ArrayElem m) Source writeAt :: Int -> ArrayElem m -> m () Source unsafeWriteAt :: Int -> ArrayElem m -> m () Source replaceAt :: Int -> ArrayElem m -> m (ArrayElem m) Source askElems :: m [ArrayElem m] Source askAssocs :: m [(Int, ArrayElem m)] Source askSize :: m Int Source resize :: Int -> m () Source ensureSize :: Int -> m () Source Instances MonadArray m => MonadArray (MaybeT m) MonadArray m => MonadArray (ListT m) MonadArray (IntMapM e) (Monoid w, MonadArray m) => MonadArray (WriterT w m) (Monoid w, MonadArray m) => MonadArray (WriterT w m) MonadArray m => MonadArray (StateT s m) MonadArray m => MonadArray (StateT s m) MonadArray m => MonadArray (ReaderT r m) Monad m => MonadArray (IntMapT e m) (MonadST m, Monad m) => MonadArray (ArrayT e m) (Monad m, MArray a e m) => MonadArray (MArrayM a e m)

Produced by Haddock version 2.4.1