Control.Concurrent.CHPSpec.Channels.Communication
- class ReadableChannel chanEnd where
- readChannel :: chanEnd a -> CHP a
- extReadChannel :: chanEnd a -> (a -> CHP b) -> CHP b
- class WriteableChannel chanEnd where
- writeChannel :: chanEnd a -> a -> CHP ()
- extWriteChannel :: chanEnd a -> CHP a -> CHP ()
- extWriteChannel' :: chanEnd a -> CHP (a, b) -> CHP b
- writeValue :: WriteableChannel chanEnd => a -> chanEnd a -> CHP ()
- writeChannelStrict :: (NFData a, WriteableChannel chanEnd) => chanEnd a -> a -> CHP ()
Documentation
class ReadableChannel chanEnd whereSource
Methods
readChannel :: chanEnd a -> CHP aSource
extReadChannel :: chanEnd a -> (a -> CHP b) -> CHP bSource
Currently, extended inputs and outputs are modelled (incorrectly) as standard inputs and outputs.
Instances
class WriteableChannel chanEnd whereSource
Methods
writeChannel :: chanEnd a -> a -> CHP ()Source
extWriteChannel :: chanEnd a -> CHP a -> CHP ()Source
Currently, extended inputs and outputs are modelled (incorrectly) as standard inputs and outputs.
extWriteChannel' :: chanEnd a -> CHP (a, b) -> CHP bSource
Currently, extended inputs and outputs are modelled (incorrectly) as standard inputs and outputs.
Instances
writeValue :: WriteableChannel chanEnd => a -> chanEnd a -> CHP ()Source
writeChannelStrict :: (NFData a, WriteableChannel chanEnd) => chanEnd a -> a -> CHP ()Source
This function strictly evaluates its second argument and then behaves like
writeChannel.