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
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
open Import
include Rock.Response
let redirect_to
?(status : Status.redirection = `Found)
?version
?reason
?( = Headers.empty)
?env
location
=
let = Headers.add_unless_exists headers "Location" location in
make ?version ~status:(status :> Status.t) ?reason ~headers ?env ()
;;
let t = Headers.get t.headers header
let t = Headers.get_multi t.headers header
let (k, v) t = { t with headers = Headers.add t.headers k v }
let (k, v) t =
{ t with
headers =
(if Headers.mem t.headers k
then Headers.replace t.headers k v
else Headers.add t.headers k v)
}
;;
let (k, v) t =
{ t with headers = Headers.add_unless_exists t.headers k v }
;;
let hs t = { t with headers = Headers.add_list t.headers hs }
let hs t =
List.fold_left hs ~init:t ~f:(fun acc el -> add_header_or_replace el acc)
;;
let hs t =
{ t with headers = Headers.add_list_unless_exists t.headers hs }
;;
let key t = { t with headers = Headers.remove t.headers key }
let cookie ?signed_with key t =
headers "Set-Cookie" t
|> List.find_map ~f:(fun v ->
match Cookie.of_set_cookie_header ?signed_with ("Set-Cookie", v) with
| Some (Cookie.{ value = k, _; _ } as c) when String.equal k key -> Some c
| _ -> None)
;;
let cookies ?signed_with t =
headers "Set-Cookie" t
|> List.filter_map ~f:(fun v ->
Cookie.of_set_cookie_header ?signed_with ("Set-Cookie", v))
;;
let add_cookie ?sign_with ?expires ?scope ?same_site ?secure ?http_only value t =
let =
Cookie.make ?sign_with ?expires ?scope ?same_site ?secure ?http_only value
|> Cookie.to_set_cookie_header
in
add_header cookie_header t
;;
let add_cookie_or_replace ?sign_with ?expires ?scope ?same_site ?secure ?http_only value t
=
let =
Cookie.make ?sign_with ?expires ?scope ?same_site ?secure ?http_only value
|> Cookie.to_set_cookie_header
in
let =
List.replace_or_add
~f:(fun (k, v) _ ->
match k, v with
| k, v
when String.equal (String.lowercase_ascii k) "set-cookie"
&& String.is_prefix v ~prefix:(fst value) -> true
| _ -> false)
cookie_header
(Headers.to_list t.headers)
in
{ t with headers = Headers.of_list headers }
;;
let add_cookie_unless_exists
?sign_with
?expires
?scope
?same_site
?secure
?http_only
(k, v)
t
=
let cookies = cookies t in
if List.exists cookies ~f:(fun Cookie.{ value = cookie, _; _ } -> String.equal cookie k)
then t
else add_cookie ?sign_with ?expires ?scope ?same_site ?secure ?http_only (k, v) t
;;
let remove_cookie key t = add_cookie_or_replace ~expires:(`Max_age 0L) (key, "") t
let of_string'
?(content_type = "text/plain")
?version
?status
?reason
?env
?( = Headers.empty)
body
=
let = Headers.add_unless_exists headers "Content-Type" content_type in
make ?version ?status ?reason ~headers ~body:(Body.of_string body) ?env ()
;;
let of_plain_text ?version ?status ?reason ? ?env body =
of_string' ?version ?status ?reason ?env ?headers body
;;
let of_html ?version ?status ?reason ?( = Headers.empty) ?env ?indent body =
let body = Format.asprintf "%a" (Tyxml_html.pp ?indent ()) body in
let = Headers.add_unless_exists headers "Connection" "Keep-Alive" in
of_string'
~content_type:"text/html; charset=utf-8"
?version
?status
?reason
?env
~headers
body
;;
let of_xml ?version ?status ?reason ?( = Headers.empty) ?env ?indent body =
let body = Format.asprintf "%a" (Tyxml.Xml.pp ?indent ()) body in
of_string'
~content_type:"application/xml charset=utf-8"
?version
?status
?reason
?env
~headers
body
;;
let of_svg ?version ?status ?reason ?( = Headers.empty) ?env ?indent body =
let body = Format.asprintf "%a" (Tyxml.Svg.pp ?indent ()) body in
let = Headers.add_unless_exists headers "Connection" "Keep-Alive" in
of_string' ~content_type:"image/svg+xml" ?version ?status ?reason ?env ~headers body
;;
let of_json ?version ?status ?reason ? ?env body =
of_string'
~content_type:"application/json"
?version
?status
?reason
?headers
?env
(body |> Yojson.Safe.to_string)
;;
let of_file ?version ?reason ? ?env ?mime fname =
let open Lwt.Syntax in
let* body = Body.of_file fname in
match body with
| None ->
let res =
make ?version ~status:(`Not_found :> Httpaf.Status.t) ?reason ?headers ?env ()
in
Lwt.return res
| Some body ->
let mime_type =
match mime with
| Some mime_type -> mime_type
| None -> Magic_mime.lookup fname
in
let = Option.value ~default:Headers.empty headers in
let = Httpaf.Headers.add_unless_exists headers "Content-Type" mime_type in
let res = make ?version ~status:`OK ?reason ~headers ?env ~body () in
Lwt.return res
;;
let status t = t.status
let set_status s t = { t with status = s }
let content_type t = header "Content-Type" t
let set_content_type s t = add_header_or_replace ("Content-Type", s) t
let etag t = header "ETag" t
let set_etag s t = add_header_or_replace ("ETag", s) t
let location t = header "Location" t
let set_location s t = add_header_or_replace ("Location", s) t
let cache_control t = header "Cache-Control" t
let set_cache_control s t = add_header_or_replace ("Cache-Control", s) t
let to_json_exn t =
let open Lwt.Syntax in
let* body = t.body |> Body.copy |> Body.to_string in
Lwt.return @@ Yojson.Safe.from_string body
;;
let to_json t =
let open Lwt.Syntax in
Lwt.catch
(fun () ->
let+ json = to_json_exn t in
Some json)
(function
| _ -> Lwt.return None)
;;
let to_plain_text t = Body.copy t.body |> Body.to_string
let sexp_of_t { version; status; reason; ; body; env } =
let open Sexp_conv in
let open Sexp in
List
[ List [ Atom "version"; Version.sexp_of_t version ]
; List [ Atom "status"; Status.sexp_of_t status ]
; List [ Atom "reason"; sexp_of_option sexp_of_string reason ]
; List [ Atom "headers"; Headers.sexp_of_t headers ]
; List [ Atom "body"; Body.sexp_of_t body ]
; List [ Atom "env"; Context.sexp_of_t env ]
]
;;
let http_string_of_t t =
Format.asprintf
"%a %a %s\n%a\n%a"
Version.pp_hum
t.version
Status.pp_hum
t.status
(Option.value ~default:"" t.reason)
Headers.pp_hum
t.headers
Body.pp_hum
t.body
;;
let pp fmt t = Sexp.pp_hum fmt (sexp_of_t t)
let pp_hum fmt t = Format.fprintf fmt "%s@." (http_string_of_t t)