Mercurial > urweb
comparison tests/jsinj.ur @ 594:55829473f6a7
Injected an option
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 02 Jan 2009 13:03:22 -0500 |
parents | f277f5faebcd |
children | 02c8ab9f3e8b |
comparison
equal
deleted
inserted
replaced
593:f277f5faebcd | 594:55829473f6a7 |
---|---|
6 cookie int : int | 6 cookie int : int |
7 cookie float : float | 7 cookie float : float |
8 cookie string : string | 8 cookie string : string |
9 cookie bool : bool | 9 cookie bool : bool |
10 cookie pair : int * float | 10 cookie pair : int * float |
11 cookie option : option int | |
11 | 12 |
12 fun main () : transaction page = | 13 fun main () : transaction page = |
13 n <- getCookie int; | 14 n <- getCookie int; |
14 n <- return (getOpt n 7); | 15 n <- return (getOpt n 7); |
15 sn <- source 6; | 16 sn <- source 6; |
28 | 29 |
29 p <- getCookie pair; | 30 p <- getCookie pair; |
30 p <- return (getOpt p (1, 2.3)); | 31 p <- return (getOpt p (1, 2.3)); |
31 sp <- source (4, 5.6); | 32 sp <- source (4, 5.6); |
32 | 33 |
34 o <- getCookie option; | |
35 o <- return (getOpt o (Some 1)); | |
36 op <- source None; | |
37 | |
33 return <xml><body> | 38 return <xml><body> |
34 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> | 39 <dyn signal={n <- signal sn; return <xml>{[n]}</xml>}/> |
35 <a onclick={set sn n}>CHANGE</a><br/> | 40 <a onclick={set sn n}>CHANGE</a><br/> |
36 | 41 |
37 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> | 42 <dyn signal={f <- signal sf; return <xml>{[f]}</xml>}/> |
43 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/> | 48 <dyn signal={b <- signal sb; return <xml>{[b]}</xml>}/> |
44 <a onclick={set sb b}>CHANGE</a><br/> | 49 <a onclick={set sb b}>CHANGE</a><br/> |
45 | 50 |
46 <dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/> | 51 <dyn signal={p <- signal sp; return <xml>{[p.1]}, {[p.2]}</xml>}/> |
47 <a onclick={set sp p}>CHANGE</a><br/> | 52 <a onclick={set sp p}>CHANGE</a><br/> |
53 | |
54 <dyn signal={o <- signal op; case o of | |
55 None => return <xml>None</xml> | |
56 | Some x => return <xml>{[x]}</xml>}/> | |
57 <a onclick={set op o}>CHANGE</a><br/> | |
48 </body></xml> | 58 </body></xml> |