eliom

Client/server Web framework
IN THIS PACKAGE
Module Eliom_state . Ext
exception Wrong_scope
type timeout =
| TGlobal
| TNone
| TSome of float
type (+'a, +'b) state
val volatile_data_group_state : ?scope:Eliom_common.session_group_scope -> string -> ( [> `Session_group ], [> `Data ] ) state
val persistent_data_group_state : ?scope:Eliom_common.session_group_scope -> string -> ( [> `Session_group ], [> `Pers ] ) state
val service_group_state : ?scope:Eliom_common.session_group_scope -> string -> ( [> `Session_group ], [> `Service ] ) state
val current_volatile_session_state : ?secure:bool -> ?scope:Eliom_common.session_scope -> unit -> ( [< `Session ], [< `Data ] ) state
val current_persistent_session_state : ?secure:bool -> ?scope:Eliom_common.session_scope -> unit -> ( [< `Session ], [< `Pers ] ) state Lwt.t
val current_service_session_state : ?secure:bool -> ?scope:Eliom_common.session_scope -> unit -> ( [< `Session ], [< `Service ] ) state
val discard_state : state:( 'a, 'b ) state -> unit Lwt.t
val fold_volatile_sub_states : ?sitedata:Eliom_common.sitedata -> state:( [< `Session | `Session_group ], [< `Data | `Service ] as 'b ) state -> ( 'a -> ( [< `Client_process | `Session ], 'b ) state -> 'a ) -> 'a -> 'a
val iter_volatile_sub_states : ?sitedata:Eliom_common.sitedata -> state:( [< `Session | `Session_group ], [< `Data | `Service ] as 'a ) state -> ( ( [< `Client_process | `Session ], 'a ) state -> unit ) -> unit
val fold_sub_states : ?sitedata:Eliom_common.sitedata -> state: ( [< `Session | `Session_group ], [< `Data | `Pers | `Service ] as 'b ) state -> ( 'a -> ( [< `Client_process | `Session ], 'b ) state -> 'a Lwt.t ) -> 'a -> 'a Lwt.t
val iter_sub_states : ?sitedata:Eliom_common.sitedata -> state:( [< `Session | `Session_group ], 'k ) state -> ( ( [< `Client_process | `Session ], 'k ) state -> unit Lwt.t ) -> unit Lwt.t
module Low_level : sig ... end
val get_session_group_list : unit -> string list
val iter_service_cookies : ( service_cookie_info -> unit Lwt.t ) -> unit Lwt.t
val iter_volatile_data_cookies : ( data_cookie_info -> unit Lwt.t ) -> unit Lwt.t
val iter_persistent_data_cookies : ( persistent_cookie_info -> unit Lwt.t ) -> unit Lwt.t
val fold_service_cookies : ( service_cookie_info -> 'b -> 'b Lwt.t ) -> 'b -> 'b Lwt.t
val fold_volatile_data_cookies : ( data_cookie_info -> 'b -> 'b Lwt.t ) -> 'b -> 'b Lwt.t
val fold_persistent_data_cookies : ( persistent_cookie_info -> 'b -> 'b Lwt.t ) -> 'b -> 'b Lwt.t
val untype_state : ( 'a, 'b ) state -> ( 'c, 'd ) state