simple-sessions-0.1: A simple implementation of session types

Index

:!:Control.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
:&:Control.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
:+:Control.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
:?:Control.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
=<<<Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
>>>=Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
accept 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
Cap 
1 (Type/Class)Control.Concurrent.SimpleSession.Implicit
2 (Type/Class)Control.Concurrent.SimpleSession.Positional
ChannelControl.Concurrent.SimpleSession.Positional
close 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
digControl.Concurrent.SimpleSession.Positional
DualControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
enter 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
EpsControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
forkSessionControl.Concurrent.SimpleSession.Positional
iapControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
iapIxMonadControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
ibindControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
ijoinControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
imapControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
implusControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
imzeroControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
io 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
ireturnControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxApplicativeControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxFunctorControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxMonadControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxMonadPlusControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxMonadZeroControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
IxPointedControl.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
newRendezvous 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
offer 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
PopControl.Concurrent.SimpleSession.Implicit
popControl.Concurrent.SimpleSession.Implicit
RecControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
recv 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
Rendezvous 
1 (Type/Class)Control.Concurrent.SimpleSession.Implicit
2 (Type/Class)Control.Concurrent.SimpleSession.Positional
request 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
runSessionControl.Concurrent.SimpleSession.Positional
SControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
sel1 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
sel2 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
send 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
Session 
1 (Type/Class)Control.Concurrent.SimpleSession.Implicit
2 (Type/Class)Control.Concurrent.SimpleSession.Positional
suc 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional
swapControl.Concurrent.SimpleSession.Positional
VarControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
ZControl.Concurrent.SimpleSession.SessionTypes, Control.Concurrent.SimpleSession.Implicit, Control.Concurrent.SimpleSession.Positional
zero 
1 (Function)Control.Concurrent.SimpleSession.Implicit
2 (Function)Control.Concurrent.SimpleSession.Positional