trusty (3) Eliom_react.Down.server.3o.gz

NAME

       Eliom_react.Down - Event from server to client.

Module

       Module   Eliom_react.Down

Documentation

       Module Down
        : sig end

       Event from server to client.

       ===  A  Down event (AKA down-going event) is an event which occurrences are transmitted asynchronously to
       the client. Even if they are named events  ,  it  might  be  better  to  consider  them  as  asynchronous
       server-to-client  edges  in  the  react  events dependency graph.  To use this, call function of_react on
       server side, and just use the returned value as a react event on client side.  Example: let e =  of_react
       ... in ... {{ ... React.E.map f %e; ... }} ===

       type 'a t

       The abstract type of down events.

       val  of_react  :  ?scope:[<  Eliom_comet.Channel.comet_scope  ]  ->  ?throttling:float -> ?name:string ->
       ?size:int -> '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, size for the size of the server
       side buffer.  scope tell which kind of channel this rely on (See Eliom_comet.create ).