Mercurial > urweb
diff lib/basis.urs @ 566:a152905c3c3b
Displayed an alert dialog
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Fri, 19 Dec 2008 12:38:11 -0500 |
| parents | 74800be65591 |
| children | 55fc747a67dc |
line wrap: on
line diff
--- a/lib/basis.urs Fri Dec 19 11:47:18 2008 -0500 +++ b/lib/basis.urs Fri Dec 19 12:38:11 2008 -0500 @@ -100,6 +100,11 @@ val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit +(** JavaScript-y gadgets *) + +val alert : string -> transaction unit + + (** SQL *) con sql_table :: {Type} -> Type @@ -403,7 +408,7 @@ val hr : bodyTag [] -val a : bodyTag [Link = transaction page] +val a : bodyTag [Link = transaction page, Onclick = transaction unit] val form : ctx ::: {Unit} -> bind ::: {Type} -> fn [[Body] ~ ctx] =>