This is server API (go to client)

Module Eliom_reference.​Ext

module Ext : sig..end

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).


val get : 
  ([< `Client_process | `Session | `Session_group ], [< `Data | `Pers ])
  Eliom_state.Ext.state -> 'a Eliom_reference.eref -> 'a Lwt.t

get 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.

val set : 
  ([< `Client_process | `Session | `Session_group ], [< `Data | `Pers ])
  Eliom_state.Ext.state -> 'a Eliom_reference.eref -> 'a -> unit Lwt.t
val modify : 
  ([< `Client_process | `Session | `Session_group ], [< `Data | `Pers ])
  Eliom_state.Ext.state ->
  'a Eliom_reference.eref -> ('a -> 'a) -> unit Lwt.t

Warning: the function will be executed with the current context

val unset : 
  ([< `Client_process | `Session | `Session_group ], [< `Data | `Pers ])
  Eliom_state.Ext.state -> 'a Eliom_reference.eref -> unit Lwt.t