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

Control.Monad.Array.IntMap

Description

A module implementing the array abstraction on a purely functional IntMap. When attempting to debug a complex array-using algorithm, it may sometimes be useful to use a less segfault-prone implementation. In addition, the execXXX commands allow the final state of the IntMap to be returned.

Synopsis

data IntMapT e m a data IntMapM e a evalIntMapT :: Monad m => e -> IntMapT e m a -> m a evalIntMapM :: e -> IntMapM e a -> a execIntMapT :: Monad m => e -> IntMapT e m a -> m (IntMap e) execIntMapM :: e -> IntMapM e a -> IntMap e execIntMapT_ :: Monad m => IntMapT e m a -> m (IntMap e) evalIntMapT_ :: Monad m => IntMapT e m a -> m a

Documentation

data IntMapT e m a Source

An array transformer with an IntMap on the back end. Provides decent performance while retaining a purely functional back end. Note: resizing operations have no effect, and the getSize operation returns the number of associations in the IntMap. Instances MonadReader r m => MonadReader r (IntMapT e m) MonadState s m => MonadState s (IntMapT e m) MonadWriter w m => MonadWriter w (IntMapT e m) Monad m => MonadArray e (IntMapT e m) MonadTrans (IntMapT e) Monad m => Monad (IntMapT e m) MonadFix m => MonadFix (IntMapT e m) MonadPlus m => MonadPlus (IntMapT e m) MonadIO m => MonadIO (IntMapT e m)

data IntMapM e a Source

Basic monad version of IntMapT. Instances MonadArray e (IntMapM e) Monad (IntMapM e) MonadFix (IntMapM e)

evalIntMapT :: Monad m => e -> IntMapT e m a -> m a Source

Evaluates an IntMapT computation with the specified default element.

evalIntMapM :: e -> IntMapM e a -> a Source

execIntMapT :: Monad m => e -> IntMapT e m a -> m (IntMap e) Source

Evaluates an IntMapT computation with the specified default element, returning the final IntMap.

execIntMapM :: e -> IntMapM e a -> IntMap e Source

execIntMapT_ :: Monad m => IntMapT e m a -> m (IntMap e) Source

Evaluates an IntMapT computation with no default element specified, returning the final IntMap.

evalIntMapT_ :: Monad m => IntMapT e m a -> m a Source

Evaluates an IntMapT computation with no default element specified.

Produced by Haddock version 2.4.1