include Bindings open Db type t = { user_id : string ; nick : string ; password : string ; email : string ; bio : string ; avatar : string ; metadata : (string * string) list } module Q = struct let create_user_table = Caqti_request.exec Caqti_type.unit "CREATE TABLE IF NOT EXISTS user (user_id TEXT, nick TEXT, password \ TEXT, email TEXT, bio TEXT, avatar BLOB, PRIMARY KEY(user_id));" let create_banished_table = Caqti_request.exec Caqti_type.unit "CREATE TABLE IF NOT EXISTS banished (nick TEXT, email TEXT);" let create_metadata_table = Caqti_request.exec Caqti_type.unit "CREATE TABLE IF NOT EXISTS user_metadata (user_id TEXT, metadata TEXT, \ FOREIGN KEY(user_id) REFERENCES user(user_id) ON DELETE CASCADE);" let get_metadata = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT metadata FROM user_metadata WHERE user_id=?;" let upload_metadata = Caqti_request.exec Caqti_type.(tup2 string string) "INSERT INTO user_metadata VALUES (?, ?);" let delete_metadata = Caqti_request.exec Caqti_type.string "DELETE FROM user_metadata WHERE user_id=?;" let get_user_id_from_nick = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT user_id FROM user WHERE nick=?;" let get_user_id_from_email = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT user_id FROM user WHERE email=?;" let get_password = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT password FROM user WHERE user_id=?;" let is_already_user = Caqti_request.find 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 user_id=?;" let update_bio = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET bio=? WHERE user_id=?;" let update_nick = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET nick=? WHERE user_id=?;" let update_email = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET email=? WHERE user_id=?;" let update_password = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET password=? WHERE user_id=?;" let get_nick = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT nick FROM user WHERE user_id=?;" let get_bio = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT bio FROM user WHERE user_id=?;" let get_email = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT email FROM user WHERE user_id=?;" let get_avatar = Caqti_request.find Caqti_type.string Caqti_type.string "SELECT avatar FROM user WHERE user_id=?;" let upload_avatar = Caqti_request.exec Caqti_type.(tup2 string string) "UPDATE user SET avatar=? WHERE user_id=?;" let delete_user = Caqti_request.exec Caqti_type.string "DELETE FROM user WHERE user_id=?;" let upload_banished = Caqti_request.exec Caqti_type.(tup2 string string) "INSERT INTO banished VALUES (?,?);" let get_banished = Caqti_request.find Caqti_type.(tup2 string string) Caqti_type.(tup2 string string) "SELECT * FROM banished WHERE nick=? OR email=?;" end let () = let tables = [| Q.create_user_table; Q.create_banished_table; Q.create_metadata_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 nick = Result.is_ok (Db.find Q.get_user nick) let get_metadata nick = let^ metadata = Db.find Q.get_metadata nick in let metadata : (string * string) list = Marshal.from_string metadata 0 in Ok metadata let get_user_id_from_nick nick = let^ user_id = Db.find Q.get_user_id_from_nick nick in Ok user_id let get_user user_id = let^? user_id, nick, password, (email, bio, avatar) = Db.find_opt Q.get_user user_id in let* metadata = get_metadata user_id in Ok { user_id; nick; password; email; bio; avatar; metadata } let is_banished login = Result.is_ok (Db.find Q.get_banished (login, login)) let get_nick user_id = let^ nick = Db.find Q.get_nick user_id in Ok nick let login ~login ~password request = if is_banished login then Error "YOU ARE BANISHED" else let* user_id = match Db.find_opt Q.get_user_id_from_nick login with | Error e -> Error (Format.sprintf "db error: %s" (Caqti_error.show e)) | Ok None -> ( match Db.find_opt Q.get_user_id_from_email login with | Error e -> Error (Format.sprintf "db error: %s" (Caqti_error.show e)) | Ok None -> Error "wrong login" | Ok (Some user_id) -> Ok user_id ) | Ok (Some user_id) -> Ok user_id in let^ good_password = Db.find Q.get_password user_id 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 "user_id" user_id request in let* nick = get_nick user_id in let _unit_lwt = Dream.put_session "nick" nick request in Ok () else Error "wrong password" let valid_nick nick = String.length nick < 64 && String.length nick > 0 && Dream.html_escape nick = nick let valid_password password = String.length password < 128 && String.length password > 0 let valid_email email = Result.is_ok @@ Emile.of_string email let register ~email ~nick ~password = let valid = valid_nick nick && valid_email email && valid_password 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 Q.is_already_user (nick, email) in if nb = 0 then let user_id = Uuidm.to_string (Uuidm.v4_gen random_state ()) in let^ () = Db.exec Q.upload_user (user_id, nick, password, (email, "", "")) in let^ () = Db.exec Q.upload_metadata (user_id, Marshal.to_string [] []) in Ok () else Error "nick or email already exists" let list () = let^ users = Db.collect_list Q.list_nicks () in Ok (Format.asprintf "