Network.Wai.EventSource

A WAI adapter to the HTML5 Server-Sent Events API.

Documentation

data ServerEvent

Type representing a communication over an event stream. This can be an actual event, a comment, a modification to the retry timer, or a special close event indicating the server should close the connection.

Constructors

ServerEvent

Fields

eventName :: Maybe Builder

eventId :: Maybe Builder

eventData :: [Builder]

CommentEvent

Fields

eventComment :: Builder

RetryEvent

Fields

eventRetry :: Int

CloseEvent

eventSourceAppChan :: Chan ServerEvent -> Application

Make a new WAI EventSource application reading events from the given channel.

eventSourceAppSource :: Source IO ServerEvent -> Application

Make a new WAI EventSource application reading events from the given source.

eventSourceAppIO :: IO ServerEvent -> Application

Make a new WAI EventSource application reading events from the given IO action.

sourceToSource :: Monad m => Source m ServerEvent -> Source m (Flush Builder)

Convert a ServerEvent source into a Builder source of serialized events.