summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-03 11:56:15 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-03 11:56:15 -0500
commit4eb3dd414d20ad9140f999b962a1cc674ee22036 (patch)
treea3082108bb32ba616436bdcb7a00b7cd48b391b7 /lib/ur/basis.urs
parent2304eece8f5f2b9067cd66d860a332f8721c5321 (diff)
parent8b892b4ceaaaab751a68edc8fd01ecd2246d3dab (diff)
Merge
Diffstat (limited to 'lib/ur/basis.urs')
-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 *)