diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 13:47:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 13:47:20 -0400 |
commit | 6ada30a32e69cf288e50ee0ca2963e031c588ee0 (patch) | |
tree | d0d08dc15edc8e7dc1f916a592160f8c9e561bd2 /lib/ur/basis.urs | |
parent | e65c023309173aa291952143537f174888a8de86 (diff) |
Some client-side error handling
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index af1cf972..99ac50fe 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -552,8 +552,11 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => 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) |