protocol-0.1.0.1: Model distributed system as type-level multi-party protocol

Index

->:Control.Protocol
BrokerControl.Protocol.Example
BusyControl.Protocol.Example
ChannelStateControl.Protocol.Example
CommandControl.Protocol
CreateControl.Protocol.Example
ForwardControl.Protocol.Example
InjControl.Protocol.Internal
MyCommandControl.Protocol.Example
MyProtocolControl.Protocol.Example
NoneControl.Protocol.Example
NoPartyControl.Protocol.Internal
NotifyControl.Protocol.Example
PControl.Protocol.Internal
PartyControl.Protocol.Example
PrjControl.Protocol.Internal
ProtocolControl.Protocol
ProtocolCmdControl.Protocol
ReadyControl.Protocol.Example
RecipientControl.Protocol.Example
runProtocolControl.Protocol
scenarioControl.Protocol.Example
SendControl.Protocol.Example
SenderControl.Protocol.Example
StateErrorControl.Protocol.Internal