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

Control.Monad.Array.Unboxed

Documentation

type UArrayM s e = UArrayT e (ST s) Source

newtype UArrayT e m a Source

Constructors UArrayT runUArrayT :: StateT (MUArr e (StateThread m)) m a Instances MonadReader r m => MonadReader r (UArrayT e m) MonadState s m => MonadState s (UArrayT e m) MonadWriter w m => MonadWriter w (UArrayT e m) MonadTrans (UArrayT e) Monad m => Monad (UArrayT e m) MonadFix m => MonadFix (UArrayT e m) MonadIO m => MonadIO (UArrayT e m) (UA e, MonadST m, Monad m) => MonadArray (UArrayT e m)

evalUArrayT :: (UA e, MonadST m, Monad m) => Int -> UArrayT e m a -> m a Source

defaultUA :: UA e => e Source

evalUArrayM :: UA e => Int -> (forall s. UArrayM s e a) -> a Source

Produced by Haddock version 2.4.1