Mercurial > urweb
annotate demo/metaform.ur @ 925:552c989c1601
Change string URLification to avoid using the empty string, which confuses Apache no2slash()
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 12 Sep 2009 09:31:50 -0400 |
parents | 669ac5e9a69e |
children | 8d3aa6c7cee0 |
rev | line source |
---|---|
adamc@418 | 1 functor Make (M : sig |
adamc@418 | 2 con fs :: {Unit} |
adamc@632 | 3 val fl : folder fs |
adamc@643 | 4 val names : $(mapU string fs) |
adamc@418 | 5 end) = struct |
adamc@418 | 6 |
adamc@418 | 7 fun handler values = return <xml><body> |
adamc@418 | 8 {foldURX2 [string] [string] [body] |
adamc@823 | 9 (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value => <xml> |
adamc@418 | 10 <li> {[name]} = {[value]}</li> |
adamc@418 | 11 </xml>) |
adamc@632 | 12 [M.fs] M.fl M.names values} |
adamc@418 | 13 </body></xml> |
adamc@418 | 14 |
adamc@418 | 15 fun main () = return <xml><body> |
adamc@418 | 16 <form> |
adamc@643 | 17 {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] |
adamc@823 | 18 (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name |
adamc@643 | 19 (acc : xml form [] (mapU string rest)) => <xml> |
adamc@418 | 20 <li> {[name]}: <textbox{nm}/></li> |
adamc@418 | 21 {useMore acc} |
adamc@418 | 22 </xml>) |
adamc@418 | 23 <xml/> |
adamc@632 | 24 [M.fs] M.fl M.names} |
adamc@418 | 25 <submit action={handler}/> |
adamc@418 | 26 </form> |
adamc@418 | 27 </body></xml> |
adamc@418 | 28 |
adamc@418 | 29 end |