More fun with cookies

1 files changed, 5 insertions, 1 deletions

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 *)