structure Network.Wai.EventSource.ServerEvent : Type

A single server-sent event.

• eventName : Option String
• eventId : Option String
• eventData : List String

def Network.Wai.EventSource.ServerEvent.render (ev : ServerEvent) : String

Render a ServerEvent as SSE wire format.

Equations

• One or more equations did not get rendered due to their size.

def Network.Wai.EventSource.eventSourceApp (eventSource : (ServerEvent → IO Unit) → IO Unit) : Application

Create an SSE streaming response. The eventSource function receives a callback to send events. $$\text{eventSourceApp} : ((\text{ServerEvent} \to \text{IO Unit}) \to \text{IO Unit}) \to \text{Application}$$

Equations

• One or more equations did not get rendered due to their size.