Warning: Reason support is experimental. We are looking for beta-tester and contributors.

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