Index
| eventData | Servant.API.EventStream |
| eventId | Servant.API.EventStream |
| EventStream | Servant.API.EventStream |
| eventType | Servant.API.EventStream |
| RecommendedEventSourceHeaders | Servant.API.EventStream |
| recommendedEventSourceHeaders | Servant.API.EventStream |
| ServerEvent | |
| 1 (Type/Class) | Servant.API.EventStream |
| 2 (Data Constructor) | Servant.API.EventStream |
| ServerSentEvents | Servant.API.EventStream |
| ToServerEvent | Servant.API.EventStream |
| toServerEvent | Servant.API.EventStream |