include Bindings open Db type t = { nick : string ; display_nick : string ; password : string ; email : string ; bio : string ; avatar : string } module Q = struct let create_user_table = Caqti_request.exec Caqti_type.unit "CREATE TABLE IF NOT EXISTS user (nick TEXT, display_nick TEXT, password \ TEXT, email TEXT, bio TEXT, avatar BLOB, PRIMARY KEY(nick));" let get_password = Caqti_request.find_opt Caqti_type.string Caqti_type.string "SELECT password FROM user WHERE nick=?;" let is_already_user = Caqti_request.find_opt Caqti_type.(tup2 string string) Caqti_type.int "SELECT EXISTS(SELECT 1 FROM user WHERE nick=? OR email=?);" let upload_user = Caqti_request.exec Caqti_type.( tup4 string string string Caqti_type.(tup3 string string string)) "INSERT INTO user VALUES (?, ?, ?, ?, ?, ?);" let list_nicks = Caqti_request.collect Caqti_type.unit Caqti_type.string "SELECT nick FROM user;" let get_user = Caqti_request.find Caqti_type.string (* there is no "tup6" *) Caqti_type.( tup4 string string string Caqti_type.(tup3 string string string)) "SELECT * FROM user WHERE nick=?;" let update_bio = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET bio=? WHERE nick=?;" let update_display_nick = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET display_nick=? WHERE nick=?;" let update_email = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET email=? WHERE nick=?;" let update_password = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET password=? WHERE nick=?;" let get_display_nick = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT display_nick FROM user WHERE nick=?;" let get_bio = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT bio FROM user WHERE nick=?;" let get_email = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT email FROM user WHERE nick=?;" let get_avatar = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT avatar FROM user WHERE nick=?;" let upload_avatar = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET avatar=? WHERE nick=?;" let create_banished_table = Caqti_request.exec Caqti_type.unit "CREATE TABLE IF NOT EXISTS banished (nick TEXT, email TEXT);" let delete_user = Caqti_request.exec Caqti_type.string "DELETE FROM user WHERE nick=?;" let upload_banished = Caqti_request.exec Caqti_type.(tup2 string string) "INSERT INTO banished VALUES (?,?);" let get_banished = Caqti_request.find Caqti_type.string Caqti_type.(tup2 string string) "SELECT * FROM banished WHERE nick=?;" end let () = let tables = [| Q.create_user_table; Q.create_banished_table |] in if Array.exists Result.is_error (Array.map (fun query -> Db.exec query ()) tables) then Dream.error (fun log -> log "can't create user tables") let exist nick = Result.is_ok (Db.find Q.get_user nick) let get_user nick = let^? nick, display_nick, password, (email, bio, avatar) = Db.find_opt Q.get_user nick in Ok { nick; display_nick; password; email; bio; avatar } let is_banished nick = Result.is_ok (Db.find Q.get_banished nick) let login ~nick ~password request = if exist nick then let^? good_password = Db.find_opt Q.get_password nick in if Bcrypt.verify password (Bcrypt.hash_of_string good_password) then let _unit_lwt = Dream.invalidate_session request in let _unit_lwt = Dream.put_session "nick" nick request in Ok () else Error "wrong password" else if is_banished nick then Error "YOU ARE BANISHED" else Error "wrong user name" let valid_nick nick = String.length nick < 64 && String.length nick > 0 && Dream.html_escape nick = nick let register ~email ~nick ~password = let valid_nick = valid_nick nick in let valid_email = match Emile.of_string email with Ok _ -> true | Error _ -> false in let valid_password = String.length password < 128 && String.length password > 0 in let valid = valid_nick && valid_email && valid_password in let password = Bcrypt.hash password in let password = Bcrypt.string_of_hash password in if not valid then Error "Something is wrong" else let^? nb = Db.find_opt Q.is_already_user (nick, email) in if nb = 0 then let^ () = Db.exec Q.upload_user (nick, nick, password, (email, "", "")) in Ok () else Error "nick or email already exists" let list () = let^ users = Db.collect_list Q.list_nicks () in Ok (Format.asprintf "" (Format.pp_print_list (fun fmt -> function | s -> Format.fprintf fmt {|
  • %s
  • |} s s ) ) users ) let public_profile nick = let* user = get_user nick in let user_info = Format.sprintf {|

    %s


    %s
    Your avatar picture
    |} user.nick user.bio user.nick in Ok user_info let profile request = match Dream.session "nick" request with | None -> "not logged in" | Some nick -> Format.sprintf "Hello %s !" nick let update_bio bio nick = let bio = Dream.html_escape bio in let valid = String.length bio < 10000 in if not valid then Error "Not biologic" else let^ () = Db.exec Q.update_bio (bio, nick) in Ok () let get_bio nick = let^? bio = Db.find_opt Q.get_bio nick in Ok bio let get_email nick = let^? email = Db.find_opt Q.get_email nick in Ok email let get_display_nick nick = let^? display_nick = Db.find_opt Q.get_display_nick nick in Ok display_nick let get_avatar nick = let^? avatar = Db.find_opt Q.get_avatar nick in if String.length avatar = 0 then Ok None else Ok (Some avatar) let upload_avatar files nick = match files with | [] -> Error "No file provided" | [ (_, content) ] -> if not (is_valid_image content) then Error "Invalid image" else let^ () = Db.exec Q.upload_avatar (content, nick) in Ok () | _files -> Error "More than one file provided" let is_admin nick = List.mem nick App.admins let banish nick = let* email = get_email nick in let^ () = Db.exec Q.delete_user nick in let^ () = Db.exec Q.upload_banished (nick, email) in Ok () let update_display_nick display_nick nick = if valid_nick display_nick then let^ () = Db.exec Q.update_display_nick (display_nick, nick) in Ok () else Error "invalid display nick"