Mercurial > urweb

comparison lib/basis.urs @ 566:a152905c3c3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents 74800be65591
children 55fc747a67dc
comparison
equal deleted inserted replaced
565:74800be65591 566:a152905c3c3b
96 val requestHeader : string -> transaction (option string) 96 val requestHeader : string -> transaction (option string)
97 97
98 con http_cookie :: Type -> Type 98 con http_cookie :: Type -> Type
99 val getCookie : t ::: Type -> http_cookie t -> transaction (option t) 99 val getCookie : t ::: Type -> http_cookie t -> transaction (option t)
100 val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit 100 val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
101
102
103 (** JavaScript-y gadgets *)
104
105 val alert : string -> transaction unit
101 106
102 107
103 (** SQL *) 108 (** SQL *)
104 109
105 con sql_table :: {Type} -> Type 110 con sql_table :: {Type} -> Type
401 val ol : bodyTag [] 406 val ol : bodyTag []
402 val ul : bodyTag [] 407 val ul : bodyTag []
403 408
404 val hr : bodyTag [] 409 val hr : bodyTag []
405 410
406 val a : bodyTag [Link = transaction page] 411 val a : bodyTag [Link = transaction page, Onclick = transaction unit]
407 412
408 val form : ctx ::: {Unit} -> bind ::: {Type} 413 val form : ctx ::: {Unit} -> bind ::: {Type}
409 -> fn [[Body] ~ ctx] => 414 -> fn [[Body] ~ ctx] =>
410 xml form [] bind 415 xml form [] bind
411 -> xml ([Body] ++ ctx) [] [] 416 -> xml ([Body] ++ ctx) [] []