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

Control.Monad.Array.ArrayT

Description

A monad that cleanly generalizes out implementation details of array manipulation in a monad. In general, this is likely to be the most efficient array transformer implementation made available in this library, but if improperly used, elements of this implementation may lead to segfaults.

Synopsis

type ArrayM s e = ArrayT e (ST s) data ArrayT e m a runArrayM :: Int -> e -> (forall s. ArrayM s e a) -> a runArrayM_ :: Int -> (forall s. ArrayM s e a) -> a runArrayT :: (MonadST m, Monad m) => Int -> e -> ArrayT e m a -> m a runArrayT_ :: (MonadST m, Monad m) => Int -> ArrayT e m a -> m a

Documentation

type ArrayM s e = ArrayT e (ST s) Source

Monad controlling safe access to an underlying array.

data ArrayT e m a Source

Monad transformer that safely grants the underlying monad access to a mutable array. Instances MonadReader r m => MonadReader r (ArrayT e m) MonadState s m => MonadState s (ArrayT e m) MonadWriter w m => MonadWriter w (ArrayT e m) MonadTrans (ArrayT e) Monad m => Monad (ArrayT e m) MonadFix m => MonadFix (ArrayT e m) MonadPlus m => MonadPlus (ArrayT e m) (MonadST m, Monad m) => MonadArray (ArrayT e m)

runArrayM :: Int -> e -> (forall s. ArrayM s e a) -> a Source

runArrayM_ :: Int -> (forall s. ArrayM s e a) -> a Source

runArrayT :: (MonadST m, Monad m) => Int -> e -> ArrayT e m a -> m a Source

runArrayT_ :: (MonadST m, Monad m) => Int -> ArrayT e m a -> m a Source

Produced by Haddock version 2.4.1