package eliom

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

Sourceval get : ([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ]) Eliom_state.Ext.state -> 'a 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.

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

Warning: the function will be executed with the current context

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

Innovation. Community. Security.