Functor Model.FCgi_session_params

module FCgi_session_params: functor (M : Session_model) -> sig .. end

Parameters:

M : Session_model

type user = M.t

type html = M.html

type session_id = M.session_id

type callback = Env.cgi_env ->
       user option -> html

A callback is a function to call for a given page. The function takes

the environment
an option pair (user, sid) if the user is identified (with a session), then sid is the sessions id,

Then the function returns an HTML document.

type cookie_callback = Env.cgi_env ->
       user option ->
       html * Model.cookie_action list

val session_id : Env.cgi_env -> session_id option

Get the session id, if the user is connected.

val register : string -> callback -> unit

val cookie_register : string -> cookie_callback -> unit

val arg_of_session_id : session_id -> string

Take a session id and returns the code to append to an url to use the same session id for the page at this url.

val arg_of_callback : string -> string

Take a page name and build the code to append to an url to go to this callback.

val main : default:cookie_callback -> unit

Use the required callback (according to the value of the variable for the callback) in the url. This is the function to call at the end of the program. The default callback is given in argument.