Control.Monad.ST.Trans.Internal · STMonadTrans-0.4.8

newtypenewtype STT s (m :: Type -> Type) a

#

STT is the monad transformer providing polymorphic updateable references

Constructors

STT (State# s -> m (STTRet s a))

Instances30MonadError, MonadReader, MonadState, MonadWriter, MonadTrans, MArray, …

(MonadError e m, Functor m) => MonadError e (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadReader r m, Functor m) => MonadReader r (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadState s m, Functor m) => MonadState s (STT s1 m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadWriter w m, Functor m) => MonadWriter w (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
MonadTrans (STT s)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Int16 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Int32 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Int64 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Int8 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Word16 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Word32 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Word64 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Word8 (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Bool (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Char (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Double (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Float (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Int (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) Word (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STArray s) e (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) (FunPtr a) (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) (Ptr a) (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Applicative m, Monad m) => MArray (STUArray s) (StablePtr a) (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Monad m, Functor m) => Monad (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
Functor m => Functor (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadFix m, Functor m) => MonadFix (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadFail m, Functor m) => MonadFail (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Monad m, Functor m) => Applicative (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(Monad m, Alternative m) => Alternative (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal
(MonadIO m, Functor m) => MonadIO (STT s m)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal

valueunSTT :: STT s m a -> State# s -> m (STTRet s a)

#

datadata STTRet s a

#

STTRet is needed to encapsulate the unboxed state token that GHC passes around. This type is essentially a pair, but an ordinary pair is not not allowed to contain unboxed types.

Constructors

STTRet (State# s) a

Instances1Functor

Functor (STTRet s)Defined in STMonadTrans-0.4.8 · Control.Monad.ST.Trans.Internal

valueliftST :: Applicative m => ST s a -> STT s m a

#

Lifting the ST monad into STT. The library uses this function extensively to be able to reuse functions from ST.

valueliftSTT :: STT s m a -> State# s -> m (STTRet s a)

#