package eliom
Advanced client/server Web and mobile framework
Install
Dune Dependency
Authors
Maintainers
Sources
10.3.1.tar.gz
md5=a989128ffd2ffd4a74b17233cd0a4b46
sha512=ee76f43609fc33aad96758e9a9698ec517aa92eaaf4575e3e4b43aaa34b3659f0403370d1c8a20c605465802375cbdf7f98a0d086cb3c73e86d19115064f7f15
doc/eliom.server/Eliom_reference/Ext/index.html
Module Eliom_reference.Ext
Source
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.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
.
Source
val set :
([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
'a ->
unit Lwt.t
Source
val 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
Source
val unset :
([< `Session_group | `Session | `Client_process ], [< `Data | `Pers ])
Eliom_state.Ext.state ->
'a eref ->
unit Lwt.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>