package eliom
Advanced client/server Web and mobile framework
Install
dune-project
Dependency
Authors
Maintainers
Sources
11.1.1.tar.gz
md5=c8c67fe5fb8d3f44a3b17cc4a93a0e62
sha512=e58557a1b525efd011e0eb539b112b53e6c012ac3fb2153c251be030eda483dd3b19de625707cf5ffebd97fa6a7fabfb8a6aae8e8a61c79e0bd7ad2d289df9a9
doc/eliom.server/Eliom_notif/Make/argument-1-A/index.html
Parameter Make.A
val prepare : identity -> server_notif -> client_notif option Lwt.t
prepare f
transforms server notifications into client notifications. It provides the identity
as a parameter which identifies the client. You can suppress notifications for a specific client (for instance because of missing authorisation) by having f
return None
.
equal_key
is a function testing the equality between two values of type key
.
equal_identity
is the same as equal_key
but for values of type identity
.
get_identity
is a function returning a value of type identity
corresponding to a client.
max_resource
is the initial size for the hash table storing the data of clients listening on resources, for best results it should be on the order of the expected number of different resources one may want to be able to listen to.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>