Module User_data
module User_data : sig..end
Author(s): Piero Furiesi, Jaap Boender, Vincent Balat, Boris Yakobowski
val User_data.valid_username : string -> bool
val User_data.valid_emailaddr : string -> bool
val User_data.generate_password : unit -> string
User creation ¶
type user_creation = { non_admin_can_create: bool; mail_from: string; mail_addr: string; mail_subject: string; new_user_groups: User_sql.Types.user list;}
Options for the creation of a new user
val User_data.can_create_user : options:user_creation -> bool Lwt.t
val User_data.can_create_group : unit -> bool Lwt.t
val User_data.can_admin_users : unit -> bool Lwt.t
val User_data.create_group :
name:string -> descr:string -> User_sql.Types.userid Lwt.t
Change user information ¶
val User_data.can_view_users : unit -> bool Lwt.t
val User_data.can_view_groups : unit -> bool Lwt.t
val User_data.can_view_roles : unit -> bool Lwt.t
val User_data.can_change_user_data_by_userid : User_sql.Types.userid -> bool Lwt.t
val User_data.can_change_user_data_by_user : User_sql.Types.user -> bool Lwt.t
val User_data.change_user_data :
userid:User_sql.Types.userid ->
pwd:string * string -> fullname:string -> email:string -> unit Lwt.t
Edition of groups ¶
val User_data.add_remove_user_from_group :
group:string ->
user:string ->
(user:User_sql.Types.user -> group:User_sql.Types.user -> unit Lwt.t) ->
unit Lwt.t
val User_data.add_user_from_group : group:string -> user:string -> unit -> unit Lwt.t
val User_data.remove_user_from_group :
group:string -> user:string -> unit -> unit Lwt.t
Login and logout ¶
val User_data.logout : unit -> unit Lwt.t
val User_data.th_login : Throttle.t
val User_data.th_ip : Throttle.t
val User_data.login : name:Throttle.key -> pwd:string -> unit Lwt.t
Login error tracking ¶
val User_data.login_error_eref : exn list Eliom_reference.eref
val User_data.get_login_error : unit -> exn list Lwt.t
val User_data.add_login_error : exn -> unit Lwt.t