diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-06 10:29:55 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 10:29:55 -0500 |
| commit | cf761fbfd28af10fb6e11bdf583f2821abecfe44 (patch) | |
| tree | 5857f5dc14c0b71b191d1a267c9a8fdfcee03810 /lib | |
| parent | 52bcb1e926570966efe93672e968999f4f2e14f8 (diff) | |
Cookies through elaborate
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.urs | 4 |
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 *) |