Mercurial > urweb

comparison lib/ur/basis.urs @ 1465:2f5fd248588d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents aae3e3b6a408
children 3bef8d50b4d6
comparison
equal deleted inserted replaced
1464:969b90b1f2f9 1465:2f5fd248588d
160 val getCookie : t ::: Type -> http_cookie t -> transaction (option t) 160 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
161 val setCookie : t ::: Type -> http_cookie t -> {Value : t, 161 val setCookie : t ::: Type -> http_cookie t -> {Value : t,
162 Expires : option time, 162 Expires : option time,
163 Secure : bool} -> transaction unit 163 Secure : bool} -> transaction unit
164 val clearCookie : t ::: Type -> http_cookie t -> transaction unit 164 val clearCookie : t ::: Type -> http_cookie t -> transaction unit
165
166 type requestHeader
167 val blessRequestHeader : string -> requestHeader
168 val checkRequestHeader : string -> option requestHeader
169 val getHeader : requestHeader -> transaction (option string)
170
171 type responseHeader
172 val blessResponseHeader : string -> responseHeader
173 val checkResponseHeader : string -> option responseHeader
174 val setHeader : responseHeader -> string -> transaction unit
165 175
166 176
167 (** JavaScript-y gadgets *) 177 (** JavaScript-y gadgets *)
168 178
169 val alert : string -> transaction unit 179 val alert : string -> transaction unit