Eliom_reference.Volatile.server (3o)

Module Eliom_reference.Volatile

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

module Ext : sig end