Mercurial > urweb
diff lib/ur/basis.urs @ 729:7c6b6c3c7b79
Some client-side error handling
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 16 Apr 2009 13:47:20 -0400 |
| parents | 2197f0e24a9f |
| children | d049d31a1966 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Thu Apr 16 13:00:40 2009 -0400 +++ b/lib/ur/basis.urs Thu Apr 16 13:47:20 2009 -0400 @@ -552,8 +552,11 @@ val error : t ::: Type -> xbody -> t +(* Client-side-only handlers: *) val onError : (xbody -> transaction unit) -> transaction unit val onFail : (string -> transaction unit) -> transaction unit -(* Client-side only *) +val onConnectFail : transaction unit -> transaction unit +val onDisconnect : transaction unit -> transaction unit +val onServerError : (string -> transaction unit) -> transaction unit val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)