stateful-mtl-1.0.3: Stateful monad transformers with pure evaluation semantics.Source codeContentsIndex
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.
show/hide Instances
runArrayM :: Int -> e -> (forall s. ArrayM s e a) -> aSource
runArrayM_ :: Int -> (forall s. ArrayM s e a) -> aSource
runArrayT :: (MonadST m, Monad m) => Int -> e -> ArrayT e m a -> m aSource
runArrayT_ :: (MonadST m, Monad m) => Int -> ArrayT e m a -> m aSource
Produced by Haddock version 2.4.1