Std.Ui.Live
17 public declarations
- accepts
&Std.Ui.Live.Session[S, E] -> Str -> BoolWhether this session acts on an event by that name.
- advanced
&Std.Ui.Live.Session[S, E] -> E -> (Std.Ui.Live.Update, Std.Ui.Live.Session[S, E])The session after an event the caller already made sense of.
- decode
Str -> Option[Std.Ui.Live.Event]What a viewer sent, read from the message that carried it.
- discardedCount
&Std.Ui.Live.Session[S, E] -> IntHow many messages were discarded for naming an event this session does not
- encode
&Std.Ui.Live.Update -> StrAn update as the message that carries it.
- event
Str -> Str -> Std.Ui.Live.EventAn event, for a caller building one directly.
- Event
What a viewer sent.
- firstAnswer
&Std.Ui.Live.Session[S, E] -> Std.Ui.Live.UpdateThe first thing a viewer receives: the whole page.
- given
&Std.Ui.Live.Session[S, E] -> &Std.Ui.Live.Event -> fn(Std.Ui.Live.Event) -> Option[E] -> (Std.Ui.Live.Update, Std.Ui.Live.Session[S, E])The session after a viewer's event, and what to send them.
- markupOf
&Std.Ui.Live.Session[S, E] -> StrThe page as markup, for the response that carries it.
- rejoined
&Std.Ui.Live.Session[S, E] -> (Std.Ui.Live.Update, Std.Ui.Live.Session[S, E])What a viewer receives when they rejoin after the connection dropped.
- session
Std.Ui.Component[S, E] -> &Array[Str] -> Std.Ui.Live.Session[S, E]A session over a component, accepting the events it names.
- Session
A viewer's screen, held here.
- shownBy
&Std.Ui.Live.Session[S, E] -> Std.Html.HtmlWhat the session currently believes is on the viewer's screen.
- stateOf
&Std.Ui.Live.Session[S, E] -> SWhat the component knows.
- Update
What this end sends after an event.
- worthSending
&Std.Ui.Live.Update -> BoolWhether an update has anything to send.
