Mercurial > urweb
annotate tests/fromString.ur @ 289:0cc956a3216f
Parsing strings for floats and bools
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 11:41:04 -0400 |
parents | 4260ad920c36 |
children | df00701f2323 |
rev | line source |
---|---|
adamc@289 | 1 fun s2i s = |
adamc@288 | 2 case stringToInt s of |
adamc@288 | 3 None => 0 |
adamc@288 | 4 | Some n => n |
adamc@288 | 5 |
adamc@289 | 6 fun s2f s = |
adamc@289 | 7 case stringToFloat s of |
adamc@289 | 8 None => 0.0 |
adamc@289 | 9 | Some n => n |
adamc@289 | 10 |
adamc@289 | 11 fun s2b s = |
adamc@289 | 12 case stringToBool s of |
adamc@289 | 13 None => False |
adamc@289 | 14 | Some b => b |
adamc@289 | 15 |
adamc@288 | 16 fun main () : transaction page = return <html><body> |
adamc@289 | 17 Error = {cdata (show _ (s2i "Error"))}<br/> |
adamc@289 | 18 3 = {cdata (show _ (s2i "+3"))}<br/> |
adamc@289 | 19 <br/> |
adamc@289 | 20 Error = {cdata (show _ (s2f "Error"))}<br/> |
adamc@289 | 21 98.76 = {cdata (show _ (s2f "98.76"))}<br/> |
adamc@289 | 22 <br/> |
adamc@289 | 23 Error = {cdata (show _ (s2b "Error"))}<br/> |
adamc@289 | 24 False = {cdata (show _ (s2b "false"))}<br/> |
adamc@289 | 25 True = {cdata (show _ (s2b "trUE"))}<br/> |
adamc@288 | 26 </body></html> |