package eliom

You can search for identifiers within the package.

in-package search v0.2.0

Advanced client/server Web and mobile framework

Install

Dune Dependency

ocsigen.org Readme Edit opam file Versions (33)

Authors

D

dev@ocsigen.org

Maintainers

D

dev@ocsigen.org

Sources

11.1.1.tar.gz

md5=c8c67fe5fb8d3f44a3b17cc4a93a0e62

sha512=e58557a1b525efd011e0eb539b112b53e6c012ac3fb2153c251be030eda483dd3b19de625707cf5ffebd97fa6a7fabfb8a6aae8e8a61c79e0bd7ad2d289df9a9

doc/eliom.server/Eliom_react/Down/index.html

Module `Eliom_react.Down`Source

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; ... }}

Sourcetype 'a t

The abstract type of down events.

Source

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 (minimum time, in second, between two consecutive events - other events are lost),
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).