Mercurial > gui
annotate forms.urs @ 16:2e397d373289
Add RemotePager.
| author | Karn Kallio <kkallio@eka> |
|---|---|
| date | Thu, 18 Aug 2011 12:53:17 -0430 |
| parents | 1e04008eaef7 |
| children | 5905b56e0cd9 |
| rev | line source |
|---|---|
| adam@1 | 1 datatype readiness a = Ready of a | Waiting | Invalid of string |
| adam@1 | 2 datatype rpcResult a = Success of a | Failure of string |
| adam@1 | 3 |
| adam@1 | 4 val warning : a ::: Type -> signal (readiness a) -> xbody |
| kkallio@9 | 5 |
| kkallio@9 | 6 val warningFmt : a ::: Type -> ctx ::: {Unit} -> [ctx ~ body] |
| kkallio@9 | 7 => (string -> xml (ctx ++ body) [] []) -> signal (readiness a) |
| kkallio@9 | 8 -> xml (ctx ++ body) [] [] |
| kkallio@9 | 9 (* A version of warning that adds a chrome wrapper to the warning message. *) |