| *~> | Choreography.Location.Multi |
| *~~> | Choreography.Location.Multi |
| @ | Choreography.Location, Choreography |
| @@ | Choreography.Location.Multi |
| API | Choreography.Network.Http |
| Backend | Choreography.Network |
| BCast | Choreography.Network |
| broadcast | Choreography.Network |
| Choreo | Choreography.Choreo, Choreography |
| ChoreoSig | Choreography.Choreo |
| Comm | Choreography.Choreo |
| Cond | Choreography.Choreo |
| cond | Choreography.Choreo, Choreography |
| cond' | Choreography.Choreo, Choreography |
| Cond_ | Choreography.Choreo |
| cond_ | Choreography.Choreo, Choreography |
| cond_' | Choreography.Choreo, Choreography |
| Do | Control.Monad.Freer |
| Empty | Choreography.Location |
| enumerate | Choreography.Choreo |
| epp | Choreography.Choreo |
| Freer | Control.Monad.Freer |
| Host | Choreography.Network.Http, Choreography |
| HttpConfig | |
| 1 (Type/Class) | Choreography.Network.Http, Choreography |
| 2 (Data Constructor) | Choreography.Network.Http |
| insertLoc | Choreography.Choreo |
| insertLocs | Choreography.Choreo |
| interpFreer | Control.Monad.Freer |
| Local | Choreography.Choreo |
| LocalComp | Choreography.Location.Multi |
| LocalConfig | |
| 1 (Type/Class) | Choreography.Network.Local |
| 2 (Data Constructor) | Choreography.Network.Local |
| locally | Choreography.Choreo, Choreography |
| LocalMsgCountConfig | |
| 1 (Type/Class) | Choreography.Network.LocalMsgCount |
| 2 (Data Constructor) | Choreography.Network.LocalMsgCount |
| locs | Choreography.Network |
| locsHttp | Choreography.Network.Http |
| locsLocal | Choreography.Network.Local |
| locsLocalMsgCount | Choreography.Network.LocalMsgCount |
| LocTm | Choreography.Location, Choreography |
| locToBuf | |
| 1 (Function) | Choreography.Network.LocalMsgCount |
| 2 (Function) | Choreography.Network.Local |
| locToUrl | Choreography.Network.Http |
| LocTy | Choreography.Location, Choreography |
| mkHttpConfig | Choreography.Network.Http, Choreography |
| mkLoc | Choreography.Location, Choreography |
| mkLocalConfig | Choreography.Network.Local |
| mkLocalMsgCountConfig | Choreography.Network.LocalMsgCount |
| mkRecvChans | Choreography.Network.Http |
| MsgBuf | |
| 1 (Type/Class) | Choreography.Network.LocalMsgCount |
| 2 (Type/Class) | Choreography.Network.Local |
| msgCounter | Choreography.Network.LocalMsgCount |
| multilocally | Choreography.Location.Multi |
| Network | Choreography.Network |
| NetworkSig | Choreography.Network |
| newEmptyMsgBuf | |
| 1 (Function) | Choreography.Network.LocalMsgCount |
| 2 (Function) | Choreography.Network.Local |
| participants | Choreography.Choreo |
| Port | Choreography.Network.Http, Choreography |
| Recv | Choreography.Network |
| recv | Choreography.Network |
| RecvChans | Choreography.Network.Http |
| Return | Control.Monad.Freer |
| Run | Choreography.Network |
| run | Choreography.Network |
| runChoreo | Choreography.Choreo, Choreography |
| runChoreography | Choreography |
| runNetwork | Choreography.Network |
| runNetworkHttp | Choreography.Network.Http |
| runNetworkLocal | Choreography.Network.Local |
| runNetworkLocalMsgCount | Choreography.Network.LocalMsgCount |
| Send | Choreography.Network |
| send | Choreography.Network |
| toFreer | Control.Monad.Freer |
| toLocTm | Choreography.Location |
| Unwrap | Choreography.Choreo |
| unwrap | Choreography.Location |
| Unwraps | Choreography.Location.Multi |
| Wrap | Choreography.Location |
| wrap | Choreography.Location |
| ~> | Choreography.Choreo, Choreography |
| ~>* | Choreography.Location.Multi |
| ~>. | Choreography.Location.Multi |
| ~~> | Choreography.Choreo, Choreography |
| ~~>* | Choreography.Location.Multi |