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 #

Minimal complete definition

liftST

Associated Types

type World m :: * #

Methods

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

Instances

MonadST IO # 

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

MonadST (ST s) # 

Associated Types

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

Methods

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