monad-st-0.2.0.2: Provides a MonadST class

Portabilitytype families
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.ST.Class

Description

 

Documentation

class Monad m => MonadST m whereSource

Associated Types

type World m :: *Source

Methods

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

Instances

MonadST IO 
(MonadTrans t, MonadST m, Monad (t m)) => MonadST (t m) 
MonadST (ST s)