Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Module User_widgets

module User_widgets : sig..end

Author(s): Piero Furiesi, Jaap Boender, Vincent Balat


val str_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  ?value:string ->
  ?visible:bool ->
  [< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
  [> Html5_types.input ] Eliom_content.Html5.F.elt
val passwd_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  ?value:string ->
  [< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
  [> Html5_types.input ] Eliom_content.Html5.F.elt
val submit_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  string -> [> Html5_types.input ] Eliom_content.Html5.F.elt
val late_content : 
  'a -> 'b -> [> Html5_types.div ] Eliom_content.Html5.D.elt Lwt.t
class type user_widget_class = object..end

Helper forms to add and remove users from groups. If show_edit is false, no controls to edit the permissions are shown

Form to add users to a group

Form to add an user to a group

class type user_widget_user_creation_class = object..end

Helper forms to add and remove users from groups. If show_edit is false, no controls to edit the permissions are shown

Form to add users to a group

Form to add an user to a group

class user_widget :  (object
<<pre class="ocsforge_color odocwiki_code"|    <<span id="ATTxhtml_class"|<<span class="ocsforge_color_keyword"|val>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|users_title>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    string <<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"|wrap>> <<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>> <<span class="odocwiki_name"|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"|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"|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"|list_wrap>> <<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>> <<span class="odocwiki_name"|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"|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"|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"|list_wrap>> <<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>> <<span class="odocwiki_name"|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"|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"|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"|list_wrap>> <<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>> <<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"|list_wrap>> <<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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<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"|list_wrap>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODlogin_box_aux"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|login_box_aux>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| ?user_prompt: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?pwd_prompt: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?auth_error: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?switchtohttps: >>string <<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"|wrap>> <<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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>><<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_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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|display_login_widget>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| ?user_prompt: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?pwd_prompt: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?auth_error: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?switchtohttps: >>string <<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"|wrap>> <<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"|div>> <<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>> <<span class="odocwiki_name"|user_link>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    [ `A of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_interactive>> | `Form ]\\    <<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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>><<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_done"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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>>\\                 <<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"|list_wrap>> <<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"|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"|wrap>>,\\     <<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>> <<span class="odocwiki_name"|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>> <<span class="odocwiki_name"|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"|div>> <<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>> <<span class="odocwiki_name"|display_group_creation>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| ?err: >>string <<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"|wrap>> <<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>> <<span class="odocwiki_name"|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

Helper forms to add and remove users from groups. If show_edit is false, no controls to edit the permissions are shown

Form to add users to a group

Form to add an user to a group

Widget for user login/logout/edition without addition of new users

class user_widget_user_creation : 
User_data.user_creation ->
(object <<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODlogin_box_extension"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|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"|D>><<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_user_creation"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_user_creation>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| ?err: >>string <<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"|wrap>> <<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"|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_user_creation_done"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_user_creation_done>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| name: >>string <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| fullname: >>string <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| email: >>string <<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"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| pwd: >>bytes * bytes <<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>>>>>>end:object ... end)

Helper forms to add and remove users from groups. If show_edit is false, no controls to edit the permissions are shown

Form to add users to a group

Form to add an user to a group

Widget for user login/logout/edition without addition of new users