Control.Concurrent.Chan.Typed

Documentation

newtype ChanRW (scope :: Scope) a

Constructors

ChanRW (Chan a)

readOnly :: Readable scope => ChanRW scope a -> ChanRW Read a

writeOnly :: Writable scope => ChanRW scope a -> ChanRW Write a

allowReading :: Writable scope => ChanRW scope a -> ChanRW ReadWrite a

allowWriting :: Readable scope => ChanRW scope a -> ChanRW ReadWrite a

newChanRW :: IO (ChanRW ReadWrite a)

writeChanRW :: Writable scope => ChanRW scope a -> a -> IO ()

readChanRW :: Readable scope => ChanRW scope a -> IO a

dupChanRW :: Writable scopeIn => Readable scopeOut => ChanRW scopeIn a -> IO (ChanRW scopeOut a)