Net.Concurrent

Concurrency primitives abstracted away from the IO monad

Documentation

class (Functor io, Monad io) => ForkIO io where

Methods

fork :: io () -> io ThreadId

kill :: ThreadId -> io ()

Instances

ForkIO IO

class (Functor io, Monad io) => DelayIO io where

Methods

delay :: Int -> io ()

Instances

DelayIO IO

(MonadTrans t, Monad m, Functor (t m), Monad (t m), DelayIO m) => DelayIO (t m)

class (Functor io, Monad io) => ChannelIO c io | io -> c where

Methods

newChan :: io (c a)

readChan :: c a -> io a

writeChan :: c a -> a -> io ()

Instances

ChannelIO Chan IO

(MonadTrans t, Monad m, Functor (t m), Monad (t m), ChannelIO c m) => ChannelIO c (t m)

class (Functor io, Monad io) => MVarIO v io | io -> v where

Minimal complete definition

newEmptyMVar, putMVar, takeMVar, readMVar

Methods

newEmptyMVar :: io (v a)

newMVar :: a -> io (v a)

putMVar :: v a -> a -> io ()

takeMVar, readMVar :: v a -> io a

Instances

MVarIO MVar IO

(MonadTrans t, Monad m, Functor (t m), Monad (t m), MVarIO v m) => MVarIO v (t m)

class (Functor io, Monad io) => RefIO r io | io -> r where

Methods

newRef :: a -> io (r a)

readRef :: r a -> io a

writeRef :: r a -> a -> io ()

Instances

RefIO IORef IO

(MonadTrans t, Monad m, Functor (t m), Monad (t m), RefIO c m) => RefIO c (t m)