Index
| <&> | 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 |
| 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 |
| anyToManyChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| anyToManyChannel' | Control.Concurrent.CHP.Channels.BroadcastReduce, 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 |
| barIncPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| barLabel | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| BarOpts | |
| 1 (Type/Class) | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| 2 (Data Constructor) | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| barOptsLabel | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| barOptsShow | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| barPriority | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| 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 |
| BroadcastChanout | Control.Concurrent.CHP.Channels.BroadcastReduce, 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 |
| 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 |
| chanOptsPriority | 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 |
| 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 |
| 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 |
| currentPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| defaultBarOpts | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| defaultChanOpts | Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
| defaultIncPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| 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 |
| enrollAll | Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP |
| enrollAllT | Control.Concurrent.CHP.Enroll, Control.Concurrent.CHP |
| enrollAll_ | 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 |
| enrollOneMany | 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 |
| every_ | Control.Concurrent.CHP.Alt, Control.Concurrent.CHP |
| 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 |
| foreverP | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| 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 |
| 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 |
| liftForking | Control.Concurrent.CHP.Parallel, Control.Concurrent.CHP |
| liftIO_CHP | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| liftIO_CHP' | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| ManyToAnyChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| manyToAnyChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| manyToAnyChannel' | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| ManyToOneChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| manyToOneChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| manyToOneChannel' | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| MonadCHP | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| newBarrier | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| newBarrierPri | 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 |
| 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 |
| newPhasedBarrier' | Control.Concurrent.CHP.Barriers, 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 |
| oneToAnyChannel' | Control.Concurrent.CHP.Channels.Synonyms, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
| OneToManyChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| oneToManyChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| oneToManyChannel' | Control.Concurrent.CHP.Channels.BroadcastReduce, 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 |
| PhasedBarrier | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| poison | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| Poisonable | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| poisonAll | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| prettyPrint | Control.Concurrent.CHP.Traces |
| priAlt | Control.Concurrent.CHP.Alt, Control.Concurrent.CHP |
| process | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| 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 |
| ReduceChanin | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| ReduceChanout | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| 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 |
| sameChannel | Control.Concurrent.CHP.Channels.Creation, Control.Concurrent.CHP.Channels, Control.Concurrent.CHP |
| sameReduceChannel | Control.Concurrent.CHP.Channels.BroadcastReduce, Control.Concurrent.CHP |
| 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 |
| stop | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| 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 |
| subProcess | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| syncAndWaitForPhase | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| syncBarrier | Control.Concurrent.CHP.Barriers, Control.Concurrent.CHP |
| throwPoison | Control.Concurrent.CHP.Monad, Control.Concurrent.CHP |
| Trace | Control.Concurrent.CHP.Traces |
| TraceOff | Control.Concurrent.CHP.Traces.TraceOff, Control.Concurrent.CHP.Traces |
| 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 |
| 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 |