Mercurial > gui
view forms.urs @ 28:7d0014542199
TogglePanel.isOpen
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 12 Feb 2012 10:27: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. *)