From 20a451e11a5c10d4751beebcf09e0c86568ac5d2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Nov 2009 14:20:00 -0500
Subject: More fun with cookies

---
 lib/ur/basis.urs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 47bc3d48..31aa4cdd 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -115,6 +115,7 @@ val current : t ::: Type -> signal t -> transaction t
 (** * Time *)
 
 val now : transaction time
+val minTime : time
 
 
 (** HTTP operations *)
@@ -123,7 +124,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
+val setCookie : t ::: Type -> http_cookie t -> {Value : t,
+                                                Expires : option time,
+                                                Secure : bool} -> transaction unit
+val clearCookie : t ::: Type -> http_cookie t -> transaction unit
 
 
 (** JavaScript-y gadgets *)
-- 
cgit v1.2.3