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

Defined in Net.IO

Methods

fork :: IO () -> IO ThreadId

kill :: ThreadId -> IO ()

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

Methods

delay :: Int -> io ()

Instances

DelayIO IO

Defined in Net.IO

Methods

delay :: Int -> IO ()

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

Defined in Net.Concurrent

Methods

delay :: Int -> 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

Defined in Net.IO

Methods

newChan :: IO (Chan a)

readChan :: Chan a -> IO a

writeChan :: Chan a -> a -> IO ()

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

Defined in Net.Concurrent

Methods

newChan :: t m (c a)

readChan :: c a -> t m a

writeChan :: c a -> a -> 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 :: v a -> io a

readMVar :: v a -> io a

Instances

MVarIO MVar IO

Defined in Net.IO

Methods

newEmptyMVar :: IO (MVar a)

newMVar :: a -> IO (MVar a)

putMVar :: MVar a -> a -> IO ()

takeMVar :: MVar a -> IO a

readMVar :: MVar a -> IO a

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

Defined in Net.Concurrent

Methods

newEmptyMVar :: t m (v a)

newMVar :: a -> t m (v a)

putMVar :: v a -> a -> t m ()

takeMVar :: v a -> t m a

readMVar :: v a -> t m a

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

Defined in Net.IO

Methods

newRef :: a -> IO (IORef a)

readRef :: IORef a -> IO a

writeRef :: IORef a -> a -> IO ()

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

Defined in Net.Concurrent

Methods

newRef :: a -> t m (c a)

readRef :: c a -> t m a

writeRef :: c a -> a -> t m ()