Module `Eliom_common_base`

exception Eliom_site_information_not_available of string

type scope_hierarchy =

| User_hier of string
| Default_ref_hier
| Default_comet_hier

type user_scope = [

| `Session_group of scope_hierarchy
| `Session of scope_hierarchy
| `Client_process of scope_hierarchy

]

type scope = [

| `Site
| user_scope

]

type all_scope = [

| scope
| `Global
| `Request

]

type global_scope = [

| `Global

]

type site_scope = [

| `Site

]

type session_group_scope = [

| `Session_group of scope_hierarchy

]

type session_scope = [

| `Session of scope_hierarchy

]

type client_process_scope = [

| `Client_process of scope_hierarchy

]

type request_scope = [

| `Request

]

type user_level = [

| `Session_group
| `Session
| `Client_process

]

type cookie_level = [

| `Session
| `Client_process

]

type cookie_scope = [

| `Session of scope_hierarchy
| `Client_process of scope_hierarchy

]

val level_of_user_scope : 
  [< `Client_process of scope_hierarchy & 'a
  | `Session of scope_hierarchy & 'b
  | `Session_group of scope_hierarchy & 'c ] ->
  [> user_level ]

val cookie_level_of_user_scope : 
  [< `Client_process of scope_hierarchy & 'a
  | `Session of scope_hierarchy & 'b
  | `Session_group of scope_hierarchy & 'c ] ->
  [> cookie_level ]

val cookie_scope_of_user_scope : [< user_scope ] -> [> cookie_scope ]

val scope_hierarchy_of_user_scope : [< user_scope ] -> scope_hierarchy

type full_state_name = {

user_scope : user_scope;
secure : bool;
site_dir_str : string;

}

module Full_state_name_table : sig ... end

type att_key_serv =

| SAtt_no
| SAtt_named of string
| SAtt_anon of string
| SAtt_csrf_safe of int * user_scope * bool option
| SAtt_na_named of string
| SAtt_na_anon of string
| SAtt_na_csrf_safe of int * user_scope * bool option

type na_key_serv =

| SNa_no
| SNa_void_keep
| SNa_void_dontkeep
| SNa_get_ of string
| SNa_post_ of string
| SNa_get' of string
| SNa_post' of string
| SNa_get_csrf_safe of int * user_scope * bool option
| SNa_post_csrf_safe of int * user_scope * bool option

type att_key_req =

| RAtt_no
| RAtt_named of string
| RAtt_anon of string

type na_key_req =

| RNa_no
| RNa_get_ of string
| RNa_post_ of string
| RNa_get' of string
| RNa_post' of string

val att_key_serv_of_req : att_key_req -> att_key_serv

val na_key_serv_of_req : na_key_req -> na_key_serv

val defaultpagename : string

val eliom_suffix_name : string

val eliom_suffix_internal_name : string

val eliom_nosuffix_page : string

val naservice_num : string

val naservice_name : string

val get_state_param_name : string

val post_state_param_name : string

val get_numstate_param_name : string

val post_numstate_param_name : string

val co_param_prefix : string

val na_co_param_prefix : string

val nl_param_prefix : string

val pnl_param_prefix : string

val npnl_param_prefix : string

val eliom_internal_nlp_prefix : string

val tab_cookies_param_name : string

val to_be_considered_as_get_param_name : string

val appl_name_cookie_name : string

val appl_name_header_name : string

val full_xhr_redir_header : string

val half_xhr_redir_header : string

val response_url_header : string

val set_tab_cookies_header_name : string

val tab_cookies_header_name : string

val cookie_substitutes_header_name : string

val set_cookie_substitutes_header_name : string

val tab_cpi_header_name : string

val expecting_process_page_name : string

val base_elt_id : string

val nl_is_persistent : string -> bool

type client_process_info = {

cpi_ssl : bool;
cpi_hostname : string;
cpi_server_port : int;
cpi_original_full_path : string list;

}

val client_process_info_of_json : 
  Deriving_Json_lexer.lexbuf ->
  client_process_info

val client_process_info_to_json : Buffer.t -> client_process_info -> unit

val client_process_info_json : client_process_info Deriving_Json.t

type sess_info = {

si_other_get_params : (string * string) list;
si_all_get_params : (string * string) list;
si_all_post_params : (string * string) list option;
si_all_file_params : (string * Eliom_lib.file_info) list option;
si_service_session_cookies : string Full_state_name_table.t;
si_data_session_cookies : string Full_state_name_table.t;
si_persistent_session_cookies : string Full_state_name_table.t;
si_secure_cookie_info : string Full_state_name_table.t * string Full_state_name_table.t * string Full_state_name_table.t;
si_service_session_cookies_tab : string Full_state_name_table.t;
si_data_session_cookies_tab : string Full_state_name_table.t;
si_persistent_session_cookies_tab : string Full_state_name_table.t;
si_secure_cookie_info_tab : string Full_state_name_table.t * string Full_state_name_table.t * string Full_state_name_table.t;
si_tab_cookies : string Ocsigen_cookie_map.Map_inner.t;
si_nonatt_info : na_key_req;
si_state_info : att_key_req * att_key_req;
si_previous_extension_error : int;
si_na_get_params : (string * string) list Lazy.t;
si_nl_get_params : (string * string) list Eliom_lib.String.Table.t;
si_nl_post_params : (string * string) list Eliom_lib.String.Table.t;
si_nl_file_params : (string * Eliom_lib.file_info) list Eliom_lib.String.Table.t;
si_persistent_nl_get_params : (string * string) list Eliom_lib.String.Table.t Lazy.t;
si_all_get_but_na_nl : (string * string) list Lazy.t;
si_all_get_but_nl : (string * string) list;
si_ignored_get_params : (string * string) list;
si_ignored_post_params : (string * string) list;
si_client_process_info : client_process_info option;
si_expect_process_data : bool Lazy.t;

}

type eliom_js_page_data = {

ejs_global_data : (Eliom_runtime.global_data * Eliom_wrap.unwrapper) option;
ejs_request_data : Eliom_runtime.request_data;
ejs_event_handler_table : Ocsigen_lib_base.poly Eliom_runtime.RawXML.ClosureMap.t;
ejs_client_attrib_table : Ocsigen_lib_base.poly Eliom_runtime.RawXML.ClosureMap.t;
ejs_sess_info : sess_info;

}

val tyxml_unwrap_id_int : int

val comet_channel_unwrap_id_int : int

val react_up_unwrap_id_int : int

val react_down_unwrap_id_int : int

val signal_down_unwrap_id_int : int

val bus_unwrap_id_int : int

val client_value_unwrap_id_int : int

val global_data_unwrap_id_int : int

val server_function_unwrap_id_int : int

type node_ref = string

val nl_get_appl_parameter : string

val make_actual_path : string list -> string list

val is_client_app : bool ref

val prefixlength : int

val prefixlengthminusone : int

val split_nl_prefix_param : 
  (string * 'a) list ->
  (string * 'a) list Eliom_lib.String.Table.t * (string * 'a) list

val split_prefix_param : 
  string ->
  (string * 'a) list ->
  (string * 'a) list * (string * 'a) list

val remove_prefixed_param : string -> (string * 'a) list -> (string * 'a) list

val remove_na_prefix_params : (string * 'a) list -> (string * 'a) list

val filter_na_get_params : (string * string) list -> (string * string) list

exception Eliom_404

type ('a, 'b) foundornot =

| Found of 'a
| Notfound of 'b

Service called with wrong parameter names

exception Eliom_Wrong_parameter

exception Eliom_duplicate_registration of string

exception Eliom_page_erasing of string

type 'a dircontent =

| Vide
| Table of 'a direlt ref Eliom_lib.String.Table.t

and 'a direlt =

| Dir of 'a dircontent ref
| File of 'a ref

val empty_dircontent : unit -> 'a dircontent

type meth = [

| `Get
| `Post
| `Put
| `Delete
| `Other

]

type page_table_key = {

key_state : att_key_serv * att_key_serv;
key_meth : meth;

}

type anon_params_type = int

exception Eliom_Typing_Error of (string * exn) list

type ('params, 'result) service = {

s_id : anon_params_type * anon_params_type;
mutable s_max_use : int option;
s_expire : (float * float ref) option;
s_f : bool -> 'params -> 'result Lwt.t;

}

type 'a to_and_of = {

of_string : string -> 'a;
to_string : 'a -> string;

}

val backtrace_lwt : int -> string list