Source file blacklist_repo.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
module type Sig = sig
  val lifecycles : Sihl.Container.lifecycle list
  val insert : string -> unit Lwt.t
  val has : string -> bool Lwt.t
  val delete : string -> unit Lwt.t
  val register_cleaner : unit -> unit
  val register_migration : unit -> unit
end

module InMemory : Sig = struct
  let lifecycles = []
  let store = Hashtbl.create 100

  let insert token =
    Hashtbl.add store token ();
    Lwt.return ()
  ;;

  let has token = Lwt.return @@ Hashtbl.mem store token
  let delete token = Lwt.return @@ Hashtbl.remove store token

  let register_cleaner () =
    Sihl.Cleaner.register_cleaner (fun () -> Lwt.return (Hashtbl.clear store))
  ;;

  let register_migration () = ()
end

module MariaDb : Sig = struct
  module Migration = Sihl.Database.Migration.MariaDb

  let lifecycles = [ Sihl.Database.lifecycle; Migration.lifecycle ]

  let insert_request =
    Caqti_request.exec
      Caqti_type.(tup2 string ptime)
      {sql|
        INSERT INTO token_blacklist (
          token_value,
          created_at
        ) VALUES (
          $1,
          $2
        )
        |sql}
  ;;

  let insert token =
    let now = Ptime_clock.now () in
    Sihl.Database.exec insert_request (token, now)
  ;;

  let find_request_opt =
    Caqti_request.find_opt
      Caqti_type.string
      Caqti_type.(tup2 string ptime)
      {sql|
        SELECT
          token_value,
          created_at
        FROM token_blacklist
        WHERE token_blacklist.token_value = ?
        |sql}
  ;;

  let find_opt token = Sihl.Database.find_opt find_request_opt token

  let has token =
    let%lwt token = find_opt token in
    Lwt.return @@ Option.is_some token
  ;;

  let delete_request =
    Caqti_request.exec
      Caqti_type.string
      {sql|
        DELETE FROM token_blacklist
        WHERE token_blacklist.token_value = ?
        |sql}
  ;;

  let delete token = Sihl.Database.exec delete_request token

  let fix_collation =
    Sihl.Database.Migration.create_step
      ~label:"fix collation"
      "SET collation_server = 'utf8mb4_unicode_ci';"
  ;;

  let create_jobs_table =
    Sihl.Database.Migration.create_step
      ~label:"create token blacklist table"
      {sql|
       CREATE TABLE IF NOT EXISTS token_blacklist (
         id BIGINT UNSIGNED AUTO_INCREMENT,
         token_value VARCHAR(2000) NOT NULL,
         created_at TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP,
         PRIMARY KEY (id)
       ) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_unicode_ci;
       |sql}
  ;;

  let migration =
    Sihl.Database.Migration.(
      empty "tokens_blacklist"
      |> add_step fix_collation
      |> add_step create_jobs_table)
  ;;

  let register_migration () = Migration.register_migration migration

  let clean_request =
    Caqti_request.exec Caqti_type.unit "TRUNCATE token_blacklist;"
  ;;

  let clean () = Sihl.Database.exec clean_request ()
  let register_cleaner () = Sihl.Cleaner.register_cleaner clean
end

module PostgreSql : Sig = struct
  module Migration = Sihl.Database.Migration.PostgreSql

  let lifecycles = [ Sihl.Database.lifecycle; Migration.lifecycle ]

  let insert_request =
    Caqti_request.exec
      Caqti_type.(tup2 string ptime)
      {sql|
        INSERT INTO token_blacklist (
          token_value,
          created_at
        ) VALUES (
          $1,
          $2 AT TIME ZONE 'UTC'
        )
        |sql}
  ;;

  let insert token =
    let now = Ptime_clock.now () in
    Sihl.Database.exec insert_request (token, now)
  ;;

  let find_request_opt =
    Caqti_request.find_opt
      Caqti_type.string
      Caqti_type.(tup2 string ptime)
      {sql|
       SELECT
          token_value,
          created_at
        FROM token_blacklist
        WHERE token_blacklist.token_value = ?
        |sql}
  ;;

  let find_opt token = Sihl.Database.find_opt find_request_opt token

  let has token =
    let%lwt token = find_opt token in
    Lwt.return @@ Option.is_some token
  ;;

  let delete_request =
    Caqti_request.exec
      Caqti_type.string
      {sql|
        DELETE FROM token_blacklist
        WHERE token_blacklist.token_value = ?
        |sql}
  ;;

  let delete token = Sihl.Database.exec delete_request token

  let create_jobs_table =
    Sihl.Database.Migration.create_step
      ~label:"create token blacklist table"
      {sql|
       CREATE TABLE IF NOT EXISTS token_blacklist (
         id serial,
         token_value VARCHAR(2000) NOT NULL,
         created_at TIMESTAMP WITH TIME ZONE DEFAULT CURRENT_TIMESTAMP,
         PRIMARY KEY (id)
       );
       |sql}
  ;;

  let remove_timezone =
    Sihl.Database.Migration.create_step
      ~label:"remove timezone info from timestamps"
      {sql|
       ALTER TABLE token_blacklist
        ALTER COLUMN created_at TYPE TIMESTAMP;
       |sql}
  ;;

  let migration =
    Sihl.Database.Migration.(
      empty "tokens_blacklist"
      |> add_step create_jobs_table
      |> add_step remove_timezone)
  ;;

  let register_migration () = Migration.register_migration migration

  let clean_request =
    Caqti_request.exec Caqti_type.unit "TRUNCATE token_blacklist;"
  ;;

  let clean () = Sihl.Database.exec clean_request ()
  let register_cleaner () = Sihl.Cleaner.register_cleaner clean
end