package eliom

  1. Overview
  2. Docs
package eliom
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Wrong_scope
type timeout =
  1. | TGlobal
  2. | TNone
  3. | 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_data_state : ?secure:bool -> ?scope:Eliom_common.user_scope -> unit -> ([< Eliom_common.user_level ], [< `Data ]) state
val current_persistent_data_state : ?secure:bool -> ?scope:Eliom_common.user_scope -> unit -> ([< Eliom_common.user_level ], [< `Pers ]) state Lwt.t
val current_service_state : ?secure:bool -> ?scope:Eliom_common.user_scope -> unit -> ([< Eliom_common.user_level ], [< `Service ]) state
val discard_state : ?sitedata:Eliom_common.sitedata -> state:('a, 'b) state -> unit -> 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