monad-st-0.2.4.1: Provides a MonadST class

Copyright(C) 2011 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitytype families
Safe HaskellSafe
LanguageHaskell98

Control.Monad.ST.Class

Description

 

Documentation

class Monad m => MonadST m where Source #

Minimal complete definition

liftST

Associated Types

type World m :: * Source #

Methods

liftST :: ST (World m) a -> m a Source #

Instances

MonadST IO Source # 

Associated Types

type World (IO :: * -> *) :: * Source #

Methods

liftST :: ST (World IO) a -> IO a Source #

(MonadTrans t, MonadST m, Monad (t m)) => MonadST (t m) Source # 

Associated Types

type World (t m :: * -> *) :: * Source #

Methods

liftST :: ST (World (t m)) a -> t m a Source #

MonadST (ST s) Source # 

Associated Types

type World (ST s :: * -> *) :: * Source #

Methods

liftST :: ST (World (ST s)) a -> ST s a Source #