package eliom
Advanced client/server Web and mobile framework
Install
Dune Dependency
Authors
Maintainers
Sources
11.1.1.tar.gz
md5=c8c67fe5fb8d3f44a3b17cc4a93a0e62
sha512=e58557a1b525efd011e0eb539b112b53e6c012ac3fb2153c251be030eda483dd3b19de625707cf5ffebd97fa6a7fabfb8a6aae8e8a61c79e0bd7ad2d289df9a9
doc/eliom.server/Eliom_reference/Volatile/Ext/index.html
Module Volatile.ExtSource
This module allows access to volatile references for other groups, sessions, or client processes. Use it in conjunction with functions like Eliom_state.Ext.iter_volatile_sub_states to get the sessions from a group (or the processes from a session).
Source
val get :
([< `Session_group | `Session | `Client_process ], [< `Data ])
Eliom_state.Ext.state ->
'a eref ->
'aget the value of a reference from outside the state. If the value has not been set yet for this state, it will raise exception Eref_not_initialized.
Source
val set :
([< `Session_group | `Session | `Client_process ], [< `Data ])
Eliom_state.Ext.state ->
'a eref ->
'a ->
unitSource
val modify :
([< `Session_group | `Session | `Client_process ], [< `Data ])
Eliom_state.Ext.state ->
'a eref ->
('a -> 'a) ->
unitWarning: the function will be executed with the current context
Source
val unset :
([< `Session_group | `Session | `Client_process ], [< `Data ])
Eliom_state.Ext.state ->
'a eref ->
unit