def Network.Wai.EventSource.EventStream.dataEvent (data : String) : ServerEvent

Create a simple data-only event.

Equations

• Network.Wai.EventSource.EventStream.dataEvent data = { eventData := data.splitOn "\n" }

def Network.Wai.EventSource.EventStream.namedEvent (name data : String) : ServerEvent

Create a named event with data.

Equations

• Network.Wai.EventSource.EventStream.namedEvent name data = { eventName := some name, eventData := data.splitOn "\n" }

def Network.Wai.EventSource.EventStream.retryEvent (ms : Nat) : String

Create a retry event (tells client to reconnect after N ms).

Equations

• Network.Wai.EventSource.EventStream.retryEvent ms = toString "retry: " ++ toString ms ++ toString "\n\n"

def Network.Wai.EventSource.EventStream.commentEvent (text : String := "") : String

Create a comment (keep-alive ping).

Equations

• Network.Wai.EventSource.EventStream.commentEvent text = toString ": " ++ toString text ++ toString "\n\n"