Eliom_react.Down(3) A Down event (AKA down-going event) is an event which occurrences are transmitted asynchronously to the client.

Module

Module Eliom_react.Down

Documentation

Module Down
 :  sig end

A "Down event" (AKA down-going event) is an event which occurrences are transmitted asynchronously to the client. While named events, it might be better to consider them as asynchronous server-to-client edges in the event dependency graph.

The return type of the wrap ing function gives insight about how Down events are handled internally, it is however taken care of automatically.

type 'a t

The abstract type of down events.

val of_react : ?scope:[< Eliom_comet.Channel.comet_scope ] -> ?throttling:float -> ?name:string -> 'a React.E.t -> 'a t

of_react ?scope ?throttling ?name e create an asynchronous edge originating from e . The parameters are: throttling for the limit to event propagation rate, name for named edges. scope tell which kind of channel this rely on (See Eliom_comet.create ).