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

Search:

->| Control.Concurrent.CHP.Utils <&> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP <-> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP </> Control.Concurrent.CHP.Alt, Control.Concurrent.CHP <|*|> Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP <||> Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP accumulatingInfiniteBuffer Control.Concurrent.CHP.Buffers advanceTime Control.Concurrent.CHP.Common alt Control.Concurrent.CHP.Alt, Control.Concurrent.CHP AnyToAnyChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToAnyChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToAnyChannelWithLabel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP AnyToManyChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP anyToManyChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP anyToManyChannelWithLabel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP AnyToOneChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToOneChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP anyToOneChannelWithLabel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP arrowProcess Control.Concurrent.CHP.Arrow Barrier Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP BarrierSync Control.Concurrent.CHP.Traces BarrierSyncIndiv Control.Concurrent.CHP.Traces BroadcastChanin Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP BroadcastChanout Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP Chan Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Chanin Control.Concurrent.CHP.Channels, Control.Concurrent.CHP Channel 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, Control.Concurrent.CHP ChannelWrite Control.Concurrent.CHP.Traces Chanout Control.Concurrent.CHP.Channels, Control.Concurrent.CHP checkForPoison Control.Concurrent.CHP.Monad, Control.Concurrent.CHP CHP Control.Concurrent.CHP.Monad, Control.Concurrent.CHP claim 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 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, Control.Concurrent.CHP extWriteChannel 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 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 getCurrentTime Control.Concurrent.CHP.Clocks, Control.Concurrent.CHP id Control.Concurrent.CHP.Common infiniteBuffer Control.Concurrent.CHP.Buffers join Control.Concurrent.CHP.Common joinList Control.Concurrent.CHP.Common 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.BroadcastChannels, Control.Concurrent.CHP manyToAnyChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToAnyChannelWithLabel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP ManyToOneChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToOneChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP manyToOneChannelWithLabel 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, Control.Concurrent.CHP newChannelList Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelListWithLabels Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelListWithStem Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelRW Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannels Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelWithLabel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP newChannelWR 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 newPhasedBarrierWithLabel Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP newPhasedBarrierWithLabelCustomInc Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP nullRecvAction Control.Concurrent.CHP.Actions nullSendAction Control.Concurrent.CHP.Actions OneToAnyChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToAnyChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToAnyChannelWithLabel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP OneToManyChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP oneToManyChannel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP oneToManyChannelWithLabel Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP OneToOneChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToOneChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP oneToOneChannelWithLabel 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 ReadableChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP readChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP reader Control.Concurrent.CHP.Channels, Control.Concurrent.CHP readers Control.Concurrent.CHP.Channels, Control.Concurrent.CHP RecordedEvent Control.Concurrent.CHP.Traces RecordedEventType Control.Concurrent.CHP.Traces RecordedIndivEvent Control.Concurrent.CHP.Traces RecvAction Control.Concurrent.CHP.Actions recvAction Control.Concurrent.CHP.Actions ReduceChanin Control.Concurrent.CHP.BroadcastChannels, Control.Concurrent.CHP ReduceChanout 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_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 runPipeline Control.Concurrent.CHP.Arrow SendAction Control.Concurrent.CHP.Actions sendAction Control.Concurrent.CHP.Actions Shared 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 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 tap Control.Concurrent.CHP.Common 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 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 wirePipeline Control.Concurrent.CHP.Utils WriteableChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writeChannel Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writeChannelStrict Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writer Control.Concurrent.CHP.Channels, Control.Concurrent.CHP writers Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |-> Control.Concurrent.CHP.Utils |->| Control.Concurrent.CHP.Utils |<-| Control.Concurrent.CHP.Utils