Mercurial > urweb
comparison tests/jsinj.ur @ 592:a8be5a2068a5
Injecting strings and bools
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 01 Jan 2009 16:11:42 -0500 |
parents | 8f8771f32909 |
children | f277f5faebcd |
comparison
equal
deleted
inserted
replaced
591:8f8771f32909 | 592:a8be5a2068a5 |
---|---|
3 None => v | 3 None => v |
4 | Some x => x | 4 | Some x => x |
5 | 5 |
6 cookie int : int | 6 cookie int : int |
7 cookie float : float | 7 cookie float : float |
8 cookie string : string | |
9 cookie bool : bool | |
8 | 10 |
9 fun main () : transaction page = | 11 fun main () : transaction page = |
10 n <- getCookie int; | 12 n <- getCookie int; |
11 n <- return (getOpt n 7); | 13 n <- return (getOpt n 7); |
12 sn <- source 6; | 14 sn <- source 6; |
13 | 15 |
14 f <- getCookie float; | 16 f <- getCookie float; |
15 f <- return (getOpt f 1.23); | 17 f <- return (getOpt f 1.23); |
16 sf <- source 4.56; | 18 sf <- source 4.56; |
17 | 19 |
20 s <- getCookie string; | |
21 s <- return (getOpt s "Hi"); | |
22 ss <- source "Bye"; | |
23 | |
24 b <- getCookie bool; | |
25 b <- return (getOpt b True); | |
26 sb <- source False; | |
27 | |
18 return <xml><body> | 28 return <xml><body> |
19 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> | 29 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> |
20 <a onclick={set sn n}>CHANGE</a><br/> | 30 <a onclick={set sn n}>CHANGE</a><br/> |
21 | 31 |
22 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> | 32 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> |
23 <a onclick={set sf f}>CHANGE</a><br/> | 33 <a onclick={set sf f}>CHANGE</a><br/> |
34 | |
35 <dyn signal={s <- signal ss; return <xml>{[s]}</xml>}/> | |
36 <a onclick={set ss s}>CHANGE</a><br/> | |
37 | |
38 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/> | |
39 <a onclick={set sb b}>CHANGE</a><br/> | |
24 </body></xml> | 40 </body></xml> |