package eliom
Advanced client/server Web and mobile framework
Install
dune-project
Dependency
Authors
Maintainers
Sources
11.1.0.tar.gz
md5=a1fe1f37d5163c25818afcc5ca8d6ecf
sha512=4ac91ff05bb43eea5d5e1e046bc54a0c97707db28be3c2f65437fbb1b3457171f715105f7f0621837494c014dc05473f26bc919483b0e47d394a2bbe19b319a7
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; ... }}
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 (SeeEliom_comet.create
).
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>