Mercurial > gui
view forms.urs @ 34:2d195bee1efa
CKeditor wrapper
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 21 Nov 2013 18:19:02 -0500 |
parents | 5905b56e0cd9 |
children |
line wrap: on
line source
datatype readiness a = Ready of a | Waiting | Invalid of string datatype rpcResult a = Success of a | Failure of string val warning : a ::: Type -> signal (readiness a) -> xbody val warningFmt : a ::: Type -> ctx ::: {Unit} -> [ctx ~ [Dyn]] => (string -> xml (ctx ++ [Dyn]) [] []) -> signal (readiness a) -> xml (ctx ++ [Dyn]) [] [] (* A version of warning that adds a chrome wrapper to the warning message. *)