Control.Monad.Array.Class

Documentation

class Monad m => MonadArray m where

Associated Types

data Arr m :: * -> * -> *

Methods

getBoundsM :: Ix i => Arr m i e -> m (i, i)

getNumElementsM :: Ix i => Arr m i e -> m Int

newArrayM :: Ix i => (i, i) -> e -> m (Arr m i e)

newArrayM_ :: Ix i => (i, i) -> m (Arr m i e)

unsafeNewArrayM_ :: Ix i => (i, i) -> m (Arr m i e)

unsafeReadM :: Ix i => Arr m i e -> Int -> m e

unsafeWriteM :: Ix i => Arr m i e -> Int -> e -> m ()

Instances

MonadArray IO

MonadArray STM

MonadArray (ST s)

MonadArray m => MonadArray (MaybeT m)

MonadArray m => MonadArray (ListT m)

MonadArray m => MonadArray (IdentityT m)

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

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

MonadArray m => MonadArray (StateT s m)

MonadArray m => MonadArray (StateT s m)

MonadArray m => MonadArray (ReaderT r m)

(MonadArray m, Error x) => MonadArray (ErrorT x m)

MonadArray m => MonadArray (ContT r m)

(MonadArray m, Monoid w) => MonadArray (RWST r w s m)

(MonadArray m, Monoid w) => MonadArray (RWST r w s m)

class MonadArrayTrans t where

Methods

liftArr :: MonadArray m => Arr m i e -> Arr (t m) i e

lowerArr :: MonadArray m => Arr (t m) i e -> Arr m i e

Instances

MonadArrayTrans MaybeT

MonadArrayTrans ListT

MonadArrayTrans IdentityT

Monoid w => MonadArrayTrans (WriterT w)

Monoid w => MonadArrayTrans (WriterT w)

MonadArrayTrans (StateT s)

MonadArrayTrans (StateT s)

MonadArrayTrans (ReaderT e)

Error x => MonadArrayTrans (ErrorT x)

MonadArrayTrans (ContT r)

Monoid w => MonadArrayTrans (RWST r w s)

Monoid w => MonadArrayTrans (RWST r w s)