Mercurial > urweb

diff lib/basis.urs @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 *)