Class User_widgets.user_widget
class user_widget : (object <<pre class="ocsforge_color odocwiki_code"| <<span id="ATTxhtml_class"|<<span class="ocsforge_color_keyword"|val>> <<a_api_code text="xhtml_class" | attribute User_widgets.user_widget.xhtml_class >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|<<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtoken>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODusers_to_html"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="users_to_html" | method User_widgets.user_widget.users_to_html >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| group: >><<a_api text="User_sql.Types.user" | type User_sql.Types.user >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<a_api text="User_sql.Types.userdata" | type User_sql.Types.userdata >> list <<span class="ocsforge_color_uid"|Lazy>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODusers_title"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="users_title" | method User_widgets.user_widget.users_title >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ string <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODform_edit_group"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="form_edit_group" | method User_widgets.user_widget.form_edit_group >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| ?is_user: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| group: >><<a_api text="User_sql.Types.user" | type User_sql.Types.user >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| text: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODform_edit_user"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="form_edit_user" | method User_widgets.user_widget.form_edit_user >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| user: >><<a_api text="User_sql.Types.user" | type User_sql.Types.user >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| text: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODusers_edit_table"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="users_edit_table" | method User_widgets.user_widget.users_edit_table >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| text: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> > `Table ]\\ <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODform_edit_awr"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="form_edit_awr" | method User_widgets.user_widget.form_edit_awr >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'a.\\ <<span class="ocsforge_color_label"| text_prefix: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| grps: >>'a <<a_api text="User_sql.Types.admin_writer_reader" | type User_sql.Types.admin_writer_reader >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| arg: >>'a <<a_api text="Opaque.int32_t" | type Opaque.int32_t >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?defaults: >>string * string * string <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> *\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODbt_remove_user_from_group"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="bt_remove_user_from_group" | method User_widgets.user_widget.bt_remove_user_from_group >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| group: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| user: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| remove: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >>\\ _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> > `Div `PCDATA ]\\ <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODlogin_box_aux"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="login_box_aux" | method User_widgets.user_widget.login_box_aux >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| ?user_prompt: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?pwd_prompt: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?auth_error: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?switchtohttps: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?show_ext: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\ bool <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>[ `One of string ] <<span class="ocsforge_color_uid"|Eliom_parameter>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|param_name>> *\\ [ `One of string ] <<span class="ocsforge_color_uid"|Eliom_parameter>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|param_name>> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|form_content>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_logout_box"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="display_logout_box" | method User_widgets.user_widget.display_logout_box >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<a_api text="User_sql.Types.userdata" | type User_sql.Types.userdata >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|form_content>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODlogin_box_extension"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="login_box_extension" | method User_widgets.user_widget.login_box_extension >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_logout_button"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_logout_button" | method User_widgets.user_widget.display_logout_button >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'b.\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|button_content>> <<span class="ocsforge_color_uid"|Eliom_content_core>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|form>> ] as 'b<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODlogout_uri"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="logout_uri" | method User_widgets.user_widget.logout_uri >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|<<a_api text="Wiki_syntax.href" | type Wiki_syntax.href >>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_login_widget"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_login_widget" | method User_widgets.user_widget.display_login_widget >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| ?user_prompt: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?pwd_prompt: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?auth_error: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?switchtohttps: >>string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| ?show_ext: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|form_content>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODuser_link"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="user_link" | method User_widgets.user_widget.user_link >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ string <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_group"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_group" | method User_widgets.user_widget.display_group >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<a_api text="User_sql.Types.user" | type User_sql.Types.user >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_users_settings"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_users_settings" | method User_widgets.user_widget.display_users_settings >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content_core>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_users_settings_done"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_users_settings_done" | method User_widgets.user_widget.display_users_settings_done >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ unit <<span class="ocsforge_color_delimiter"| -> >>\\ bool * <<span class="ocsforge_color_delimiter"| ( >>string * <<span class="ocsforge_color_delimiter"| ( >>string * <<span class="ocsforge_color_delimiter"| ( >>string * <<span class="ocsforge_color_delimiter"| ( >>string * bool<<span class="ocsforge_color_delimiter"| ) >><<span class="ocsforge_color_delimiter"| ) >><<span class="ocsforge_color_delimiter"| ) >><<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_users"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_users" | method User_widgets.user_widget.display_users >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_groups"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_groups" | method User_widgets.user_widget.display_groups >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_roles"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_roles" | method User_widgets.user_widget.display_roles >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODget_roles_table"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="get_roles_table" | method User_widgets.user_widget.get_roles_table >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| ?td_content: >><<span class="ocsforge_color_delimiter"| ( >><<a_api text="User_sql.Types.user" | type User_sql.Types.user >> * string <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>_[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|td_content_fun>> > `Div `PCDATA ]\\ as 'c<<span class="ocsforge_color_delimiter"| ) >>\\ <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>><<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_delimiter"| -> >>\\ unit <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_delimiter"| ( >>string, <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|tr>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Hashtbl>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>\\ <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_users_groups"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<a_api_code text="display_users_groups" | method User_widgets.user_widget.display_users_groups >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| show_auth: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| utype: >>[ `Group | `User ] <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_label"| l: >><<a_api text="User_sql.Types.userdata" | type User_sql.Types.userdata >> list <<span class="ocsforge_color_delimiter"| -> >>\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODstatus_text"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="status_text" | method User_widgets.user_widget.status_text >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|form_content>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_group_creation"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_group_creation" | method User_widgets.user_widget.display_group_creation >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ <<span class="ocsforge_color_label"| ?err: >>string <<span class="ocsforge_color_delimiter"| -> >> unit <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Eliom_registration>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Flow5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|page>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_group_creation_done"|<<span class="ocsforge_color_keyword"|method>> <<a_api_code text="display_group_creation_done" | method User_widgets.user_widget.display_group_creation_done >>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ unit <<span class="ocsforge_color_delimiter"| -> >> string * string <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Eliom_registration>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Flow5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|page>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>>end:object ... end)
Widget for user login/logout/edition without addition of new users
val Error a_api_code: "user_widget" is not a valid module name : Html5_types.nmtoken
method private Error a_api_code: "user_widget" is not a valid module name :
group:User_sql.Types.user ->
User_sql.Types.userdata list Lazy.t ->
Html5_types.tr Eliom_content.Html5.F.elt list Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
string -> Html5_types.tr Eliom_content.Html5.F.elt
method Error a_api_code: "user_widget" is not a valid module name :
?is_user:bool ->
group:User_sql.Types.user ->
text:Html5_types.td_content_fun Eliom_content.Html5.F.elt list ->
unit -> Html5_types.tr Eliom_content.Html5.F.elt Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
user:User_sql.Types.user ->
text:Html5_types.td_content_fun Eliom_content.Html5.F.elt list ->
unit -> Html5_types.tr Eliom_content.Html5.F.elt Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
text:Html5_types.td_content_fun Eliom_content.Html5.F.elt list ->
(_[< Html5_types.div_content_fun > `Table ] as 'd)
Eliom_content.Html5.F.elt list ->
Html5_types.tr Eliom_content.Html5.F.elt Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
'a.
text_prefix:string ->
grps:'a User_sql.Types.admin_writer_reader ->
arg:'a Opaque.int32_t ->
?defaults:string * string * string ->
unit ->
(Html5_types.tr Eliom_content.Html5.F.elt *
Html5_types.tr Eliom_content.Html5.F.elt list)
Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
group:string ->
user:string -> remove:bool -> unit -> 'c Eliom_content.Html5.F.elt list
method private Error a_api_code: "user_widget" is not a valid module name :
?user_prompt:string ->
?pwd_prompt:string ->
?auth_error:string ->
?switchtohttps:string ->
?show_ext:bool ->
bool ->
([ `One of string ] Eliom_parameter.param_name *
[ `One of string ] Eliom_parameter.param_name ->
Html5_types.form_content Eliom_content.Html5.F.elt list)
Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
User_sql.Types.userdata ->
Html5_types.form_content Eliom_content.Html5.F.elt list Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
Html5_types.div_content_fun Eliom_content.Html5.F.elt list Lwt.t
:
'b.
Html5_types.button_content Eliom_content_core.Html5.elt list ->
([> Html5_types.form ] as 'b) Eliom_content.Html5.F.elt Lwt.t
method Error a_api_code: "user_widget" is not a valid module name : Wiki_syntax.href
method Error a_api_code: "user_widget" is not a valid module name :
?user_prompt:string ->
?pwd_prompt:string ->
?auth_error:string ->
?switchtohttps:string ->
?show_ext:bool ->
unit -> Html5_types.form_content Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
string -> Html5_types.td_content_fun Eliom_content.Html5.F.elt
method Error a_api_code: "user_widget" is not a valid module name :
User_sql.Types.user ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
Html5_types.flow5 Eliom_content_core.Html5.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
unit ->
bool * (string * (string * (string * (string * bool)))) ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
?td_content:(User_sql.Types.user * string ->
'c Eliom_content.Html5.F.elt list Lwt.t) ->
unit ->
(string, Html5_types.tr Eliom_content.Html5.F.elt list) Hashtbl.t Lwt.t
method private Error a_api_code: "user_widget" is not a valid module name :
show_auth:bool ->
utype:[ `Group | `User ] ->
l:User_sql.Types.userdata list ->
Html5_types.flow5 Eliom_content.Html5.F.elt Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
Html5_types.form_content Eliom_content.Html5.F.elt list Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
?err:string -> unit -> Eliom_registration.Flow5.page Lwt.t
method Error a_api_code: "user_widget" is not a valid module name :
unit -> string * string -> Eliom_registration.Flow5.page Lwt.t