Mercurial > urweb

comparison lib/basis.urs @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 1a4fa157fedd
children 3f1b9231a37b
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
81 81
82 82
83 (** HTTP operations *) 83 (** HTTP operations *)
84 84
85 val requestHeader : string -> transaction (option string) 85 val requestHeader : string -> transaction (option string)
86
87 con http_cookie :: Type -> Type
88 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
89 val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
86 90
87 91
88 (** SQL *) 92 (** SQL *)
89 93
90 con sql_table :: {Type} -> Type 94 con sql_table :: {Type} -> Type