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

Control.Monad.Array.Class

Synopsis

class Monad m => MonadArray e m | m -> e where 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 ()

Documentation

class Monad m => MonadArray e m | m -> e 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, getSize, resize or ensureSize. Methods readAt :: Int -> m e Source unsafeReadAt :: Int -> m e Source writeAt :: Int -> e -> m () Source unsafeWriteAt :: Int -> e -> m () Source replaceAt :: Int -> e -> m e Source getContents :: m [e] Source getSize :: m Int Source resize :: Int -> m () Source ensureSize :: Int -> m () Source Instances MonadArray e m => MonadArray e (ListT m) MonadArray e m => MonadArray e (MaybeT m) 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 (IntMapT e m) (MonadST m, Monad m) => MonadArray e (ArrayT e m) (Monad m, MArray a e m) => MonadArray e (MArrayM a e m)

Produced by Haddock version 2.4.1