sameChannel | Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
sameReduceChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP |
SendAction | Control.Concurrent.CHP.Actions |
sendAction | Control.Concurrent.CHP.Actions |
Shared | Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
SingleEvent | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
skip | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
sorter | Control.Concurrent.CHP.Common |
sorter' | Control.Concurrent.CHP.Common |
split | Control.Concurrent.CHP.Common |
stop | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
stream | Control.Concurrent.CHP.Common |
StructuralParallel | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
StructuralSequence | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
structuralToCSP | Control.Concurrent.CHP.Traces |
structuralToVCR | Control.Concurrent.CHP.Traces |
StructuralTrace | |
1 (Type/Class) | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
2 (Data Constructor) | Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces |
succ | Control.Concurrent.CHP.Common |
syncAndWaitForPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
syncBarrier | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |