Portability | type families, MPTCs |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class Monad m => MonadArray m whereSource
getBoundsM :: Ix i => Arr m i e -> m (i, i)Source
getNumElementsM :: Ix i => Arr m i e -> m IntSource
newArrayM :: Ix i => (i, i) -> e -> m (Arr m i e)Source
newArrayM_ :: Ix i => (i, i) -> m (Arr m i e)Source
unsafeNewArrayM_ :: Ix i => (i, i) -> m (Arr m i e)Source
unsafeReadM :: Ix i => Arr m i e -> Int -> m eSource
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 whereSource
liftArr :: MonadArray m => Arr m i e -> Arr (t m) i eSource
lowerArr :: MonadArray m => Arr (t m) i e -> Arr m i eSource
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) |