summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:29:55 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:29:55 -0500
commitcf761fbfd28af10fb6e11bdf583f2821abecfe44 (patch)
tree5857f5dc14c0b71b191d1a267c9a8fdfcee03810 /lib
parent52bcb1e926570966efe93672e968999f4f2e14f8 (diff)
Cookies through elaborate
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index 806a9623..84fb4e4c 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -84,6 +84,10 @@ val bind : t1 ::: Type -> t2 ::: Type
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 *)