chp-1.1.1: An implementation of concurrency ideas from Communicating Sequential ProcessesContentsIndex
Search:
<&>
<->
</>
<|*|>
<||>
alt
AnyToAnyChannel
anyToAnyChannel
AnyToManyChannel
anyToManyChannel
AnyToOneChannel
anyToOneChannel
arrowProcess
Barrier
BarrierSync
BarrierSyncIndiv
BroadcastChanin
BroadcastChanout
Chan
Chanin
Channel
ChannelComm
ChannelLabels
ChannelRead
ChannelTuple
ChannelWrite
Chanout
checkForPoison
CHP
claim
ConsoleChans
1 (Type/Class)
2 (Data Constructor)
consoleProcess
consume
CSPTrace
1 (Type/Class)
2 (Data Constructor)
cStderr
cStdin
cStdout
currentPhase
cycle
emptyTrace
enroll
Enrollable
Enrolled
EnrolledBarrier
enrollList
enrollPair
EventHierarchy
every
extId
extReadChannel
extWriteChannel
fifoBuffer
filter
fork
forking
ForkingT
getAllEventsInHierarchy
getBarrierIdentifier
getChannelIdentifier
id
infiniteBuffer
join
liftCHP
loop
LoopWhileT
ManyToAnyChannel
manyToAnyChannel
ManyToOneChannel
manyToOneChannel
map
map'
merger
MonadCHP
newBarrier
newBarrierWithLabel
newChannel
newChannelList
newChannelListWithLabels
newChannelListWithStem
newChannelRW
newChannels
newChannelWithLabel
newChannelWR
newPhasedBarrier
newPhasedBarrierWithLabel
OneToAnyChannel
oneToAnyChannel
OneToManyChannel
oneToManyChannel
OneToOneChannel
oneToOneChannel
onPoisonRethrow
onPoisonTrap
overflowingBuffer
overwritingBuffer
parDelta
PhasedBarrier
pipeline
poison
Poisonable
poisonAll
prefix
prettyPrint
priAlt
ProcessPipeline
ReadableChannel
readChannel
reader
readers
RecordedEvent
RecordedEventType
RecordedIndivEvent
ReduceChanin
ReduceChanout
repeat
replicate
resign
runCHP
runCHPAndTrace
runCHP_
runCHP_CSPTrace
runCHP_CSPTraceAndPrint
runCHP_StructuralTrace
runCHP_StructuralTraceAndPrint
runCHP_VCRTrace
runCHP_VCRTraceAndPrint
runParallel
runParallel_
runPipeline
Shared
SingleEvent
skip
sorter
sorter'
split
stop
stream
StructuralParallel
StructuralSequence
StructuralTrace
1 (Type/Class)
2 (Data Constructor)
succ
syncBarrier
tap
throwPoison
Trace
TraceOff
valueStore
valueStore'
VCRTrace
1 (Type/Class)
2 (Data Constructor)
waitFor
waitForPhase
while
wireCycle
wirePipeline
WriteableChannel
writeChannel
writeChannelStrict
writer
writers
|->|
|<-|