lio-0.11.6.0: Labeled IO Information Flow Control Library

Safe HaskellSafe
LanguageHaskell98

LIO.Concurrent.LChan.Trans

Description

MonadLIO generalizations for LIO.Concurrent.LChan.

Synopsis

Documentation

newLChan :: (MonadLIO l m, Label l) => l -> m (LChan l a) Source #

newLChanP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m (LChan l a) Source #

writeLChan :: (MonadLIO l m, Label l) => LChan l a -> a -> m () Source #

writeLChanP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LChan l a -> a -> m () Source #

readLChan :: (MonadLIO l m, Label l) => LChan l a -> m a Source #

readLChanP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LChan l a -> m a Source #

dupLChan :: (MonadLIO l m, Label l) => LChan l a -> m (LChan l a) Source #

dupLChanP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LChan l a -> m (LChan l a) Source #