sessiontypes-distributed-0.1.1: Session types distributed

Index

:!>Control.Distributed.Session
:*:Control.Distributed.Session
:?>Control.Distributed.Session
<&Control.Distributed.Session
<&>Control.Distributed.Session
AppendControl.Distributed.Session
callControl.Distributed.Session.Lifted, Control.Distributed.Session
callLocalControl.Distributed.Session.Lifted, Control.Distributed.Session
callLocalPControl.Distributed.Session.Lifted, Control.Distributed.Session
callLocalSessionControl.Distributed.Session.Spawn, Control.Distributed.Session
callLocalSessionPControl.Distributed.Session.Spawn, Control.Distributed.Session
callPControl.Distributed.Session.Lifted, Control.Distributed.Session
callRemoteSessionControl.Distributed.Session.Spawn, Control.Distributed.Session
callRemoteSession'Control.Distributed.Session.Spawn, Control.Distributed.Session
callRemoteSessionPControl.Distributed.Session.Spawn, Control.Distributed.Session
callRemoteSessionP'Control.Distributed.Session.Spawn, Control.Distributed.Session
Cap 
1 (Data Constructor)Control.Distributed.Session
2 (Type/Class)Control.Distributed.Session
catchesExitControl.Distributed.Session.Lifted, Control.Distributed.Session
catchesExitPControl.Distributed.Session.Lifted, Control.Distributed.Session
catchExitControl.Distributed.Session.Lifted, Control.Distributed.Session
catchExitPControl.Distributed.Session.Lifted, Control.Distributed.Session
delegateControl.Distributed.Session.Lifted, Control.Distributed.Session
dieControl.Distributed.Session.Lifted, Control.Distributed.Session
DualControl.Distributed.Session
DualSTControl.Distributed.Session
elimRecControl.Distributed.Session.Normalize
emptyControl.Distributed.Session
empty0Control.Distributed.Session
EpsControl.Distributed.Session
epsControl.Distributed.Session
eps0Control.Distributed.Session
epsChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
evalLocalSessionControl.Distributed.Session.Closure, Control.Distributed.Session
evalSessionControl.Distributed.Session.Eval, Control.Distributed.Session
evalSessionEqControl.Distributed.Session.Eval, Control.Distributed.Session
evalSessionEq'Control.Distributed.Session.Eval, Control.Distributed.Session
exitControl.Distributed.Session.Lifted, Control.Distributed.Session
expectControl.Distributed.Session.Lifted, Control.Distributed.Session
expectTimeoutControl.Distributed.Session.Lifted, Control.Distributed.Session
flattenControl.Distributed.Session.Normalize
forwardControl.Distributed.Session.Lifted, Control.Distributed.Session
GetCtxControl.Distributed.Session
getNodeStatsControl.Distributed.Session.Lifted, Control.Distributed.Session
getOthNodeControl.Distributed.Session.Lifted, Control.Distributed.Session
getOthPidControl.Distributed.Session.Lifted, Control.Distributed.Session
getProcessInfoControl.Distributed.Session.Lifted, Control.Distributed.Session
getSelfNodeControl.Distributed.Session.Lifted, Control.Distributed.Session
getSelfPidControl.Distributed.Session.Lifted, Control.Distributed.Session
GetSTControl.Distributed.Session
handleMessageControl.Distributed.Session.Lifted, Control.Distributed.Session
handleMessageIfControl.Distributed.Session.Lifted, Control.Distributed.Session
handleMessageIfPControl.Distributed.Session.Lifted, Control.Distributed.Session
handleMessageIfP_Control.Distributed.Session.Lifted, Control.Distributed.Session
handleMessageIf_Control.Distributed.Session.Lifted, Control.Distributed.Session
handleMessagePControl.Distributed.Session.Lifted, Control.Distributed.Session
handleMessageP_Control.Distributed.Session.Lifted, Control.Distributed.Session
handleMessage_Control.Distributed.Session.Lifted, Control.Distributed.Session
HasConstraintControl.Distributed.Session
HasConstraintsControl.Distributed.Session
HasConstraintSTControl.Distributed.Session
IfThenElseControl.Distributed.Session
inferIdentityControl.Distributed.Session
interactiveControl.Distributed.Session.Interactive
interactiveStepControl.Distributed.Session.Interactive
killControl.Distributed.Session.Lifted, Control.Distributed.Session
LeftControl.Distributed.Session
LiftControl.Distributed.Session
liftPControl.Distributed.Session.Session, Control.Distributed.Session
liftSTControl.Distributed.Session.Session, Control.Distributed.Session
linkControl.Distributed.Session.Lifted, Control.Distributed.Session
linkNodeControl.Distributed.Session.Lifted, Control.Distributed.Session
MapDualControl.Distributed.Session
MapHasConstraintControl.Distributed.Session
MapRemoveRecvControl.Distributed.Session
MapRemoveSendControl.Distributed.Session
mergePortsBiasedControl.Distributed.Session.Lifted, Control.Distributed.Session
mergePortsRRControl.Distributed.Session.Lifted, Control.Distributed.Session
Message 
1 (Type/Class)Control.Distributed.Session.STChannel, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.STChannel, Control.Distributed.Session
MonadSessionControl.Distributed.Session
monitorControl.Distributed.Session.Lifted, Control.Distributed.Session
monitorNodeControl.Distributed.Session.Lifted, Control.Distributed.Session
monitorPortControl.Distributed.Session.Lifted, Control.Distributed.Session
NatControl.Distributed.Session
newChanControl.Distributed.Session.Lifted, Control.Distributed.Session
newSTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
newSTChanBiControl.Distributed.Session.STChannel, Control.Distributed.Session
newUTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
normalizeControl.Distributed.Session.Normalize
NotControl.Distributed.Session
nsendControl.Distributed.Session.Lifted, Control.Distributed.Session
nsendRemoteControl.Distributed.Session.Lifted, Control.Distributed.Session
OffControl.Distributed.Session
off1ChanControl.Distributed.Session.STChannel, Control.Distributed.Session
off1ChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
off2ChanControl.Distributed.Session.STChannel, Control.Distributed.Session
off2ChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
offerControl.Distributed.Session
OffSControl.Distributed.Session
offSControl.Distributed.Session
OffZControl.Distributed.Session
offZControl.Distributed.Session
OrControl.Distributed.Session
othNodeControl.Distributed.Session.Session, Control.Distributed.Session
othPidControl.Distributed.Session.Session, Control.Distributed.Session
OutputControl.Distributed.Session.Debug
O_EpsControl.Distributed.Session.Debug
O_LiftControl.Distributed.Session.Debug
O_Off1Control.Distributed.Session.Debug
O_Off2Control.Distributed.Session.Debug
O_OffSControl.Distributed.Session.Debug
O_OffZControl.Distributed.Session.Debug
O_RecControl.Distributed.Session.Debug
O_RecvControl.Distributed.Session.Debug
O_Sel1Control.Distributed.Session.Debug
O_Sel2Control.Distributed.Session.Debug
O_SendControl.Distributed.Session.Debug
O_VarControl.Distributed.Session.Debug
O_WeakenControl.Distributed.Session.Debug
ProdControl.Distributed.Session
proxyControl.Distributed.Session.Lifted, Control.Distributed.Session
proxyPControl.Distributed.Session.Lifted, Control.Distributed.Session
RControl.Distributed.Session
RecControl.Distributed.Session
recChanControl.Distributed.Session.STChannel, Control.Distributed.Session
recChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
receiveChanControl.Distributed.Session.Lifted, Control.Distributed.Session
receiveChanTimeoutControl.Distributed.Session.Lifted, Control.Distributed.Session
receiveTimeoutControl.Distributed.Session.Lifted, Control.Distributed.Session
receiveWaitControl.Distributed.Session.Lifted, Control.Distributed.Session
reconnectControl.Distributed.Session.Lifted, Control.Distributed.Session
reconnectPortControl.Distributed.Session.Lifted, Control.Distributed.Session
recurseControl.Distributed.Session
recurse0Control.Distributed.Session
recurseFixControl.Distributed.Session
RecvControl.Distributed.Session
recvControl.Distributed.Session
recvProxyControl.Distributed.Session.STChannel, Control.Distributed.Session
recvSTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
recvSTChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
RefControl.Distributed.Session
RefSControl.Distributed.Session
RefZControl.Distributed.Session
registerControl.Distributed.Session.Lifted, Control.Distributed.Session
registerRemoteAsyncControl.Distributed.Session.Lifted, Control.Distributed.Session
relayControl.Distributed.Session.Lifted, Control.Distributed.Session
remoteSessionClosureControl.Distributed.Session.Closure, Control.Distributed.Session
remoteSessionClosure'Control.Distributed.Session.Closure, Control.Distributed.Session
remoteSessionStaticControl.Distributed.Session.Closure, Control.Distributed.Session
remoteSessionStatic'Control.Distributed.Session.Closure, Control.Distributed.Session
remoteSpawnSessionClosureControl.Distributed.Session.Closure, Control.Distributed.Session
remoteSpawnSessionClosure'Control.Distributed.Session.Closure, Control.Distributed.Session
remoteSpawnSessionStaticControl.Distributed.Session.Closure, Control.Distributed.Session
remoteSpawnSessionStatic'Control.Distributed.Session.Closure, Control.Distributed.Session
RemoveRecvControl.Distributed.Session
RemoveRecvSTControl.Distributed.Session
RemoveSendControl.Distributed.Session
RemoveSendSTControl.Distributed.Session
reregisterRemoteAsyncControl.Distributed.Session.Lifted, Control.Distributed.Session
RetControl.Distributed.Session
RightControl.Distributed.Session
rrSpawnSessionExpectClosureControl.Distributed.Session.Closure, Control.Distributed.Session
rrSpawnSessionExpectStaticControl.Distributed.Session.Closure, Control.Distributed.Session
rrSpawnSessionSendClosureControl.Distributed.Session.Closure, Control.Distributed.Session
rrSpawnSessionSendStaticControl.Distributed.Session.Closure, Control.Distributed.Session
runControl.Distributed.Session.Debug
runAllControl.Distributed.Session.Debug
runAllMControl.Distributed.Session.Debug
runAllPControl.Distributed.Session.Debug
runMControl.Distributed.Session.Debug
runPControl.Distributed.Session.Debug
runSessionControl.Distributed.Session.Session, Control.Distributed.Session
runSessionCControl.Distributed.Session.Session, Control.Distributed.Session
runSingleControl.Distributed.Session.Debug
runSingleMControl.Distributed.Session.Debug
runSinglePControl.Distributed.Session.Debug
runSTChannelTControl.Distributed.Session.STChannel, Control.Distributed.Session
SControl.Distributed.Session
sayControl.Distributed.Session.Lifted, Control.Distributed.Session
SelControl.Distributed.Session
selControl.Distributed.Session
Sel1Control.Distributed.Session
sel1Control.Distributed.Session
sel1ChanControl.Distributed.Session.STChannel, Control.Distributed.Session
sel1ChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
Sel2Control.Distributed.Session
sel2Control.Distributed.Session
sel2ChanControl.Distributed.Session.STChannel, Control.Distributed.Session
sel2ChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
SelectControl.Distributed.Session
selNControl.Distributed.Session
selN1Control.Distributed.Session
selN2Control.Distributed.Session
selN3Control.Distributed.Session
selN4Control.Distributed.Session
SendControl.Distributed.Session
sendControl.Distributed.Session
sendChanControl.Distributed.Session.Lifted, Control.Distributed.Session
sendProxyControl.Distributed.Session.STChannel, Control.Distributed.Session
sendSTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
sendSTChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
Session 
1 (Type/Class)Control.Distributed.Session.Session, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.Session, Control.Distributed.Session
SessionInfo 
1 (Type/Class)Control.Distributed.Session.Session, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.Session, Control.Distributed.Session
sessionRemoteTableControl.Distributed.Session.Closure, Control.Distributed.Session
SessionWrap 
1 (Type/Class)Control.Distributed.Session.Closure, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.Closure, Control.Distributed.Session
spawnControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnAsyncControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnAsyncPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnChannelControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnChannelClosureControl.Distributed.Session.Closure, Control.Distributed.Session
spawnChannelLocalControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnChannelLocalPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnChannelPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnChannelStaticControl.Distributed.Session.Closure, Control.Distributed.Session
spawnLinkControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnLinkPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnLLSessionControl.Distributed.Session.Spawn, Control.Distributed.Session
spawnLLSessionPControl.Distributed.Session.Spawn, Control.Distributed.Session
spawnLocalControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnLocalPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnLRSessionControl.Distributed.Session.Spawn, Control.Distributed.Session
spawnLRSessionPControl.Distributed.Session.Spawn, Control.Distributed.Session
spawnMonitorControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnMonitorPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnPControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnRRSessionControl.Distributed.Session.Spawn, Control.Distributed.Session
spawnRRSessionPControl.Distributed.Session.Spawn, Control.Distributed.Session
SpawnSession 
1 (Type/Class)Control.Distributed.Session.Closure, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.Closure, Control.Distributed.Session
spawnSupervisedControl.Distributed.Session.Lifted, Control.Distributed.Session
spawnSupervisedPControl.Distributed.Session.Lifted, Control.Distributed.Session
STControl.Distributed.Session
STChanControl.Distributed.Session.STChannel, Control.Distributed.Session
STChanBiControl.Distributed.Session.STChannel, Control.Distributed.Session
STChannelT 
1 (Type/Class)Control.Distributed.Session.STChannel, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.STChannel, Control.Distributed.Session
StreamControl.Distributed.Session.Debug
STRecControl.Distributed.Session.STChannel, Control.Distributed.Session
STReceivePort 
1 (Type/Class)Control.Distributed.Session.STChannel, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.STChannel, Control.Distributed.Session
STSendPort 
1 (Type/Class)Control.Distributed.Session.STChannel, Control.Distributed.Session
2 (Data Constructor)Control.Distributed.Session.STChannel, Control.Distributed.Session
STSplitControl.Distributed.Session.STChannel, Control.Distributed.Session
STTermControl.Distributed.Session
S_EpsControl.Distributed.Session.Debug
S_Off1Control.Distributed.Session.Debug
S_Off2Control.Distributed.Session.Debug
S_OffSControl.Distributed.Session.Debug
S_OffZControl.Distributed.Session.Debug
S_RecControl.Distributed.Session.Debug
S_RecvControl.Distributed.Session.Debug
S_Sel1Control.Distributed.Session.Debug
S_Sel2Control.Distributed.Session.Debug
S_SendControl.Distributed.Session.Debug
S_VarControl.Distributed.Session.Debug
S_WeakenControl.Distributed.Session.Debug
terminateControl.Distributed.Session.Lifted, Control.Distributed.Session
toSTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
toSTChanBiControl.Distributed.Session.STChannel, Control.Distributed.Session
TypeEqListControl.Distributed.Session
uforwardControl.Distributed.Session.Lifted, Control.Distributed.Session
unClosureControl.Distributed.Session.Lifted, Control.Distributed.Session
unlinkControl.Distributed.Session.Lifted, Control.Distributed.Session
unlinkNodeControl.Distributed.Session.Lifted, Control.Distributed.Session
unmonitorControl.Distributed.Session.Lifted, Control.Distributed.Session
unregisterControl.Distributed.Session.Lifted, Control.Distributed.Session
unsafeNSendControl.Distributed.Session.Lifted, Control.Distributed.Session
unsafeNSendRemoteControl.Distributed.Session.Lifted, Control.Distributed.Session
unsafeSendControl.Distributed.Session.Lifted, Control.Distributed.Session
unsafeSendChanControl.Distributed.Session.Lifted, Control.Distributed.Session
unStaticControl.Distributed.Session.Lifted, Control.Distributed.Session
unwrapMessageControl.Distributed.Session.Lifted, Control.Distributed.Session
usendControl.Distributed.Session.Lifted, Control.Distributed.Session
UTChanControl.Distributed.Session.STChannel, Control.Distributed.Session
utchanControl.Distributed.Session.Session, Control.Distributed.Session
utsendControl.Distributed.Session.Lifted, Control.Distributed.Session
VControl.Distributed.Session
VarControl.Distributed.Session
varControl.Distributed.Session
var0Control.Distributed.Session
varChanControl.Distributed.Session.STChannel, Control.Distributed.Session
varChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
visualizeControl.Distributed.Session.Visualize
visualizePControl.Distributed.Session.Visualize
WeakenControl.Distributed.Session
weakenControl.Distributed.Session
weaken0Control.Distributed.Session
whereisControl.Distributed.Session.Lifted, Control.Distributed.Session
whereisRemoteAsyncControl.Distributed.Session.Lifted, Control.Distributed.Session
withMonitorControl.Distributed.Session.Lifted, Control.Distributed.Session
withMonitorPControl.Distributed.Session.Lifted, Control.Distributed.Session
withMonitorP_Control.Distributed.Session.Lifted, Control.Distributed.Session
withMonitor_Control.Distributed.Session.Lifted, Control.Distributed.Session
WkControl.Distributed.Session
wkChanControl.Distributed.Session.STChannel, Control.Distributed.Session
wkChanMControl.Distributed.Session.STChannel, Control.Distributed.Session
ZControl.Distributed.Session