NAME¶
Eliom_reference.Volatile - Same functions as in Eliom_reference but a non-Lwt
interface for non-persistent Eliom references.
Module¶
Module Eliom_reference.Volatile
Documentation¶
Module
Volatile
:
sig end
Same functions as in
Eliom_reference but a non-Lwt interface for
non-persistent Eliom references.
type 'a eref =
('a, [ `Volatile ])
Eliom_reference.eref'
The type of volatile Eliom references. Note that
('a
Eliom_reference.Volatile.eref :> 'a Eliom_reference.eref) , i.e.
whereever you can use an
'a Eliom_reference.eref you can also
use an
'a Eliom_reference.Volatile.eref :> 'a Eliom_reference.eref .
val eref :
scope:[< Eliom_common.all_scope ] ->
?secure:bool -> 'a -> 'a eref
val eref_from_fun :
scope:[< Eliom_common.all_scope ] ->
?secure:bool -> (unit -> 'a) -> 'a eref
val get :
'a eref -> 'a
val set :
'a eref -> 'a -> unit
val modify :
'a eref -> ('a -> 'a) -> unit
val unset :
'a eref -> unit