Mercurial > urweb

comparison lib/ur/basis.urs @ 1050:93315ac00394

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More fun with cookies
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Nov 2009 14:20:00 -0500
parents 609ab3947a08
children e8a35d710ab9
comparison
equal deleted inserted replaced
1049:c2317cfb99ec 1050:93315ac00394
113 113
114 114
115 (** * Time *) 115 (** * Time *)
116 116
117 val now : transaction time 117 val now : transaction time
118 val minTime : time
118 119
119 120
120 (** HTTP operations *) 121 (** HTTP operations *)
121 122
122 val requestHeader : string -> transaction (option string) 123 val requestHeader : string -> transaction (option string)
123 124
124 con http_cookie :: Type -> Type 125 con http_cookie :: Type -> Type
125 val getCookie : t ::: Type -> http_cookie t -> transaction (option t) 126 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
126 val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit 127 val setCookie : t ::: Type -> http_cookie t -> {Value : t,
128 Expires : option time,
129 Secure : bool} -> transaction unit
130 val clearCookie : t ::: Type -> http_cookie t -> transaction unit
127 131
128 132
129 (** JavaScript-y gadgets *) 133 (** JavaScript-y gadgets *)
130 134
131 val alert : string -> transaction unit 135 val alert : string -> transaction unit