Hardware Monad Interface (work in progress)ContentsIndex
H.Concurrency
Contents
Thread control
Channels
MVars
Semaphores
Description
Concurrency support (inherited from Concurrent Haskell)
Synopsis
forkH :: H a -> H ()
yield :: H ()
newChan :: H (Chan a)
readChan :: Chan a -> H a
writeChan :: Chan a -> a -> H ()
isEmptyChan :: Chan a -> H Bool
getChanContents :: Chan a -> H [a]
writeList2Chan :: Chan a -> [a] -> H ()
newMVar :: a -> H (MVar a)
newEmptyMVar :: H (MVar a)
putMVar :: MVar a -> a -> H ()
takeMVar :: MVar a -> H a
readMVar :: MVar a -> H a
isEmptyMVar :: MVar a -> H Bool
modifyMVar :: MVar a -> (a -> H (a, b)) -> H b
modifyMVar_ :: MVar a -> (a -> H a) -> H ()
withMVar :: MVar a -> (a -> H b) -> H b
newQSem :: Int -> H QSem
signalQSem :: QSem -> H ()
waitQSem :: QSem -> H ()
withQSem :: QSem -> H a -> H a
Thread control
forkH :: H a -> H ()
yield :: H ()
Channels
newChan :: H (Chan a)
readChan :: Chan a -> H a
writeChan :: Chan a -> a -> H ()
isEmptyChan :: Chan a -> H Bool
getChanContents :: Chan a -> H [a]
writeList2Chan :: Chan a -> [a] -> H ()
MVars
newMVar :: a -> H (MVar a)
newEmptyMVar :: H (MVar a)
putMVar :: MVar a -> a -> H ()
takeMVar :: MVar a -> H a
readMVar :: MVar a -> H a
isEmptyMVar :: MVar a -> H Bool
modifyMVar :: MVar a -> (a -> H (a, b)) -> H b
modifyMVar_ :: MVar a -> (a -> H a) -> H ()
withMVar :: MVar a -> (a -> H b) -> H b
Semaphores
newQSem :: Int -> H QSem
signalQSem :: QSem -> H ()
waitQSem :: QSem -> H ()
withQSem :: QSem -> H a -> H a
Produced by Haddock version 0.6