full-sessions-0.6.1.2: a monad for protocol-typed network programmingContentsIndex
:>
>>>
>>>=
accept
acceptOneNw2
acceptRunS
AppendEnd
AppendEnd'
Bot
Catch
Channel
Close
close
Comp
connect
connectNw
connectNw2
connectRunS
Diff
Diff'
Dual
dualNw
dualNw2
End
Ended
EndedWithout
EndedWithout'
EndedWithout2
EndedWithout2'
EqNat
F
finallys
forkIOs
forkOSs
ifSelect
ifSelectN
io
io_
ireturn
IsEnded
Message
mkNwService
mkNwService2
Nat
new
newService
Nil
NwDual
NwReceiveOnly
NwReceiver
NwSender
NwSendOnly
NwService
NwService2
NwSession
Offer
offer
OfferN
offerN
P
Par
Par'
parseMessage
Pickup
PickupR
Rec
RecFold
RecFold2
RecFoldCont
RecFoldCont2
RecUnfold
RecUnfoldCont
recur1
recur2
Recv
recv
recvS
runS
S
sel1
sel1N
sel2
sel2N
Select
SelectN
Send
send
sendS
Service
Session
showMessage
SList
Sub
SubT
T
Throw
typecheck1
typecheck2
TypeEq
TypeEq'
TypeEq''
unwind0
unwind1
unwind2
Update
UpdateR
Var
Z