| @ | Choreography.Location, Choreography |
| 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 |
| Do | Control.Monad.Freer |
| Empty | Choreography.Location |
| 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 |
| interpFreer | Control.Monad.Freer |
| Local | Choreography.Choreo |
| LocalConfig | |
| 1 (Type/Class) | Choreography.Network.Local |
| 2 (Data Constructor) | Choreography.Network.Local |
| locally | Choreography.Choreo, Choreography |
| locs | |
| 1 (Function) | Choreography.Network.Local |
| 2 (Function) | Choreography.Network.Http |
| LocTm | Choreography.Location, Choreography |
| locToBuf | Choreography.Network.Local |
| locToUrl | Choreography.Network.Http |
| LocTy | Choreography.Location, Choreography |
| mkHttpConfig | Choreography.Network.Http, Choreography |
| mkLoc | Choreography.Location, Choreography |
| mkLocalConfig | Choreography.Network.Local |
| mkRecvChans | Choreography.Network.Http |
| MsgBuf | Choreography.Network.Local |
| Network | Choreography.Network |
| NetworkSig | Choreography.Network |
| newEmptyMsgBuf | Choreography.Network.Local |
| 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 |
| Send | Choreography.Network |
| send | Choreography.Network |
| toFreer | Control.Monad.Freer |
| toLocTm | Choreography.Location |
| Unwrap | Choreography.Choreo |
| unwrap | Choreography.Location |
| Wrap | Choreography.Location |
| wrap | Choreography.Location |
| ~> | Choreography.Choreo, Choreography |
| ~~> | Choreography.Choreo, Choreography |