package eliom
Install
Dune Dependency
Authors
Maintainers
Sources
md5=218bcb5cd275cc05be06574c5fa357fa
sha512=edbf8b084ec1b7439d4715199c22eb925a77a2dcfbe76bb5bbc4b9d076b70be1b0de74f9eab9dfb7854df28d65eb31a4c17380528d4a461d9c2a4222abe804cc
doc/eliom.server/Eliom_notif/module-type-ARG/index.html
Module type Eliom_notif.ARG
Source
ARG
is for making Make
see S.identity
see S.key
see S.server_notif
see S.client_notif
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.
max_identity_per_resource
is the initial size for the tables storing the data of clients listening on one given resource, fo best results it should be on the order of the expected number of clients that may listen on a given resource.