Mercurial > urweb

comparison lib/ur/basis.urs @ 729:7c6b6c3c7b79

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some client-side error handling
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 13:47:20 -0400
parents 2197f0e24a9f
children d049d31a1966
comparison
equal deleted inserted replaced
728:2197f0e24a9f 729:7c6b6c3c7b79
550 550
551 (** Aborting *) 551 (** Aborting *)
552 552
553 val error : t ::: Type -> xbody -> t 553 val error : t ::: Type -> xbody -> t
554 554
555 (* Client-side-only handlers: *)
555 val onError : (xbody -> transaction unit) -> transaction unit 556 val onError : (xbody -> transaction unit) -> transaction unit
556 val onFail : (string -> transaction unit) -> transaction unit 557 val onFail : (string -> transaction unit) -> transaction unit
557 (* Client-side only *) 558 val onConnectFail : transaction unit -> transaction unit
559 val onDisconnect : transaction unit -> transaction unit
560 val onServerError : (string -> transaction unit) -> transaction unit
558 561
559 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind) 562 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)