chp-spec-1.0.0: A mirror implementation of chp that generates a specification of the program
Control.Concurrent.CHPSpec.Channels.Ends
data Chanin a Source
Instances
data Chanout a Source
data Shared c a Source
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