Mercurial > urweb
annotate tests/html5_cforms.ur @ 2150:763ccca119bc
location literal _LOC_
author | Gabriel Riba Faura <griba2001@gmail.com> |
---|---|
date | Wed, 03 Jun 2015 08:34:23 +0200 |
parents | f05fcb206571 |
children |
rev | line source |
---|---|
adam@2079 | 1 fun dn [a] (_ : show a) (x : source a) : xbody = <xml> |
adam@2079 | 2 <dyn signal={v <- signal x; return (txt v)}/> |
adam@2079 | 3 </xml> |
adam@2079 | 4 |
adam@2079 | 5 fun main () : transaction page = |
adam@2079 | 6 a <- source ""; |
adam@2079 | 7 b <- source True; |
adam@2079 | 8 c <- source "a@b"; |
adam@2079 | 9 d <- source ""; |
adam@2079 | 10 e <- source ""; |
adam@2079 | 11 f <- source ""; |
adam@2080 | 12 g <- source 1.0; |
adam@2080 | 13 h <- source 1.0; |
adam@2080 | 14 i <- source "#CCCCCC"; |
adam@2080 | 15 j <- source "2014/11/16"; |
adam@2080 | 16 k <- source "2014/11/16 12:30:45"; |
adam@2080 | 17 l <- source "2014/11/16 12:30:45"; |
adam@2080 | 18 m <- source "2014/11"; |
adam@2080 | 19 n <- source "2014-W7"; |
adam@2080 | 20 o <- source "12:30:45"; |
adam@2079 | 21 |
adam@2079 | 22 return <xml><body> |
adam@2079 | 23 <ctextbox source={a}/> |
adam@2079 | 24 <ccheckbox source={b}/> |
adam@2079 | 25 <cemail source={c}/> |
adam@2079 | 26 <curl source={d}/> |
adam@2079 | 27 <ctel source={e}/> |
adam@2079 | 28 <csearch source={f}/> |
adam@2080 | 29 <cnumber source={g} min={-10.0} max={10.0} step={0.5}/> |
adam@2080 | 30 <crange source={h} min={-10.0} max={10.0}/> |
adam@2080 | 31 <ccolor source={i}/> |
adam@2080 | 32 <cdate source={j}/> |
adam@2080 | 33 <cdatetime source={k}/> |
adam@2080 | 34 <cdatetime-local source={l}/> |
adam@2080 | 35 <cmonth source={m}/> |
adam@2080 | 36 <cweek source={n}/> |
adam@2080 | 37 <ctime source={o}/> |
adam@2079 | 38 |
adam@2079 | 39 <hr/> |
adam@2079 | 40 |
adam@2079 | 41 {dn a}; |
adam@2079 | 42 {dn b}; |
adam@2079 | 43 {dn c}; |
adam@2079 | 44 {dn d}; |
adam@2079 | 45 {dn e}; |
adam@2080 | 46 {dn f}; |
adam@2080 | 47 {dn g}; |
adam@2080 | 48 {dn h}; |
adam@2080 | 49 {dn i}; |
adam@2080 | 50 {dn j}; |
adam@2080 | 51 {dn k}; |
adam@2080 | 52 {dn l}; |
adam@2080 | 53 {dn m}; |
adam@2080 | 54 {dn n}; |
adam@2080 | 55 {dn o} |
adam@2079 | 56 </body></xml> |