chp-1.5.1: An implementation of concurrency ideas from Communicating Sequential ProcessesContentsIndex
Search:
*&&&*
*****
*<<<*
*>>>*
->|
<&>
<->
<->|
</>
<|*|>
<||>
=*=
accumulatingInfiniteBuffer
advanceTime
alt
AnyToAnyChannel
anyToAnyChannel
anyToAnyChannel'
AnyToManyChannel
anyToManyChannel
anyToManyChannel'
AnyToOneChannel
anyToOneChannel
anyToOneChannel'
arrLabel
arrowProcess
arrowProcessLabel
arrStrict
arrStrictLabel
assertCHP
assertCHP'
assertCHPEqual
assertCHPEqual'
Barrier
BarrierSync
BarrierSyncIndiv
BroadcastChanin
BroadcastChanout
Chan
Chanin
chanLabel
Channel
ChannelComm
ChannelLabels
ChannelRead
ChannelTuple
ChannelWrite
ChanOpts
1 (Type/Class)
2 (Data Constructor)
chanOptsLabel
chanOptsShow
Chanout
checkForPoison
CHP
CHPTest
CHPTestFail
CHPTestPass
CHPTestResult
claim
Clock
ClockSync
ClockSyncIndiv
ConsoleChans
1 (Type/Class)
2 (Data Constructor)
consoleProcess
consume
consumeAlongside
CSPTrace
1 (Type/Class)
2 (Data Constructor)
cStderr
cStdin
cStdout
currentPhase
cycle
defaultChanOpts
dualCycle
dualPipeline
embedCHP
embedCHP1
embedCHP1_
embedCHP_
emptyTrace
enroll
Enrollable
Enrolled
EnrolledBarrier
enrollList
enrollPair
EventHierarchy
every
extId
extReadChannel
extWriteChannel
extWriteChannel'
fifoBuffer
filter
fork
forking
ForkingT
furtherEnroll
getAllEventsInHierarchy
getBarrierIdentifier
getChannelIdentifier
getCSPPlain
getCurrentTime
getStructuralPlain
getVCRPlain
id
infiniteBuffer
join
joinList
labelAll
labelChannel
liftCHP
loop
LoopWhileT
makeCustomRecvAction
makeCustomSendAction
makeRecvAction
makeRecvAction'
makeSendAction
makeSendAction'
ManyToAnyChannel
manyToAnyChannel
manyToAnyChannel'
ManyToOneChannel
manyToOneChannel
manyToOneChannel'
map
map'
merger
MonadCHP
newBarrier
newBarrierWithLabel
newChannel
newChannel'
newChannelList
newChannelListWithLabels
newChannelListWithStem
newChannelRW
newChannels
newChannelWR
newClock
newClockWithLabel
newPhasedBarrier
newPhasedBarrierCustomInc
newPhasedBarrierCustomShowInc
newPhasedBarrierWithLabel
newPhasedBarrierWithLabelCustomInc
newPhasedBarrierWithLabelCustomShowInc
nullRecvAction
nullSendAction
OneToAnyChannel
oneToAnyChannel
oneToAnyChannel'
OneToManyChannel
oneToManyChannel
oneToManyChannel'
OneToOneChannel
oneToOneChannel
oneToOneChannel'
onPoisonRethrow
onPoisonTrap
overflowingBuffer
overwritingBuffer
parDelta
PhasedBarrier
pipeline
poison
Poisonable
poisonAll
prefix
prettyPrint
priAlt
ProcessPipeline
ProcessPipelineLabel
propCHPInOut
qcCHP
qcCHP'
QuickCheckCHP
ReadableChannel
readChannel
reader
readers
RecordedEvent
RecordedEventType
RecordedIndivEvent
recordedIndivEventLabel
recordedIndivEventSeq
RecvAction
recvAction
ReduceChanin
ReduceChanout
repeat
replicate
resign
runCHP
runCHPAndTrace
runCHP_
runCHP_CSPTrace
runCHP_CSPTraceAndPrint
runCHP_StructuralTrace
runCHP_StructuralTraceAndPrint
runCHP_TraceOff
runCHP_VCRTrace
runCHP_VCRTraceAndPrint
runParallel
runParallel_
runParMapM
runParMapM_
runPipeline
runPipelineLabel
sameChannel
sameReduceChannel
SendAction
sendAction
Shared
SingleEvent
skip
sorter
sorter'
split
stop
stream
StructuralParallel
StructuralSequence
structuralToCSP
structuralToVCR
StructuralTrace
1 (Type/Class)
2 (Data Constructor)
succ
syncBarrier
tail
tap
testCHP
testCHP'
testCHPInOut
throwPoison
Trace
TraceOff
valueStore
valueStore'
vcrToCSP
VCRTrace
1 (Type/Class)
2 (Data Constructor)
wait
Waitable
waitFor
waitForPhase
waitUnbounded
while
wireCycle
wireDualCycle
wireDualPipeline
wirePipeline
withCheck
WriteableChannel
writeChannel
writeChannelStrict
writer
writers
writeValue
|->
|->|
|->|^
|<->
|<->|
|<-|