sessions-2008.7.18: Session Types for HaskellContentsIndex
Search:
.=
:$
:.
<!>
<?>
=~=
Add
And
BLCons
BLNil
BranchesList
BuildBranches
buildBranches
BuildInvertedSessionsSet
buildInvertedSessionsSet
BuildInvertedSessionsSetT
BuildPidTyMap
buildPidTyMap
BuildPidTyMapT
buildSessionType
carefullySwapToNextCell
Cell
1 (Type/Class)
2 (Data Constructor)
Choice
1 (Type/Class)
2 (Data Constructor)
CombinedMultiRecv
combinedMultiRecv
CompatibleTypes
Cons
cons
convert
CreateSession
createSession
CreateSessionOverNetwork
createSessionOverNetwork
createSessionThenClose
currentLabel
D0
1 (Type/Class)
2 (Data Constructor)
D1
1 (Type/Class)
2 (Data Constructor)
D2
1 (Type/Class)
2 (Data Constructor)
D3
1 (Type/Class)
2 (Data Constructor)
D4
1 (Type/Class)
2 (Data Constructor)
D5
1 (Type/Class)
2 (Data Constructor)
D6
1 (Type/Class)
2 (Data Constructor)
D7
1 (Type/Class)
2 (Data Constructor)
D8
1 (Type/Class)
2 (Data Constructor)
D9
1 (Type/Class)
2 (Data Constructor)
declareLabel
Dual
dual
1 (Function)
2 (Function)
DualT
E
1 (Type/Class)
2 (Data Constructor)
emptyMap
End
1 (Type/Class)
2 (Data Constructor)
end
1 (Function)
2 (Function)
Expand
ExpandT
False
FF
Fork
fork
forkThenClose
If
InterleavedChain
1 (Type/Class)
2 (Data Constructor)
InternalPid
IPid
iPidToPid
isSmallerThan
isTyListMember
isTySubList
Jump
1 (Type/Class)
2 (Data Constructor)
jump
1 (Function)
2 (Function)
lineSessionRaw
makeLineInputChannel
makeLineOutputChannel
MakeListOfJumps
makeListOfJumps
makePid
makeSessionType
MapChannelsRec
mapChannelsRec
MapDelete
mapDelete
MapInsert
mapInsert
MapLookup
mapLookup
MapSelectToList
mapSelectToList
MapSize
mapSize
MapUpdate
mapUpdate
mapUpdateValue
modifyCons
MultiReceive
multiReceive
MultiReceiveList
MultiReceiveNil
myPid
newLabel
Nil
nil
Not
notDual
NotT
Offer
1 (Type/Class)
2 (Data Constructor)
offer
1 (Function)
2 (Function)
OfferImpls
OfferImplsNil
Or
Outgoing
PairStruct
Pid
1 (Type/Class)
2 (Data Constructor)
PidEq
pidToRawPid
PlainMultiReceive
plainMultiReceive
Pred
ProgramCell
1 (Type/Class)
2 (Data Constructor)
ProgramToMVarsOutgoing
programToMVarsOutgoing
ProgramToMVarsOutgoingT
PS
RawPid
Recv
1 (Type/Class)
2 (Data Constructor)
recv
recvChannel
RecvPid
1 (Type/Class)
2 (Data Constructor)
recvPid
1 (Function)
2 (Function)
RecvSession
1 (Type/Class)
2 (Data Constructor)
recvSession
1 (Function)
2 (Function)
rootPid
run
runInterleaved
runInterleavedChain
runOverNetwork
runSChain
runSessionChain
runSStateT
SChain
1 (Type/Class)
2 (Data Constructor)
scloseCh
Select
1 (Type/Class)
2 (Data Constructor)
select
1 (Function)
2 (Function)
SelectCell
Send
1 (Type/Class)
2 (Data Constructor)
send
sendChannel
SendPid
1 (Type/Class)
2 (Data Constructor)
sendPid
1 (Function)
2 (Function)
SendSession
1 (Type/Class)
2 (Data Constructor)
sendSession
1 (Function)
2 (Function)
SessionChain
1 (Type/Class)
2 (Data Constructor)
SessionState
1 (Type/Class)
2 (Data Constructor)
SessionType
1 (Type/Class)
2 (Data Constructor)
sget
sjoin
sjump
sjumpCh
slift
sliftIO
SListOfJumps
SListOfSessionTypes
SmallerThan
SmallerThanBool
smapM
smapM_
SMonad
SMonadIO
SMonadState
SMonadTrans
SNoJumpsBeyond
SNonTerminal
soffer
sofferCh
SpecialNormal
SpecialPid
SpecialSession
sput
srecv
srecvCh
srecvTest
srecvTestTimeOut
sreturn
sselect
sselectCh
ssend
ssendCh
ssequence
ssequence_
SStateT
1 (Type/Class)
2 (Data Constructor)
stdinLineInputChannel
stdoutLineOutputChannel
STerminal
Succ
SValidSessionType
SWellFormedConfig
testWellformed
TM
True
TT
tyAdd
tyAnd
tyHead
tyIf
TyList
TyListAppend
tyListAppend
TyListConsSet
tyListConsSet
TyListDelete
tyListDelete
TyListDrop
tyListDrop
TyListElem
tyListElem
TyListIndex
tyListIndex
TyListLength
tyListLength
TyListMember
TyListReverse
tyListReverse
TyListSnd
tyListSnd
TyListSortNums
tyListSortNums
TyListTake
tyListTake
TyListToList
tyListToList
TyListToSet
tyListToSet
tyListUpdate
TyListUpdateVar
tyListUpdateVar
TyListZip
tyListZip
TyMap
tyMapKeys
tyNot
TyNum
tyNumToInt
tyOr
TypeNumberToInt
TypeState
1 (Type/Class)
2 (Data Constructor)
tyPred
TySubList
tySucc
tyTail
withChannel
withChannelRec
withThenClose
~>
~>>
~>>=
~|||~
~||~
~|~
1 (Function)
2 (Function)