Documentation

newtype TChanRW (scope :: Scope) a #

readOnly :: Readable scope => TChanRW scope a -> TChanRW Read a #

writeOnly :: Writable scope => TChanRW scope a -> TChanRW Write a #

allowReading :: Writable scope => TChanRW scope a -> TChanRW ReadWrite a #

allowWriting :: Readable scope => TChanRW scope a -> TChanRW ReadWrite a #

newTChanRW :: STM (TChanRW ReadWrite a) #

writeTChanRW :: Writable scope => TChanRW scope a -> a -> STM () #

unGetTChanRW :: Writable scope => TChanRW scope a -> a -> STM () #

isEmptyTChanRW :: Readable scope => TChanRW scope a -> STM Bool #

readTChanRW :: Readable scope => TChanRW scope a -> STM a #

tryReadTChanRW :: Readable scope => TChanRW scope a -> STM (Maybe a) #

peekTChanRW :: Readable scope => TChanRW scope a -> STM a #

tryPeekTChanRW :: Readable scope => TChanRW scope a -> STM (Maybe a) #

newBroadcastTChanRW :: STM (TChanRW Write a) #

dupTChanRW :: Writable scopeIn => Readable scopeOut => TChanRW scopeIn a -> STM (TChanRW scopeOut a) #

cloneTChanRW :: Writable scopeIn => Readable scopeOut => TChanRW scopeIn a -> STM (TChanRW scopeOut a) #