Mercurial > urweb
diff lib/basis.urs @ 459:f542bc3133dc
Cookies through elaborate
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 Nov 2008 10:29:55 -0500 |
parents | 1a4fa157fedd |
children | 3f1b9231a37b |
line wrap: on
line diff
--- a/lib/basis.urs Thu Nov 06 10:04:03 2008 -0500 +++ b/lib/basis.urs Thu Nov 06 10:29:55 2008 -0500 @@ -84,6 +84,10 @@ val requestHeader : string -> transaction (option string) +con http_cookie :: Type -> Type +val getCookie : t ::: Type -> http_cookie t -> transaction (option t) +val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit + (** SQL *)