package eliom
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=089b68d5bac8dfae1116923f6d95b39c
sha512=b4828b57d963d217ca0efd871b1c0b3f8816c7971825eb49d0dc06dbd91004fc659f83f9121d849ab8de47560941d07b2b9c1838b3387e7c1a4d3d6b9058936b
doc/eliom.server/Eliom_notif/Make/argument-1-A/index.html
Parameter Make.A
val prepare : identity -> server_notif -> client_notif option Lwt.tprepare 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.