trusty (3) Eliom_reference.Volatile.server.3o.gz

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

       module Ext : sig end