Mercurial > urweb
diff lib/ur/basis.urs @ 1465:2f5fd248588d
getHeader and setHeader
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 29 May 2011 14:29:26 -0400 |
| parents | aae3e3b6a408 |
| children | 3bef8d50b4d6 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun May 29 13:31:53 2011 -0400 +++ b/lib/ur/basis.urs Sun May 29 14:29:26 2011 -0400 @@ -163,6 +163,16 @@ Secure : bool} -> transaction unit val clearCookie : t ::: Type -> http_cookie t -> transaction unit +type requestHeader +val blessRequestHeader : string -> requestHeader +val checkRequestHeader : string -> option requestHeader +val getHeader : requestHeader -> transaction (option string) + +type responseHeader +val blessResponseHeader : string -> responseHeader +val checkResponseHeader : string -> option responseHeader +val setHeader : responseHeader -> string -> transaction unit + (** JavaScript-y gadgets *)