monadIO- Overloading of concurrency variables

MaintainerJohn Launchbury,
Safe HaskellSafe-Infered



Overloads the standard operations on MVars, Chans, and threads, as defined in Control.Concurrent. This module is name-for-name swappable with Control.Concurrent unless ghc-specific operations like mergeIO or threadWaitRead are used.

The standard operations on MVar and Chan (such as newEmptyMVar, or putChan) are overloaded over the MonadIO class. A monad m is declared an instance of MonadIO by defining a function

 liftIO :: IO a -> m a

The explicit concurrency operations over threads are available if a monad m is declared an instance of the HasFork class, by defining a function

 fork :: m () -> m ThreadId
  • Example use.

Suppose you define a new monad (EIO say) which is like IO except that it provides an environment too. You will need to declare EIO and instance of the Monad class. In addition, you can declare it in the MonadIO class. For example:

  newtype EIO a = EIO {useEnv :: Env -> IO a}
  instance MonadIO EIO where
    liftIO m = EIO $ (\_ -> m)

Now the standard operations on MVar and Chan (such as newEmptyMVar, or putChan are immediately available as EIO operations. To enable EIO to fork explicit threads, and to access operations such as killThread and threadDelay, use the declaration

  instance HasFork EIO where
    fork em = EIO $ \e -> forkIO (em `useEnv` e)
  • Notes.

The MVar operations do not include: withMVar, modifyMVar, or addMVarFinalizer. Consider using TMVars for these instead. In particular, modifyMVar seems to promise atomicity, but it is NOT atomic. In contrast TMVars can be used just like MVars, and they will behave the way you expect (module Control.Concurrent.STM.MonadIO).



class Monad m => MonadIO m where

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:


liftIO :: IO a -> m a

Lift a computation from the IO monad.


data MVar a

An MVar (pronounced "em-var") is a synchronising variable, used for communication between concurrent threads. It can be thought of as a a box, which may be empty or full.


newMVar :: MonadIO io => a -> io (MVar a)Source

takeMVar :: MonadIO io => MVar a -> io aSource

putMVar :: MonadIO io => MVar a -> a -> io ()Source

readMVar :: MonadIO io => MVar a -> io aSource

swapMVar :: MonadIO io => MVar a -> a -> io aSource

tryTakeMVar :: MonadIO io => MVar a -> io (Maybe a)Source

tryPutMVar :: MonadIO io => MVar a -> a -> io BoolSource

data Chan a

Chan is an abstract type representing an unbounded FIFO channel.


newChan :: MonadIO io => io (Chan a)Source

writeChan :: MonadIO io => Chan a -> a -> io ()Source

readChan :: MonadIO io => Chan a -> io aSource

dupChan :: MonadIO io => Chan a -> io (Chan a)Source

unGetChan :: MonadIO io => Chan a -> a -> io ()Source

getChanContents :: MonadIO io => Chan a -> io [a]Source

writeList2Chan :: MonadIO io => Chan a -> [a] -> io ()Source

class MonadIO io => HasFork io whereSource


fork :: io () -> io ThreadIdSource


data ThreadId

A ThreadId is an abstract type representing a handle to a thread. ThreadId is an instance of Eq, Ord and Show, where the Ord instance implements an arbitrary total ordering over ThreadIds. The Show instance lets you convert an arbitrary-valued ThreadId to string form; showing a ThreadId value is occasionally useful when debugging or diagnosing the behaviour of a concurrent program.

Note: in GHC, if you have a ThreadId, you essentially have a pointer to the thread itself. This means the thread itself can't be garbage collected until you drop the ThreadId. This misfeature will hopefully be corrected at a later date.

Note: Hugs does not provide any operations on other threads; it defines ThreadId as a synonym for ().

forkIO :: IO () -> IO ThreadIdSource

Included to maintain name-for-name compatibility with Control.Concurrent

throwTo :: (Exception e, HasFork io) => ThreadId -> e -> io ()Source

yield :: HasFork io => io ()Source