package eliom
Advanced Client/server Web and mobile framework
Install
dune-project
Dependency
Authors
Maintainers
Sources
10.2.0.tar.gz
md5=089b68d5bac8dfae1116923f6d95b39c
sha512=b4828b57d963d217ca0efd871b1c0b3f8816c7971825eb49d0dc06dbd91004fc659f83f9121d849ab8de47560941d07b2b9c1838b3387e7c1a4d3d6b9058936b
doc/eliom.server/Eliom_reference/Ext/index.html
Module Eliom_reference.ExtSource
This module allows access to references for other groups, sessions, or client processes. Use it in conjunction with functions like Eliom_state.Ext.iter_sub_states to get the sessions from a group (or the processes from a session).
Source
val get :
([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
'a Lwt.tget 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 | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
'a ->
unit Lwt.tSource
val modify :
([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
('a -> 'a) ->
unit Lwt.tWarning: the function will be executed with the current context
Source
val unset :
([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
unit Lwt.t