chp-1.5.1: An implementation of concurrency ideas from Communicating Sequential Processes Contents Index

Search:

*&&&* Control.Concurrent.CHP.Arrow ***** Control.Concurrent.CHP.Arrow *<<<* Control.Concurrent.CHP.Arrow *>>>* Control.Concurrent.CHP.Arrow ->| Control.Concurrent.CHP.Utils <&> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP <-> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP <->| Control.Concurrent.CHP.Utils </> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP <|*|> Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP <||> Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP =*= Control.Concurrent.CHP.Test accumulatingInfiniteBuffer Control.Concurrent.CHP.Buffers advanceTime Control.Concurrent.CHP.Common alt Control.Concurrent.CHP.Alt, Control.Concurrent.CHP AnyToAnyChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToAnyChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToAnyChannel' Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP AnyToManyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP anyToManyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP anyToManyChannel' Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP AnyToOneChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToOneChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToOneChannel' Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP arrLabel Control.Concurrent.CHP.Arrow arrowProcess Control.Concurrent.CHP.Arrow arrowProcessLabel Control.Concurrent.CHP.Arrow arrStrict Control.Concurrent.CHP.Arrow arrStrictLabel Control.Concurrent.CHP.Arrow assertCHP Control.Concurrent.CHP.Test assertCHP' Control.Concurrent.CHP.Test assertCHPEqual Control.Concurrent.CHP.Test assertCHPEqual' Control.Concurrent.CHP.Test Barrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP BarrierSync Control.Concurrent.CHP.Traces BarrierSyncIndiv Control.Concurrent.CHP.Traces BroadcastChanin Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP BroadcastChanout Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP Chan Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Chanin Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP chanLabel Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Channel Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP ChannelComm Control.Concurrent.CHP.Traces ChannelLabels Control.Concurrent.CHP.Traces ChannelRead Control.Concurrent.CHP.Traces ChannelTuple Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP ChannelWrite Control.Concurrent.CHP.Traces ChanOpts 1 (Type/Class) Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP 2 (Data Constructor) Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP chanOptsLabel Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP chanOptsShow Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Chanout Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP checkForPoison Control.Concurrent.CHP.Monad, Control.Concurrent.CHP CHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP CHPTest Control.Concurrent.CHP.Test CHPTestFail Control.Concurrent.CHP.Test CHPTestPass Control.Concurrent.CHP.Test CHPTestResult Control.Concurrent.CHP.Test claim Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Clock Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP ClockSync Control.Concurrent.CHP.Traces ClockSyncIndiv Control.Concurrent.CHP.Traces ConsoleChans 1 (Type/Class) Control.Concurrent.CHP.Console 2 (Data Constructor) Control.Concurrent.CHP.Console consoleProcess Control.Concurrent.CHP.Console consume Control.Concurrent.CHP.Common consumeAlongside Control.Concurrent.CHP.Common CSPTrace 1 (Type/Class) Control.Concurrent.CHP.Traces.CSP, Control.Concurrent.CHP.Traces 2 (Data Constructor) Control.Concurrent.CHP.Traces.CSP, Control.Concurrent.CHP.Traces cStderr Control.Concurrent.CHP.Console cStdin Control.Concurrent.CHP.Console cStdout Control.Concurrent.CHP.Console currentPhase Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP cycle Control.Concurrent.CHP.Utils defaultChanOpts Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP dualCycle Control.Concurrent.CHP.Utils dualPipeline Control.Concurrent.CHP.Utils embedCHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP embedCHP1 Control.Concurrent.CHP.Monad, Control.Concurrent.CHP embedCHP1_ Control.Concurrent.CHP.Monad, Control.Concurrent.CHP embedCHP_ Control.Concurrent.CHP.Monad, Control.Concurrent.CHP emptyTrace Control.Concurrent.CHP.Traces enroll Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP Enrollable Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP Enrolled Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP EnrolledBarrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP enrollList Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP enrollPair Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP EventHierarchy Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces every Control.Concurrent.CHP.Alt, Control.Concurrent.CHP extId Control.Concurrent.CHP.Common extReadChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP extWriteChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP extWriteChannel' Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP fifoBuffer Control.Concurrent.CHP.Buffers filter Control.Concurrent.CHP.Common fork Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP forking Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP ForkingT Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP furtherEnroll Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP getAllEventsInHierarchy Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces getBarrierIdentifier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP getChannelIdentifier Control.Concurrent.CHP.Channels, Control.Concurrent.CHP getCSPPlain Control.Concurrent.CHP.Traces.CSP, Control.Concurrent.CHP.Traces getCurrentTime Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP getStructuralPlain Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces getVCRPlain Control.Concurrent.CHP.Traces.VCR, Control.Concurrent.CHP.Traces id Control.Concurrent.CHP.Common infiniteBuffer Control.Concurrent.CHP.Buffers join Control.Concurrent.CHP.Common joinList Control.Concurrent.CHP.Common labelAll Control.Concurrent.CHP.Traces labelChannel Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP liftCHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP loop Control.Concurrent.CHP.Monad, Control.Concurrent.CHP LoopWhileT Control.Concurrent.CHP.Monad, Control.Concurrent.CHP makeCustomRecvAction Control.Concurrent.CHP.Actions makeCustomSendAction Control.Concurrent.CHP.Actions makeRecvAction Control.Concurrent.CHP.Actions makeRecvAction' Control.Concurrent.CHP.Actions makeSendAction Control.Concurrent.CHP.Actions makeSendAction' Control.Concurrent.CHP.Actions ManyToAnyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToAnyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToAnyChannel' Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP ManyToOneChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToOneChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToOneChannel' Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP map Control.Concurrent.CHP.Common map' Control.Concurrent.CHP.Common merger Control.Concurrent.CHP.Common MonadCHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP newBarrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newBarrierWithLabel Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newChannel Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannel' Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelList Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelListWithLabels Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelListWithStem Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelRW Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannels Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelWR Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newClock Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP newClockWithLabel Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP newPhasedBarrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierCustomInc Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierCustomShowInc Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierWithLabel Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierWithLabelCustomInc Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierWithLabelCustomShowInc Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP nullRecvAction Control.Concurrent.CHP.Actions nullSendAction Control.Concurrent.CHP.Actions OneToAnyChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToAnyChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToAnyChannel' Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP OneToManyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP oneToManyChannel Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP oneToManyChannel' Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP OneToOneChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToOneChannel Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToOneChannel' Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP onPoisonRethrow Control.Concurrent.CHP.Monad, Control.Concurrent.CHP onPoisonTrap Control.Concurrent.CHP.Monad, Control.Concurrent.CHP overflowingBuffer Control.Concurrent.CHP.Buffers overwritingBuffer Control.Concurrent.CHP.Buffers parDelta Control.Concurrent.CHP.Common PhasedBarrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP pipeline Control.Concurrent.CHP.Utils poison Control.Concurrent.CHP.Monad, Control.Concurrent.CHP Poisonable Control.Concurrent.CHP.Monad, Control.Concurrent.CHP poisonAll Control.Concurrent.CHP.Monad, Control.Concurrent.CHP prefix Control.Concurrent.CHP.Common prettyPrint Control.Concurrent.CHP.Traces priAlt Control.Concurrent.CHP.Alt, Control.Concurrent.CHP ProcessPipeline Control.Concurrent.CHP.Arrow ProcessPipelineLabel Control.Concurrent.CHP.Arrow propCHPInOut Control.Concurrent.CHP.Test qcCHP Control.Concurrent.CHP.Test qcCHP' Control.Concurrent.CHP.Test QuickCheckCHP Control.Concurrent.CHP.Test ReadableChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP readChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP reader Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP readers Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP RecordedEvent Control.Concurrent.CHP.Traces RecordedEventType Control.Concurrent.CHP.Traces RecordedIndivEvent Control.Concurrent.CHP.Traces recordedIndivEventLabel Control.Concurrent.CHP.Traces recordedIndivEventSeq Control.Concurrent.CHP.Traces RecvAction Control.Concurrent.CHP.Actions recvAction Control.Concurrent.CHP.Actions ReduceChanin Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP ReduceChanout Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP repeat Control.Concurrent.CHP.Common replicate Control.Concurrent.CHP.Common resign Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP runCHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP runCHPAndTrace Control.Concurrent.CHP.Traces runCHP_ Control.Concurrent.CHP.Monad, Control.Concurrent.CHP runCHP_CSPTrace Control.Concurrent.CHP.Traces.CSP, Control.Concurrent.CHP.Traces runCHP_CSPTraceAndPrint Control.Concurrent.CHP.Traces.CSP, Control.Concurrent.CHP.Traces runCHP_StructuralTrace Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces runCHP_StructuralTraceAndPrint Control.Concurrent.CHP.Traces.Structural, Control.Concurrent.CHP.Traces runCHP_TraceOff Control.Concurrent.CHP.Traces.TraceOff, Control.Concurrent.CHP.Traces runCHP_VCRTrace Control.Concurrent.CHP.Traces.VCR, Control.Concurrent.CHP.Traces runCHP_VCRTraceAndPrint Control.Concurrent.CHP.Traces.VCR, Control.Concurrent.CHP.Traces runParallel Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP runParallel_ Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP runParMapM Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP runParMapM_ Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP runPipeline Control.Concurrent.CHP.Arrow runPipelineLabel Control.Concurrent.CHP.Arrow 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 syncBarrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP tail Control.Concurrent.CHP.Common tap Control.Concurrent.CHP.Common testCHP Control.Concurrent.CHP.Test testCHP' Control.Concurrent.CHP.Test testCHPInOut Control.Concurrent.CHP.Test throwPoison Control.Concurrent.CHP.Monad, Control.Concurrent.CHP Trace Control.Concurrent.CHP.Traces TraceOff Control.Concurrent.CHP.Traces.TraceOff, Control.Concurrent.CHP.Traces valueStore Control.Concurrent.CHP.Common valueStore' Control.Concurrent.CHP.Common vcrToCSP Control.Concurrent.CHP.Traces VCRTrace 1 (Type/Class) Control.Concurrent.CHP.Traces.VCR, Control.Concurrent.CHP.Traces 2 (Data Constructor) Control.Concurrent.CHP.Traces.VCR, Control.Concurrent.CHP.Traces wait Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP Waitable Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP waitFor Control.Concurrent.CHP.Monad, Control.Concurrent.CHP waitForPhase Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP waitUnbounded Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP while Control.Concurrent.CHP.Monad, Control.Concurrent.CHP wireCycle Control.Concurrent.CHP.Utils wireDualCycle Control.Concurrent.CHP.Utils wireDualPipeline Control.Concurrent.CHP.Utils wirePipeline Control.Concurrent.CHP.Utils withCheck Control.Concurrent.CHP.Test WriteableChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writeChannel Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writeChannelStrict Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writer Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writers Control.Concurrent.CHP.Channels.Ends, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writeValue Control.Concurrent.CHP.Channels.Communication, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |-> Control.Concurrent.CHP.Utils |->| Control.Concurrent.CHP.Utils |->|^ Control.Concurrent.CHP.Utils |<-> Control.Concurrent.CHP.Utils |<->| Control.Concurrent.CHP.Utils |<-| Control.Concurrent.CHP.Utils