summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-26 14:20:00 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-26 14:20:00 -0500
commit20a451e11a5c10d4751beebcf09e0c86568ac5d2 (patch)
tree428c81f5418b09ac4d8f8bbfa61e16723e519f67 /lib
parent27e785f13b18b42885b15cb38a2cd48d7e8fbdd5 (diff)
More fun with cookies
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs6
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 *)