chp-spec-1.0.0: A mirror implementation of chp that generates a specification of the program

Control.Concurrent.CHPSpec.Channels.Ends

Documentation

reader :: Chan r w a -> r aSource

writer :: Chan r w a -> w aSource

readers :: [Chan r w a] -> [r a]Source

writers :: [Chan r w a] -> [w a]Source

claim :: Shared c a -> (c a -> CHP b) -> CHP bSource